Change performance test to always run all tests

Added --no-fail-fast to the script
model-checking · Mar 8, 2023 · e7bc03a · e7bc03a
1 parent 4d3bed2
commit e7bc03a
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/.github/workflows/cbmc-latest.yml b/.github/workflows/cbmc-latest.yml
@@ -93,4 +93,4 @@ jobs:
       - name: Execute Kani performance ignored tests
         working-directory: ./kani
         continue-on-error: true
-        run: cargo run -p compiletest -- --suite perf --mode cargo-kani-test ignore --ignored
+        run: cargo run -p compiletest -- --suite perf --mode cargo-kani-test ignore --ignored --no-fail-fast
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..."