kani
0.55.0
Module vec
Module Items
Functions
In crate kani
kani
Module
vec
Copy item path
source
Functions
ยง
any_vec
Generates an arbitrary vector whose length is at most MAX_LENGTH.
exact_
vec
Generates an arbitrary vector that is exactly EXACT_LENGTH long.