Function kani_path

pub fn kani_path() -> String

A local path to kani’s artifacts.

Choose the following if found

• $KANI_DIR
• or $KANI_HOME/kani-{version}
• or $HOME/.kani/kani-{version}