search

camshaft / bolero

property testing and verification front-end for Rust
https://camshaft.github.io/bolero
MIT License
185 stars 17 forks source link

kani: remove use of kani::vec::any_vec #231

Closed camshaft closed 4 months ago

camshaft commented 4 months ago

any_vec seems to perform much worse than a stack array slice. This change removes any_vec entirely.