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