Challenge 23: verify Vec mod.rs function safety with Kani - #692

Challenge 23: verify Vec mod.rs function safety with Kani#692

kasimte wants to merge 4 commits into

model-checking:mainmodel-checking/verify-rust-std:mainfrom

kasimte:challenge-23-vec-part1kasimte/verify-rust-std:challenge-23-vec-part1Copy head branch name to clipboard