Challenge 18: Kani contracts for slice iterators - #644

Challenge 18: Kani contracts for slice iterators#644

sankalpsthakur wants to merge 8 commits into

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

sankalpsthakur:challenge/18-slice-itersankalpsthakur/verify-rust-std:challenge/18-slice-iterCopy head branch name to clipboard