Verify safety of slice functions with VeriFast + Kani (Challenge 17)#559

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

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