Challenge 17: Verify safety of Slice functions#567

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

Samuelsills:challenge-17-sliceSamuelsills/verify-rust-std:challenge-17-sliceCopy head branch name to clipboard