edits: add comments to demonstrate the found bugs and bug injections

[model-checker-benchmarks.git] / Makefile

diff --git a/Makefile b/Makefile
index 74716564c9699f272cfd2f085ac85994b1f8f0b3..194e1ffce7c48be2806ca63f406ca5810ece4f37 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -1,7 +1,6 @@
-DIRS := register-acqrel register-relaxed ms-queue linuxrwlocks mcs-lock \
-       chase-lev-deque-bugfix treiber-stack ticket-lock seqlock read-copy-update \
-       concurrent-hashmap spsc-bugfix mpmc-queue barrier \
-       chase-lev-deque-bugfix-loose ms-queue-loose blocking-mpmc-example
+DIRS := ms-queue linuxrwlocks mcs-lock \
+       chase-lev-deque-bugfix ticket-lock seqlock read-copy-update \
+       concurrent-hashmap spsc-bugfix mpmc-queue
 
 .PHONY: $(DIRS)