Kani Rust Model Checker 0.32 Release
Kani Rust Model Checker 0.32 Release
github.com Release kani-0.32.0 · model-checking/kani
What's Changed Add kani::spawn and an executor to the Kani library by @fzaiser in #1659 Add "kani" configuration key to enable conditional compilation in build scripts by @celinval in #2297 Adds p...
0 comments