From 703354585636b233c72a45becb8a3569a9d50124 Mon Sep 17 00:00:00 2001
From: Peizhao Ou <peizhaoo@uci.edu>
Date: Wed, 16 Nov 2016 13:56:57 -0800
Subject: [PATCH] edits

---
 generate.sh | 13 ++++++++++---
 1 file changed, 10 insertions(+), 3 deletions(-)

diff --git a/generate.sh b/generate.sh
index f91e55b..d894a33 100755
--- a/generate.sh
+++ b/generate.sh
@@ -1,9 +1,16 @@
 #!/bin/bash
 
-BENCH=(register ms-queue linuxrwlocks mcs-lock chase-lev-deque-bugfix treiber-stack)
+BENCH=(blocking-queue-example ms-queue linuxrwlocks mcs-lock \
+    chase-lev-deque-bugfix chase-lev-deque spsc-bugfix mpmp-queue ticket-lock \
+    concurrent-hashmap seqlock read-copy-update)
 
 ClassPath=$(dirname ${BASH_SOURCE[0]})/classes
 
-Class=edu/uci/eecs/codeGenerator/CodeGenerator 
+Class=edu/uci/eecs/codeGenerator/CodeGenerator
 
-java -cp $ClassPath $Class ${BENCH[*]}
+# Use your own directory. We recommend the original benchmarks and generated
+# instrumented benchmarks to be within the model checker's directory.
+BenchDir=
+GenerateDir=
+
+java -cp $ClassPath $Class $BenchDir $GenerateDir ${BENCH[*]}
-- 
2.34.1