projects / model-checker-benchmarks.git / blobdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | inline | side by side
changes to hashmap
[model-checker-benchmarks.git] / concurrent-hashmap / Makefile
diff --git a/concurrent-hashmap/Makefile b/concurrent-hashmap/Makefile
index fece808a6d7610afe63eedc31c9232e0650ad1ab..89e5244b22dc7dfdafd062823ef34e595d88fe4a 100644 (file)
--- a/concurrent-hashmap/Makefile
+++ b/concurrent-hashmap/Makefile
@@ -1,7 +1,7 @@
 include ../benchmarks.mk
 
 BENCH := hashmap
-NORMAL_TESTS := testcase1 testcase2
+NORMAL_TESTS := testcase1 testcase2 testcase3
 
 WILDCARD_TESTS := $(patsubst %, %_wildcard, $(NORMAL_TESTS))
 
C++11 memory model checker benchmarks