kani::vec

Function exact_vec

Source
pub fn exact_vec<T, const EXACT_LENGTH: usize>() -> Vec<T>
where T: Arbitrary,
Expand description

Generates an arbitrary vector that is exactly EXACT_LENGTH long.