Challenge 22: Verify safety of str iter with Kani - #741

Challenge 22: Verify safety of str iter with Kani#741

v3risec wants to merge 2 commits into

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

v3risec:challenge-22-str-iterv3risec/verify-rust-std:challenge-22-str-iterCopy head branch name to clipboard