Skip to content

Commit 0b2fd57

Browse files
committed
devctr: pin kani to 0.64.0
Kani 0.65.0 crashes with ICE when trying to verify firecracker, see also model-checking/kani#4322 Signed-off-by: Patrick Roy <[email protected]>
1 parent 7243f99 commit 0b2fd57

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

tools/devctr/Dockerfile

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -122,7 +122,7 @@ RUN curl https://sh.rustup.rs -sSf | sh -s -- -y --profile minimal --default-too
122122
&& rustup component add llvm-tools-preview clippy rustfmt \
123123
&& cargo install --locked cargo-audit grcov cargo-sort cargo-afl \
124124
&& cargo install --locked cargo-deny --version 0.17.0 \
125-
&& cargo install --locked kani-verifier && cargo kani setup \
125+
&& cargo install --locked kani-verifier --version 0.64.0 && cargo kani setup \
126126
\
127127
&& NIGHTLY_TOOLCHAIN=$(rustup toolchain list | grep nightly | tr -d '\n') \
128128
&& rustup component add rust-src --toolchain "$NIGHTLY_TOOLCHAIN" \

0 commit comments

Comments
 (0)