projects
/
cdsspec-compiler.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
7033545
)
fixed generate.sh script
author
Peizhao Ou
<peizhaoo@uci.edu>
Wed, 16 Nov 2016 22:01:52 +0000
(14:01 -0800)
committer
Peizhao Ou
<peizhaoo@uci.edu>
Wed, 16 Nov 2016 22:01:52 +0000
(14:01 -0800)
generate.sh
patch
|
blob
|
history
diff --git
a/generate.sh
b/generate.sh
index d894a33f7c311c797aa9984e06a909f74c6bc024..5727f3c45f9cd03121268610a37b7a8ee6cadd5b 100755
(executable)
--- a/
generate.sh
+++ b/
generate.sh
@@
-8,9
+8,10
@@
ClassPath=$(dirname ${BASH_SOURCE[0]})/classes
Class=edu/uci/eecs/codeGenerator/CodeGenerator
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[*]}
java -cp $ClassPath $Class $BenchDir $GenerateDir ${BENCH[*]}