4 cd /data/tsan11-benchmarks/mabain
6 rm -r -f examples/multi_test
13 cd /data/tsan11-benchmarks/gdax-orderbook-hpp/demo
18 cd /data/tsan11-benchmarks/iris
24 cd /data/tsan11-benchmarks/silo
26 MODE=perf CHECK_INVARIANTS=0 USE_MALLOC_MODE=0 make -j dbtest
27 MODE=perf DEBUG=1 CHECK_INVARIANTS=1 USE_MALLOC_MODE=0 make -j dbtest
29 # Data structure benchmarks
30 cd /data/tsan11-benchmarks/cdschecker_modified_benchmarks
34 # Data structures with injected bugs that tsan11 and tsan11rec cannot detect
35 cd ~/c11tester-benchmarks/tsan11-missingbug