cargo kani --version --verbose could show the rustc version/commit that kani is using #2872
Description
No description provided.
{{ message }}
cargo kani --version --verbose could show the rustc version/commit that kani is using #2872