Challenge 20: Verify Char Searcher with Kani - #620

Challenge 20: Verify Char Searcher with Kani#620

v3risec wants to merge 5 commits into

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

v3risec:challenge-20-char-searcherv3risec/verify-rust-std:challenge-20-char-searcherCopy head branch name to clipboard