Add data structures with bugs that tsan11/tsan11rec cannot detect

[c11concurrency-benchmarks.git] / tsan11-missingbug / test_all.sh

diff --git a/tsan11-missingbug/test_all.sh b/tsan11-missingbug/test_all.sh
new file mode 100755 (executable)
index 0000000..6a5701a
--- /dev/null
+++ b/tsan11-missingbug/test_all.sh
@@ -0,0 +1,11 @@
+#!/bin/bash
+set -e
+set -u
+
+# Paul: skip `spsc-queue` as it deadlocks.
+
+for t in seqlock-test rwlock-test; do
+  echo -n "$t " 
+  ./test.sh ./$t
+done
+