Add tests with tsan for boc homework

kaist-cp · Mar 20, 2024 · 5fea682 · 5fea682
1 parent f867a1d
commit 5fea682
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 1 deletion.
diff --git a/homework/scripts/grade-boc.sh b/homework/scripts/grade-boc.sh
@@ -21,8 +21,10 @@ RUNNERS=(
     "cargo --release"
     "cargo_asan"
     "cargo_asan --release"
+    "cargo_tsan"
+    "cargo_tsan --release"
 )
-TIMEOUT=180s
+TIMEOUT=500s
 SCORE=0
 
 echo "1. Basic tests"

diff --git a/homework/suppress_tsan.txt b/homework/suppress_tsan.txt
@@ -5,5 +5,8 @@
 # `cargo_tsan test` does not give out false positives.
 race:Arc
 
+# boc tests
+race:crossbeam_deque
+
 # uses fences
 race:crossbeam_epoch