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

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

jrey8343 wants to merge 1 commit into

model-checking:mainmodel-checking/verify-rust-std:mainfrom

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