Update Kani version to 0.35.0 (#43)

Change the action to track the latest Kani version
model-checking · Aug 23, 2023 · 402266c · 402266c
1 parent 86cd7a2
commit 402266c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/action.yml b/action.yml
@@ -36,7 +36,7 @@ runs:
     - name: Install Kani
       shell: bash
       run: |
-        export KANI_VERSION="0.34.0";
+        export KANI_VERSION="0.35.0";
         cargo install --version $KANI_VERSION --locked kani-verifier;
         cargo-kani setup;