Skip to content

Stop after codegen with -Z lean instead of failing to link a goto model - #4924

Merged
feliperodri merged 2 commits into
model-checking:mainfrom
tautschnig:llbc-lean-exit-status
Sep 30, 2026
Merged

Stop after codegen with -Z lean instead of failing to link a goto model#4924
feliperodri merged 2 commits into
model-checking:mainfrom
tautschnig:llbc-lean-exit-status

Keep `-Z lean`'s harness checks and reject output files it cannot write

2f80592
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning and 1 notice
Auto Label
succeeded Sep 30, 2026 in 7s