Sunday, December 8, 2013

Daikon on Windows 7

Make sure you set the Classpath (not path) environment variable to the following:
.;C:\Program Files\Java\jdk1.7.0_17\lib\*;D:\C Drive\Desktop\Daikon\daikon\daikon.jar;
or
.;C:\Program Files\Java\jdk1.7.0_17\lib\*;D:\C Drive\Desktop\Daikon\daikon\daikon.jar

Command to compile
cd /d "D:\C Drive\Desktop\Daikon\daikon\examples\java-examples\StackAr"
javac -g -source 5 -target 5 DataStructures/*.java

Method A. Combine the Intrumentor and invariant detector (sometimes it does not work)
java daikon.Chicory --daikon DataStructures.StackArTester

Method B. Split the Intrumentor and invariant detector
java daikon.Chicory  DataStructures.StackArTester
java daikon.Daikon StackArTester.dtrace.gz