Cover-Branches, engine measurement, and eleven defects the corpus found - #64

Merged

GuilhermeBn198 merged 17 commits into

feat/cover-branches

Aug 24, 2026

Commits on Aug 22, 2026

feat(testcomp): Cover-Branches suites from KLEE's own path vectors

GuilhermeBn198
and
claude
committed
6e1288e
fix(testcomp): stop labelling TestCov's Result line as a coverage claim

GuilhermeBn198
and
claude
committed
376e31b
docs(testcomp): record how to read the 2026-08-22 corpus results

GuilhermeBn198
and
claude
committed
d6da0e9
docs: H1.3 and H2.5 done — Cover-Branches lands via KLEE's ktest output

GuilhermeBn198
and
claude
committed
381aeae
fix(testcomp): nested sampling and a category-interleaved manifest; quota 150

GuilhermeBn198
and
claude
committed
67b8378

Commits on Aug 23, 2026

Commits on Aug 24, 2026

test(testcomp): make v11 a 2x2 factorial with its own control

GuilhermeBn198
and
claude
committed
75f2a0a