Use stable version to install Kani (#53)

model-checking · Jan 10, 2024 · 3c6810a · 3c6810a
1 parent e621a98
commit 3c6810a
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/install-kani.sh b/src/install-kani.sh
@@ -4,10 +4,10 @@
 
 # If version is latest, install directly from cargo
 if [ "$1" == "latest" ]; then
-    cargo install --locked kani-verifier;
+    cargo +stable install --locked kani-verifier;
 else
     VERSION=$1
-    cargo install --version $VERSION --locked kani-verifier;
+    cargo +stable install --version $VERSION --locked kani-verifier;
 fi
 
 # Check exit status for error handling