Challenge 18: Verify Slice Iter safety with Kani - #744

Challenge 18: Verify Slice Iter safety with Kani#744

v3risec wants to merge 2 commits into

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

v3risec:challenge-18-slice-iterv3risec/verify-rust-std:challenge-18-slice-iterCopy head branch name to clipboard