From 0d5b9e63b4b30f7e07e1b8213a28e561a4edff28 Mon Sep 17 00:00:00 2001
From: weiyu <weiyuluo1232@gmail.com>
Date: Tue, 15 Dec 2020 16:18:54 -0800
Subject: [PATCH] update script
---
cdschecker_modified_benchmarks/test_all.sh | 1 +
tsan11-missingbug/test.sh | 2 +-
tsan11-missingbug/test_all.sh | 1 +
3 files changed, 3 insertions(+), 1 deletion(-)
diff --git a/cdschecker_modified_benchmarks/test_all.sh b/cdschecker_modified_benchmarks/test_all.sh
index a7200eb..a22d70e 100755
--- 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 17a5f3c..6403d77 100755
--- 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 81633f7..c390d47 100755
--- 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
--
2.34.1