From: Brian Norris <banorris@uci.edu>
Date: Fri, 15 Mar 2013 18:29:53 +0000 (-0700)
Subject: bench.sh: rewrite benchmark list to match paper
X-Git-Tag: oopsla2013-final~8^2
X-Git-Url: http://demsky.eecs.uci.edu/git/?p=model-checker-benchmarks.git;a=commitdiff_plain;h=ff4cd01eb602228cbd4091539c3f9754cb946dda

bench.sh: rewrite benchmark list to match paper

Brian D. changed the benchmarks we run as well as the order. Let's
encode that in this script, so we can repeat the benchmarks
consistently.
---

diff --git a/bench.sh b/bench.sh
index 88f114b..6f55ff5 100755
--- a/bench.sh
+++ b/bench.sh
@@ -16,18 +16,21 @@ BASEDIR=.
 
 DIR="${BASEDIR}/run-${DATE}"
 
-TESTS="barrier/barrier"
-TESTS+=" mcs-lock/mcs-lock"
+TESTS="chase-lev-deque/main"
 TESTS+=" spsc-queue/spsc-queue"
 TESTS+=" spsc-bugfix/spsc-queue"
-TESTS+=" dekker-fences/dekker-fences"
-TESTS+=" mpmc-queue/mpmc-2r1w"
-TESTS+=" mpmc-queue/mpmc-1r2w-noinit"
-TESTS+=" mpmc-queue/mpmc-queue-rdwr"
+TESTS+=" barrier/barrier"
+TESTS+=" mcs-lock/mcs-lock"
 TESTS+=" mpmc-queue/mpmc-rdwr-noinit"
-TESTS+=" mpmc-queue/mpmc-queue-noinit"
+TESTS+=" ms-queue/main"
 TESTS+=" linuxrwlocks/linuxrwlocks"
 
+#TESTS+=" dekker-fences/dekker-fences"
+#TESTS+=" mpmc-queue/mpmc-2r1w"
+#TESTS+=" mpmc-queue/mpmc-1r2w-noinit"
+#TESTS+=" mpmc-queue/mpmc-queue-rdwr"
+#TESTS+=" mpmc-queue/mpmc-queue-noinit"
+
 MODEL_ARGS="-y -m 2"
 COUNT=0