Challenge 16: Verify safety of iterator adapter functions with Kani - #632

Challenge 16: Verify safety of iterator adapter functions with Kani#632

v3risec wants to merge 4 commits into

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

v3risec:challenge-16-iterv3risec/verify-rust-std:challenge-16-iterCopy head branch name to clipboard