Challenge 21: Verify StrSearcher safety in str::pattern with Kani - #721

Challenge 21: Verify StrSearcher safety in str::pattern with Kani#721

kasimte wants to merge 2 commits into

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

kasimte:challenge-21-strsearcherkasimte/verify-rust-std:challenge-21-strsearcherCopy head branch name to clipboard