update script

diff --git a/cdschecker_modified_benchmarks/test_all.sh b/cdschecker_modified_benchmarks/test_all.sh
index a7200ebe3d25bbe3613d33b810d865f9bf5ffedb..a22d70ed4f425a0253ec7481056a370988bf2b60 100755 (executable)
--- a/cdschecker_modified_benchmarks/test_all.sh
+++ b/cdschecker_modified_benchmarks/test_all.sh
@@ -4,6 +4,7 @@ set -u
 
 # Paul: skip `spsc-queue` as it deadlocks.
 
+echo "** Test CDSChecker data structure benchmarks **"
 for t in barrier chase-lev-deque dekker-fences linuxrwlocks mcs-lock mpmc-queue ms-queue; do
   cd $t
   echo -n "$t " 

diff --git a/tsan11-missingbug/test.sh b/tsan11-missingbug/test.sh
index 17a5f3cfe6ca29dbf98f8a1374939fc902891d68..6403d777cf71bc2ac5615f5403f1efc93d848c66 100755 (executable)
--- a/tsan11-missingbug/test.sh
+++ b/tsan11-missingbug/test.sh
@@ -29,5 +29,5 @@ done
 AVG_ASSERT=$(echo "${COUNT_ASSERT} * 100 / ${TOTAL_RUN}" | bc -l | xargs printf "%.1f")
 
 # -3 / log(1 - p) < n
-echo "Runs: $TOTAL_RUN | Assertions: $COUNT_ASSERT | Total time: ${COUNT_TIME}ms | Assert rate: ${AVG_ASSERT}%"
+echo "Runs: $TOTAL_RUN | Assertions: $COUNT_ASSERT | Total time: ${COUNT_TIME}ms | Assertion rate: ${AVG_ASSERT}%"
 rm C11FuzzerTmp*  2> /dev/null

diff --git a/tsan11-missingbug/test_all.sh b/tsan11-missingbug/test_all.sh
index 81633f79d2f77746403e15b03b724c14af5dc428..c390d470a30a1c1d410fee27350534330ce88675 100755 (executable)
--- a/tsan11-missingbug/test_all.sh
+++ b/tsan11-missingbug/test_all.sh
@@ -2,6 +2,7 @@
 set -e
 set -u
 
+echo "** Assertion test for broken data structures **"
 for t in seqlock-test rwlock-test; do
   echo -n "$t " 
   ./test.sh ./$t