Skip to content

Prove containment for every line the tool prints (audit F1, F5) - #4

Open
ahrazzle wants to merge 7 commits into
mainfrom
claude/containment-proofs
Open

Prove containment for every line the tool prints (audit F1, F5)#4
ahrazzle wants to merge 7 commits into
mainfrom
claude/containment-proofs

tests: stop on a run with no check count, and say what the proofs catch

85ef13a
Select commit
Loading
Failed to load commit list.

There are no checks for this commit