update scripts

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

diff --git a/scripts/setup.sh b/scripts/setup.sh
index 9cfd1fa79e1da52e4e85f895f8545f196af23e01..ab007ea4d3486dbb9f683e5b58ce58e2b6d7e413 100755 (executable)
--- a/scripts/setup.sh
+++ b/scripts/setup.sh
@@ -7,8 +7,10 @@ git clone git://plrg.eecs.uci.edu/c11concurrency-benchmarks.git tsan11-benchmark
 cd tsan11-benchmarks
 git checkout tsan11-docker
 cp /data/scripts/build.sh .
+cp /data/scripts/do_test_all.sh .
+cp /data/scripts/app_assertion_test.sh .
+cp /data/scripts/app_test_all.sh .
 cp /data/scripts/run.sh .
-cp /data/scripts/test_all.sh .
 cp /data/scripts/calculator.py .
 ./build.sh
 cd ..
@@ -19,8 +21,10 @@ git clone git://plrg.eecs.uci.edu/c11concurrency-benchmarks.git tsan11rec-benchm
 cd tsan11rec-benchmarks
 git checkout tsan11-docker
 cp /data/scripts/build.sh .
+cp /data/scripts/do_test_all.sh .
+cp /data/scripts/app_assertion_test.sh .
+cp /data/scripts/app_test_all.sh .
 cp /data/scripts/run.sh .
-cp /data/scripts/test_all.sh .
 cp /data/scripts/calculator.py .
 sed -i "s/tsan11/tsan11rec/g" clang clang++ gcc g++ build.sh run.sh
 ./build.sh