Upgrade to Kissat 3.1.1 (#2756)

model-checking · Sep 12, 2023 · 605ca49 · 605ca49
1 parent 6d628bf
commit 605ca49
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/docs/src/build-from-source.md b/docs/src/build-from-source.md
@@ -13,7 +13,7 @@ In general, the following dependencies are required to build Kani from source.
 1. Cargo installed via [rustup](https://rustup.rs/)
 2. [CBMC](https://github.com/diffblue/cbmc) (latest release)
 3. [CBMC Viewer](https://github.com/awslabs/aws-viewer-for-cbmc) (latest release)
-4. [Kissat](https://github.com/arminbiere/kissat) (Release 3.0.0)
+4. [Kissat](https://github.com/arminbiere/kissat) (Release 3.1.1)
 
 Kani has been tested in [Ubuntu](#install-dependencies-on-ubuntu) and [macOS](##install-dependencies-on-macos) platforms.
 

diff --git a/kani-dependencies b/kani-dependencies
@@ -1,4 +1,4 @@
 CBMC_VERSION="5.91.0"
 # If you update this version number, remember to bump it in `src/setup.rs` too
 CBMC_VIEWER_VERSION="3.8"
-KISSAT_VERSION="3.0.0"
+KISSAT_VERSION="3.1.1"
diff --git a/scripts/setup/install_kissat.sh b/scripts/setup/install_kissat.sh
@@ -34,7 +34,7 @@ wget -O "$FILE" "$URL"
 tar -xvzf $FILE
 DIR_NAME="kissat-rel-${KISSAT_VERSION}"
 cd $DIR_NAME
-./configure && make kissat && sudo install build/kissat /usr/local/bin
+./configure --safe && make kissat && sudo install build/kissat /usr/local/bin
 cd -
 
 # Clean up on success