Use stable version to install Kani

model-checking · Jan 10, 2024 · 412d262 · 412d262
1 parent e621a98
commit 412d262
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