Pin kani to 0.45.0

Kani 0.46.0 seems to have a bug in its contract verification feature that makes the gcd harness fail [1]. [1]: https://buildkite.com/firecracker/firecracker-pr/builds/9135 Signed-off-by: Patrick Roy <[email protected]>
roypat · Feb 20, 2024 · 2f01981 · 2f01981
1 parent 14e245f
commit 2f01981
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tools/devctr/Dockerfile b/tools/devctr/Dockerfile
@@ -111,7 +111,7 @@ RUN curl https://sh.rustup.rs -sSf | sh -s -- -y --default-toolchain "$RUST_TOOL
     && rustup target add aarch64-unknown-linux-musl \
     && rustup component add llvm-tools-preview \
     && cargo install --locked cargo-audit cargo-deny grcov cargo-sort \
-    && (if [ "$ARCH" = "x86_64" ]; then cargo install --locked kani-verifier && cargo kani setup; else true; fi) \
+    && (if [ "$ARCH" = "x86_64" ]; then cargo install --locked kani-verifier --version 0.45.0 && cargo kani setup; else true; fi) \
     \
     && apt-get update \
     && apt-get -y install --no-install-recommends \