Add Kani harnesses for Challenge 18: slice iter functions - #651

Add Kani harnesses for Challenge 18: slice iter functions#651

MavenRain wants to merge 1 commit into

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

MavenRain:18-slice-iterMavenRain/verify-rust-std:18-slice-iterCopy head branch name to clipboard