From 6ad55b673cd0430f7c525f0d19e4fff5b94c971e Mon Sep 17 00:00:00 2001 From: Brian Norris Date: Mon, 18 Mar 2013 11:09:22 -0700 Subject: [PATCH] bench.sh: run dekker-fences --- bench.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/bench.sh b/bench.sh index f7c5cdb..0340935 100755 --- a/bench.sh +++ b/bench.sh @@ -24,10 +24,10 @@ TESTS+=" mcs-lock/mcs-lock" TESTS+=" mpmc-queue/mpmc-queue-rdwr" TESTS+=" ms-queue/main" TESTS+=" linuxrwlocks/linuxrwlocks" +TESTS+=" dekker-fences/dekker-fences" MODEL_ARGS="-y -m 2 -u 3" -#TESTS+=" dekker-fences/dekker-fences" #TESTS+=" mpmc-queue/mpmc-2r1w" #TESTS+=" mpmc-queue/mpmc-1r2w-noinit" #TESTS+=" mpmc-queue/mpmc-queue-rdwr" -- 2.34.1