add another testcase for dekker-fences

[model-checker-benchmarks.git] / ms-queue / Makefile

diff --git a/ms-queue/Makefile b/ms-queue/Makefile
index 34881f49ac5d2cab966b392d81fa5b3713423e12..55a4edb65e06876a395593e05d42dcede8bd4190 100644 (file)
--- a/ms-queue/Makefile
+++ b/ms-queue/Makefile
@@ -2,7 +2,7 @@ include ../benchmarks.mk
 
 BENCH := queue
 
-NORMAL_TESTS := testcase1
+NORMAL_TESTS := testcase1 testcase2 testcase3
 
 WILDCARD_TESTS := $(patsubst %, %_wildcard, $(NORMAL_TESTS))