From 449c04945deadfe6706a4aec44dfcd0fd1d0e1f1 Mon Sep 17 00:00:00 2001 From: Brian Norris Date: Thu, 8 Nov 2012 15:26:02 -0800 Subject: [PATCH] bench: reconfigure default tests Now, run the "-noinit" tests for mpmc-queue (2R2W and 1R2W). Also, switch to using '-f 10 -m 2 -e 1' model-checking parameters. --- bench.sh | 11 +++++++++-- 1 file changed, 9 insertions(+), 2 deletions(-) diff --git a/bench.sh b/bench.sh index 8886bcc..3ccec54 100755 --- a/bench.sh +++ b/bench.sh @@ -16,8 +16,15 @@ BASEDIR=. DIR="${BASEDIR}/run-${DATE}" -TESTS="barrier/barrier mcs-lock/mcs-lock spsc-queue/spsc-queue mpmc-queue/mpmc-1r2w mpmc-queue/mpmc-2r1w mpmc-queue/mpmc-queue linuxrwlocks/linuxrwlocks" -MODEL_ARGS="-f 4 -m 2" +TESTS="barrier/barrier" +TESTS+=" mcs-lock/mcs-lock" +TESTS+=" spsc-queue/spsc-queue" +TESTS+=" mpmc-queue/mpmc-2r1w" +TESTS+=" mpmc-queue/mpmc-1r2w-noinit" +TESTS+=" mpmc-queue/mpmc-queue-noinit" +TESTS+=" linuxrwlocks/linuxrwlocks" + +MODEL_ARGS="-f 10 -m 2 -e 1" COUNT=0 function run_test { -- 2.34.1