X-Git-Url: http://plrg.eecs.uci.edu/git/?p=cdsspec-compiler.git;a=blobdiff_plain;f=generate.sh;h=38ec8b2a41e5e2f7e89678aa5877560158a5dbc8;hp=0e0864050e05b582853ec5613d1742261305d87a;hb=31b08158b486a3132a8a7e571f24ce83d2cfd04f;hpb=d061668cac2e5a74a40dace627b63ec74187f98e

diff --git a/generate.sh b/generate.sh
index 0e08640..38ec8b2 100755
--- a/generate.sh
+++ b/generate.sh
@@ -1,5 +1,19 @@
 #!/bin/bash
 
-BENCH=(register ms-queue linuxrwlocks mcs-lock chase-lev-deque-bugfix)
+BENCH=(ms-queue linuxrwlocks mcs-lock \
+    chase-lev-deque-bugfix spsc-bugfix mpmc-queue ticket-lock \
+    concurrent-hashmap seqlock read-copy-update)
 
-java -cp classes edu/uci/eecs/codeGenerator/CodeGenerator ${BENCH[*]}
+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=../benchmarks
+GenerateDir=../test-cdsspec
+
+mkdir -p $GenerateDir
+
+java -cp $ClassPath $Class $BenchDir $GenerateDir ${BENCH[*]}