Skip to content

Report the failure exit code under --quiet - #4771

Open
ivmat wants to merge 2 commits into
model-checking:mainfrom
ivmat:fix-quiet-exit-code
Open

Report the failure exit code under --quiet#4771
ivmat wants to merge 2 commits into
model-checking:mainfrom
ivmat:fix-quiet-exit-code

Split autoharness summary compute from print

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