Kani currently ships with a
kani crate that provide APIs to allow users to
write and configure their harnesses.
These APIs are tightly coupled with each Kani version, so they are not
published yet at https://crates.io.
You can find their latest documentation here:
- kani: This crate provide APIs to write Kani harnesses.