Repository navigation

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

Merged

feliperodri merged 9 commits into

model-checking:mainfrom

ivmat:fix-quiet-exit-code

Sep 30, 2026

Merged

Report the failure exit code under `--quiet`#4771
feliperodri merged 9 commits into
model-checking:mainfrom
ivmat:fix-quiet-exit-code

Commits on Aug 27, 2026
- Report the failure exit code under `--quiet`
  ivmat
  committed
  7644203
Commits on Aug 28, 2026
- Split autoharness summary compute from print
  ivmat
  committed
  0b39b0b
Commits on Sep 15, 2026
- Merge branch 'main' into fix-quiet-exit-code
  celinval
  authored
  55efa7b
Commits on Sep 28, 2026
Commits on Sep 29, 2026