From 402266cd4f732f4e9d0d5c8d05d3120a0e106d84 Mon Sep 17 00:00:00 2001
From: "Celina G. Val" <celinval@amazon.com>
Date: Wed, 23 Aug 2023 16:43:04 -0700
Subject: [PATCH] Update Kani version to 0.35.0 (#43)

Change the action to track the latest Kani version
---
 action.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/action.yml b/action.yml
index f6415be..641ea53 100644
--- 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;