Skip to content

Verdict harness: judge every rendered claim, over every state that renders one - #6

Merged
systemslibrarian merged 2 commits into
mainfrom
harness/split-point
Sep 30, 2026
Merged

systemslibrarian merged 2 commits into
mainfrom
harness/split-point

Record the assertions that ran, and judge coverage on those

8f39f7c
Select commit
Loading
Failed to load commit list.