Verify safety of slice functions (Challenge 17)#540

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

jrey8343:challenge-17-slicejrey8343/verify-rust-std:challenge-17-sliceCopy head branch name to clipboard