Add Challenges 20 21 22 for str Pattern and iter#266

tautschnig merged 47 commits into

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

thanhnguyen-aws:strIterchallengesthanhnguyen-aws/verify-rust-std:strIterchallengesCopy head branch name to clipboard