Challenge 17: Verify slice safety with Kani - #657

Challenge 17: Verify slice safety with Kani#657

v3risec wants to merge 5 commits into

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

v3risec:challenge-17-slicev3risec/verify-rust-std:challenge-17-sliceCopy head branch name to clipboard