Update CI

model-checking · Sep 6, 2024 · 614af49 · 614af49
1 parent 3c83c5c
commit 614af49
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 59 deletions.
diff --git a/.github/workflows/kani.yml b/.github/workflows/kani.yml
@@ -35,4 +35,4 @@ jobs:
           submodules: true
 
       - name: Run Kani Script
-        run: bash ./head/scripts/check_kani.sh ${{github.workspace}}/head
+        run: bash ./head/run-kani.sh ${{github.workspace}}/head
diff --git a/scripts/check_kani.sh b/scripts/check_kani.sh
diff --git a/scripts/run_update_with_checks.sh b/scripts/run_update_with_checks.sh
@@ -170,9 +170,9 @@ fi
 # Checking compatiblity with kani
 echo "Checking compatiblity with kani..."
 source $BASE_HOME_DIR/run-kani.sh "$TEMP_HOME_DIR"
-check_kani=("$?")
-if [ "${#check_kani[@]}" -eq 0 ]; then
-    echo "check_kani.sh failed to run."
+run_kani=("$?")
+if [ "${#run_kani[@]}" -eq 0 ]; then
+    echo "run_kani.sh failed to run."
     exit 1
 else
     echo "Changes compatible with kani's features/verify-std branch."