From: Peizhao Ou Date: Wed, 16 Nov 2016 22:01:52 +0000 (-0800) Subject: fixed generate.sh script X-Git-Url: http://demsky.eecs.uci.edu/git/?p=cdsspec-compiler.git;a=commitdiff_plain;h=9880e52f2f007b730e65b6eae9cba24a22617a4f fixed generate.sh script --- 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[*]}