Change performance test to always run all tests

Added --no-fail-fast to the script
model-checking · Feb 6, 2023 · 9498112 · 9498112
1 parent 70bfb28
commit 9498112
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/scripts/kani-perf.sh b/scripts/kani-perf.sh
@@ -27,7 +27,7 @@ done
 suite="perf"
 mode="cargo-kani-test"
 echo "Check compiletest suite=$suite mode=$mode"
-cargo run -p compiletest -- --suite $suite --mode $mode
+cargo run -p compiletest -- --suite $suite --mode $mode --no-fail-fast
 exit_code=$?
 
 echo "Cleaning up..."