Skip to content

fault gate: admit a record check only after it catches its faults - #1445

Merged
abrichr merged 4 commits into
mainfrom
verification-coverage/fault-gate
Oct 20, 2026
Merged

fault gate: admit a record check only after it catches its faults#1445
abrichr merged 4 commits into
mainfrom
verification-coverage/fault-gate

Merge branch 'main' into verification-coverage/fault-gate

47418b2
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar