Challenge 22: Kani contracts for str iterators - #646

Challenge 22: Kani contracts for str iterators#646

sankalpsthakur wants to merge 4 commits into

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

sankalpsthakur:challenge/22-str-itersankalpsthakur/verify-rust-std:challenge/22-str-iterCopy head branch name to clipboard