Challenge 22: Verify the safety of str iter functions - #706

Challenge 22: Verify the safety of str iter functions#706

kasimte wants to merge 2 commits into

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

kasimte:merlinkasimte/verify-rust-std:merlinCopy head branch name to clipboard