Challenge 10: Verify memory safety of String functions#571

Samuelsills wants to merge 2 commits intomodel-checking:mainmodel-checking/verify-rust-std:mainfrom

Samuelsills:challenge-10-stringSamuelsills/verify-rust-std:challenge-10-stringCopy head branch name to clipboard