Verify safety of slice functions (Challenge 17) - #703

Verify safety of slice functions (Challenge 17)#703

kasimte wants to merge 2 commits into

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

kasimte:ch17-slicekasimte/verify-rust-std:ch17-sliceCopy head branch name to clipboard