kani

Macro cover

Source
macro_rules! cover {
    () => { ... };
    ($cond:expr $(,)?) => { ... };
    ($cond:expr, $msg:literal) => { ... };
}