X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=generate.sh;fp=generate.sh;h=5727f3c45f9cd03121268610a37b7a8ee6cadd5b;hb=9880e52f2f007b730e65b6eae9cba24a22617a4f;hp=d894a33f7c311c797aa9984e06a909f74c6bc024;hpb=703354585636b233c72a45becb8a3569a9d50124;p=cdsspec-compiler.git

diff --git a/generate.sh b/generate.sh
index d894a33..5727f3c 100755
--- a/generate.sh
+++ b/generate.sh
@@ -8,9 +8,10 @@ ClassPath=$(dirname ${BASH_SOURCE[0]})/classes
 
 Class=edu/uci/eecs/codeGenerator/CodeGenerator
 
-# Use your own directory. We recommend the original benchmarks and generated
-# instrumented benchmarks to be within the model checker's directory.
-BenchDir=
-GenerateDir=
+# Use your own directory.
+# We recommend the original benchmarks and generated instrumented benchmarks to
+# be within the model checker's directory.
+BenchDir=../benchmarks
+GenerateDir=../test-cdsspec
 
 java -cp $ClassPath $Class $BenchDir $GenerateDir ${BENCH[*]}