X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=ms-queue%2FMakefile;fp=ms-queue%2FMakefile;h=55a4edb65e06876a395593e05d42dcede8bd4190;hb=241ce6c4685d235cdae32e721505ec5024b8b5b3;hp=46554a1509f0669859e08cd6c24e67ed9549a709;hpb=e4f5d19cd0d94393277381f8aab95126f201fb26;p=model-checker-benchmarks.git

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