projects
/
model-checker-benchmarks.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
e2f231b
)
my changes to benchmark shell
author
Brian Demsky
<bdemsky@uci.edu>
Fri, 15 Mar 2013 23:34:35 +0000
(16:34 -0700)
committer
Brian Demsky
<bdemsky@uci.edu>
Fri, 15 Mar 2013 23:34:35 +0000
(16:34 -0700)
bench.sh
patch
|
blob
|
history
diff --git
a/bench.sh
b/bench.sh
index 88f114b1004b1f770bea67f6071f1db120d7f58d..4bce97ebd2c735d0dbcd9750c8881dab39a27c2e 100755
(executable)
--- a/
bench.sh
+++ b/
bench.sh
@@
-21,14
+21,16
@@
TESTS+=" mcs-lock/mcs-lock"
TESTS+=" spsc-queue/spsc-queue"
TESTS+=" spsc-bugfix/spsc-queue"
TESTS+=" dekker-fences/dekker-fences"
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-2r1w"
+
#
TESTS+=" mpmc-queue/mpmc-1r2w-noinit"
TESTS+=" mpmc-queue/mpmc-queue-rdwr"
TESTS+=" mpmc-queue/mpmc-rdwr-noinit"
TESTS+=" mpmc-queue/mpmc-queue-rdwr"
TESTS+=" mpmc-queue/mpmc-rdwr-noinit"
-TESTS+=" mpmc-queue/mpmc-queue-noinit"
+
#
TESTS+=" mpmc-queue/mpmc-queue-noinit"
TESTS+=" linuxrwlocks/linuxrwlocks"
TESTS+=" linuxrwlocks/linuxrwlocks"
+TESTS+=" chase-lev-deque/main"
+TESTS+=" ms-queue/main"
-MODEL_ARGS="-y -m 2"
+MODEL_ARGS="-y -m 2
-u 3
"
COUNT=0
function run_test {
COUNT=0
function run_test {