Challenge 13: Verify safety of CStr#566

Samuelsills wants to merge 1 commit intomodel-checking:mainmodel-checking/verify-rust-std:mainfrom

Samuelsills:challenge-13-cstrSamuelsills/verify-rust-std:challenge-13-cstrCopy head branch name to clipboard