Upgrade to Kissat 3.1.1 (rust-lang#2756)

Author: zhassan-aws

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.
 

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"

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