Remove the race detection check from the general correctness suite

calyxir · Dec 13, 2024 · caa10d3 · caa10d3
1 parent 3dfecdd
commit caa10d3
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/cider/tests/runt.toml b/cider/tests/runt.toml
@@ -123,7 +123,6 @@ fud2 --from calyx --to dat \
          --through cider \
          -s sim.data={}.data \
          -s calyx.args="--log off" \
-         -s cider.flags="--check-data-race" \
          {}
 """