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

Open

tautschnig wants to merge 6 commits intomodel-checking:mainfrom

tautschnig:metrics-tooling2

Commits on Apr 14, 2025

Turn verbose Kani run into JSON
tautschnig
committed

Commits on Apr 24, 2025

Commits on Apr 25, 2025

Add is_public, fixes
tautschnig
committed

Commits on Apr 29, 2025