Warning: Some posts on this platform may contain adult material intended for mature audiences only. Viewer discretion is advised. By clicking ‘Continue’, you confirm that you are 18 years or older and consent to viewing explicit content.
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...