Parse log file of multi-threaded Kani run (terse output) into JSON#324

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

tautschnig:metrics-tooling2tautschnig/verify-rust-std:metrics-tooling2Copy head branch name to clipboard