Skip to content

Fail a zero-match harness filter before codegen and export - #4743

Merged
feliperodri merged 2 commits into
model-checking:mainfrom
ivmat:fix-zero-match-quiet
Aug 21, 2026
Merged

Fail a zero-match harness filter before codegen and export#4743
feliperodri merged 2 commits into
model-checking:mainfrom
ivmat:fix-zero-match-quiet

Address review: one zero-match error for every filter site

ae18305
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Auto Label
succeeded Aug 18, 2026 in 6s