Skip to content

Fix --export-json reporting a failed, skipped, or zero-match run as clean - #4732

Closed
ivmat wants to merge 5 commits into
model-checking:mainfrom
ivmat:export-json-soundness-clean
Closed

Fix --export-json reporting a failed, skipped, or zero-match run as clean#4732
ivmat wants to merge 5 commits into
model-checking:mainfrom
ivmat:export-json-soundness-clean

Accept legitimately-null leaves in the export-json validator

e6633c5
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Auto Label
succeeded Aug 13, 2026 in 8s