Challenge 8: Verify SmallSort with Kani - #701

Challenge 8: Verify SmallSort with Kani#701

v3risec wants to merge 2 commits into

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

v3risec:challenge-8-smallsortv3risec/verify-rust-std:challenge-8-smallsortCopy head branch name to clipboard