SV-COMP: explorer-owned per-testcase stats.json + runs/ layout & analysis (#25)#27

Open

nils-loose wants to merge 2 commits into

mainfrom

feat/svcomp-testcase-metadata

Commits on Jun 16, 2026

feat(sv-comp): explorer-owned per-testcase stats.json via trace metadata

nils-loose
and
claude
committed
feat(sv-comp): runs/run_<ts>/ layout, stats.json analysis, CLI consolidation

nils-loose
and
claude
committed