Bump Kani version to 0.18 (#20)

Author: zhassan-aws

action.yml

@@ -29,7 +29,7 @@ runs:
     - name: Install Rust
       uses: actions-rs/[email protected]
       with:
-        # From https://github.com/model-checking/kani/blob/kani-0.17.0/rust-toolchain.toml
+        # From https://github.com/model-checking/kani/blob/kani-0.18.0/rust-toolchain.toml
         # Should be updated every time we update the version to keep in sync.
         # This should be automated https://github.com/model-checking/kani-github-action/issues/9
         toolchain: nightly-2022-11-20
@@ -38,7 +38,7 @@ runs:
     - name: Install Kani
       shell: bash
       run: |
-        export KANI_VERSION="0.17.0";
+        export KANI_VERSION="0.18.0";
         cargo install --version $KANI_VERSION --locked kani-verifier;
         cargo-kani setup;
 
@@ -47,4 +47,3 @@ runs:
       run: |
         cd ${{ inputs.working-directory }};
         ${{ inputs.command }} ${{ inputs.args }}
-