From: Brian Norris <banorris@uci.edu>
Date: Wed, 14 Nov 2012 03:43:07 +0000 (-0800)
Subject: bench.sh: add spsc-bugfix to benchmark runs
X-Git-Tag: pldi2013
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker-benchmarks.git;a=commitdiff_plain;h=f0420375f1cec3bb95282dcac083a0ae9ed098b6;ds=inline

bench.sh: add spsc-bugfix to benchmark runs
---

diff --git a/bench.sh b/bench.sh
index 3ccec54..e74d5c3 100755
--- a/bench.sh
+++ b/bench.sh
@@ -19,6 +19,7 @@ DIR="${BASEDIR}/run-${DATE}"
 TESTS="barrier/barrier"
 TESTS+=" mcs-lock/mcs-lock"
 TESTS+=" spsc-queue/spsc-queue"
+TESTS+=" spsc-bugfix/spsc-queue"
 TESTS+=" mpmc-queue/mpmc-2r1w"
 TESTS+=" mpmc-queue/mpmc-1r2w-noinit"
 TESTS+=" mpmc-queue/mpmc-queue-noinit"