Fix performance regressions script (#1691)

model-checking · Sep 20, 2022 · 3fbb23b · 3fbb23b
1 parent 61c8d11
commit 3fbb23b
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 2 deletions.
diff --git a/.github/workflows/kani.yml b/.github/workflows/kani.yml
@@ -63,8 +63,8 @@ jobs:
         with:
           os: ubuntu-20.04
 
-      - name: Build Kani
-        run: cargo build
+      - name: Build Kani using release mode
+        run: cargo build --release
 
       - name: Execute Kani performance tests
         run: ./scripts/kani-perf.sh

diff --git a/scripts/kani-perf.sh b/scripts/kani-perf.sh
@@ -40,3 +40,4 @@ else
   echo "***Kani perf tests failed."
 fi
 echo
+exit $exit_code
-Original file line number
+Diff line change
@@ Expand Up / @@ -40,3 +40,4 @@ else @@
       echo "***Kani perf tests failed."
     fi
     echo
+    exit $exit_code