3 BENCH=(blocking-queue-example ms-queue linuxrwlocks mcs-lock \
4 chase-lev-deque-bugfix chase-lev-deque spsc-bugfix mpmp-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. We recommend the original benchmarks and generated
12 # instrumented benchmarks to be within the model checker's directory.
16 java -cp $ClassPath $Class $BenchDir $GenerateDir ${BENCH[*]}