Verify safety of char-related Searcher methods (Challenge 20) - #537

Verify safety of char-related Searcher methods (Challenge 20)#537

jrey8343 wants to merge 8 commits into

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

jrey8343:challenge-20-str-patternjrey8343/verify-rust-std:challenge-20-str-patternCopy head branch name to clipboard