Skip to content

Fix exit code swallowed by --quiet on verification failure - #4787

Closed
rbeauchamp wants to merge 1 commit into
model-checking:mainfrom
rbeauchamp:fix-4745-quiet-exit-code
Closed

Fix exit code swallowed by --quiet on verification failure#4787
rbeauchamp wants to merge 1 commit into
model-checking:mainfrom
rbeauchamp:fix-4745-quiet-exit-code

Fix exit code swallowed by --quiet on verification failure (#4745)

6101ae6
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Auto Label
succeeded Sep 8, 2026 in 6s