projects / model-checker-benchmarks.git / blobdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | inline | side by side
ms-queue note
[model-checker-benchmarks.git] / ms-queue / Makefile
diff --git a/ms-queue/Makefile b/ms-queue/Makefile
index 34881f49ac5d2cab966b392d81fa5b3713423e12..46554a1509f0669859e08cd6c24e67ed9549a709 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
 
 WILDCARD_TESTS := $(patsubst %, %_wildcard, $(NORMAL_TESTS))
 
C++11 memory model checker benchmarks