fixed generate.sh script
authorPeizhao Ou <peizhaoo@uci.edu>
Wed, 16 Nov 2016 22:01:52 +0000 (14:01 -0800)
committerPeizhao Ou <peizhaoo@uci.edu>
Wed, 16 Nov 2016 22:01:52 +0000 (14:01 -0800)
generate.sh

index d894a33..5727f3c 100755 (executable)
@@ -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[*]}