X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=chase-lev-deque-bugfix%2FMakefile;fp=chase-lev-deque-bugfix%2FMakefile;h=89f8c21c60786649bf343ee9b9138f5cd65d794d;hb=cd0af72755f006449a7a3dbbdcf7416054e83b0f;hp=61cc9c144184ff6f35999f060fa1fabaea95cf84;hpb=206cda9ceeb0ac1d5efe9aecc8102b35d8bb3db7;p=model-checker-benchmarks.git

diff --git a/chase-lev-deque-bugfix/Makefile b/chase-lev-deque-bugfix/Makefile
index 61cc9c1..89f8c21 100644
--- a/chase-lev-deque-bugfix/Makefile
+++ b/chase-lev-deque-bugfix/Makefile
@@ -2,7 +2,7 @@ include ../benchmarks.mk
 
 BENCH := deque
 
-NORMAL_TESTS := testcase1 testcase2 testcase3 testcase4 testcase5 testcase6 testcase7
+NORMAL_TESTS := testcase1 testcase2 testcase3 testcase4 testcase5 testcase6 testcase7 testcase8
 
 WILDCARD_TESTS := $(patsubst %, %_wildcard, $(NORMAL_TESTS))