Challenge 24: Verify Vec Part2 safety with Kani#599

v3risec wants to merge 1 commit into

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

v3risec:challenge-24-vec-part2v3risec/verify-rust-std:challenge-24-vec-part2Copy head branch name to clipboard