Macro vipers::invariant

macro_rules! invariant {
    ($invariant : expr, $err : expr $(,) ?) => { ... };
}

Asserts that an invariant holds, otherwise logs the given message.

Example

invariant!(1 == 2, "incorrect");