scripts/do_test_all.sh

   1 #!/bin/sh
   2
   3 # Test application benchmarks
   4 ./app_test_all.sh
   5 echo ""
   6
   7 # Test CDSChecker data structure benchmarks
   8 cd cdschecker_modified_benchmarks
   9 ./test_all.sh
  10 cd ..
  11 echo ""
  12
  13 # Test data structures with bugs that tsan11/tsan11rec cannot detect
  14 cd tsan11-missingbug
  15 ./test_all.sh
  16 cd ..
  17 echo ""
  18
  19 # Test assertion failures in Silo and Mabain
  20 ./app_assertion_test.sh