3 BENCH=(ms-queue linuxrwlocks mcs-lock \
4 chase-lev-deque-bugfix spsc-bugfix mpmc-queue ticket-lock \
5 concurrent-hashmap seqlock read-copy-update)
7 ClassPath=$(dirname ${BASH_SOURCE[0]})/classes
9 Class=edu/uci/eecs/codeGenerator/CodeGenerator
11 # Use your own directory.
12 # We recommend the original benchmarks and generated instrumented benchmarks to
13 # be within the model checker's directory.
14 BenchDir=../benchmarks
15 GenerateDir=../test-cdsspec
19 java -cp $ClassPath $Class $BenchDir $GenerateDir ${BENCH[*]}