Changelog

This file contains notable changes (e.g. breaking changes, major changes, etc.) in Kani releases.

This file was introduced starting Kani 0.23.0, so it only contains changes from version 0.23.0 onwards.

[0.25.0]

Add implementation for the #[kani::should_panic] attribute by @adpaco-aws in model-checking#2315
Upgrade Rust toolchain to nightly-2023-02-04 by @tautschnig in model-checking#2324
Bump CBMC version to 5.80.0 by @zhassan-aws in model-checking#2336

Full Changelog: https://github.com/model-checking/kani/compare/kani-0.24.0...kani-0.25.0

Remove the second parameter in the kani::any_where function by @zhassan-aws in #2257
We removed the second parameter in the kani::any_where function (_msg: &'static str) to make the function more ergonomic to use. We suggest moving the explanation for why the assumption is introduced into a comment. For example, the following code:

    let len: usize = kani::any_where(|x| *x < 5, "Restrict the length to a value less than 5");

should be replaced by:

    // Restrict the length to a value less than 5
    let len: usize = kani::any_where(|x| *x < 5);

Enable the build cache to avoid recompiling crates that haven't changed, and introduce --force-build option to compile all crates from scratch by @celinval in #2232.