Kani Rust Model Checker 0.32 Release
https://github.com/model-checking/kani/releases/tag/kani-0.32.0Open linkView original on lemmy.fmhy.mlhttps://github.com/model-checking/kani/releases/tag/kani-0.32.0Open linkView original on lemmy.fmhy.mlhttps://github.com/model-checking/kani/releases/tag/kani-0.32.0Open linkView original on lemmy.fmhy.ml