Enable harnesses that were fixed by the unreleased version of CBMC#161

celinval wants to merge 2 commits into

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

celinval:verify-iter-2celinval/rust-dev:verify-iter-2Copy head branch name to clipboard