Verify safety of slice iterator functions with Kani (Challenge 18) - #560

Verify safety of slice iterator functions with Kani (Challenge 18)#560

jrey8343 wants to merge 1 commit into

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

jrey8343:challenge-18-slice-iterjrey8343/verify-rust-std:challenge-18-slice-iterCopy head branch name to clipboard