Crate kani_verifier 

This crate includes two “proxy binaries”: kani and cargo-kani. These are conveniences to make it easy to:

cargo install --locked kani-verifer

Upon first run, or upon running cargo-kani setup, these proxy binaries will download the appropriate Kani release bundle and invoke the “real” kani and cargo-kani binaries.

Functions

proxy

Effectively the entry point (i.e. main function) for both our proxy binaries. bin should be either kani or cargo-kani