Thomas Zahner 7fcf66c492 Extend compact format (#1497) ... * Show unknowns and timeouts in compact format * Clippy: make functions const		2024-09-09 18:33:18 +02:00
..
mod.rs	Extend compact format (#1497)	2024-09-09 18:33:18 +02:00