kani
0.51.0
Module vec
Functions
In crate kani
Module
kani
::
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.