Function kani::assert

pub const fn assert(cond: bool, msg: &'static str)

Creates an assertion of the specified condition and message.

Example:

let x: bool = kani::any();
let y = !x;
kani::assert(x || y, "ORing a boolean variable with its negation must be true")