Add Challenge 25: VecDeque#269

tautschnig merged 7 commits into

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

thanhnguyen-aws:vecdequechallengethanhnguyen-aws/verify-rust-std:vecdequechallengeCopy head branch name to clipboard