From 2f01981e6bd2cd1de15d81223b99deb3dc4c2dd6 Mon Sep 17 00:00:00 2001 From: Patrick Roy Date: Mon, 19 Feb 2024 10:34:38 +0000 Subject: [PATCH] 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 --- tools/devctr/Dockerfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/devctr/Dockerfile b/tools/devctr/Dockerfile index d64790d0013..80c1c5d581c 100644 --- 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 \