Run more automatic harnesses (use patterns w/ regex support)#397

tautschnig merged 3 commits intomodel-checking:mainmodel-checking/verify-rust-std:mainfrom

carolynzech:autoharness-regexcarolynzech/rust:autoharness-regexCopy head branch name to clipboard