This milestone tracks the remaining tasks to be able to call or use Kani on Rust source files or projects to verify code. It covers basic features needed to simplify calling Kani without having to use the command line.
List view
0 issues of 0 selected
There are no open issues in this milestone
Add issues to milestones to help organize your work for a particular release or project. Find and add issues with no milestones in this repo.