Skip to content

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
Open

SV-COMP: explorer-owned per-testcase stats.json + runs/ layout & analysis (#25)#27
nils-loose wants to merge 2 commits into
mainfrom
feat/svcomp-testcase-metadata

feat(sv-comp): runs/run_<ts>/ layout, stats.json analysis, CLI consol…

d2c6708
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar