Open link in next tab
Release kani-0.32.0 · model-checking/kani
https://github.com/model-checking/kani/releases/tag/kani-0.32.0
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...