update scripts

[tsan11-tsan11rec-docker.git] / scripts / do_test_all.sh

diff --git a/scripts/do_test_all.sh b/scripts/do_test_all.sh
new file mode 100755 (executable)
index 0000000..7c806e7
--- /dev/null
+++ b/scripts/do_test_all.sh
@@ -0,0 +1,20 @@
+#!/bin/sh
+
+# Test application benchmarks
+./app_test_all.sh
+echo ""
+
+# Test CDSChecker data structure benchmarks
+cd cdschecker_modified_benchmarks
+./test_all.sh
+cd ..
+echo ""
+
+# Test data structures with bugs that tsan11/tsan11rec cannot detect
+cd tsan11-missingbug
+./test_all.sh
+cd ..
+echo ""
+
+# Test assertion failures in Silo and Mabain
+./app_assertion_test.sh