Add challenge 23 24 for Vec#267

carolynzech merged 14 commits into

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

thanhnguyen-aws:vecchallengethanhnguyen-aws/verify-rust-std:vecchallengeCopy head branch name to clipboard