kani is a collection of utility macros, traits and functions that help writing proof harnesses for the Kani verifier. A dummy function to avoid having an empty file.
kani