Repository navigation

Make the LLBC regression require Kani to exit successfully - #4925

Merged

feliperodri merged 3 commits into

model-checking:mainfrom

tautschnig:llbc-require-success

Sep 30, 2026

Commits on Sep 30, 2026

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

tautschnig
and
kiro-agent
committed
b74f8e7
Keep `-Z lean`'s harness checks and reject output files it cannot write

tautschnig
and
kiro-agent
committed
2f80592
Make the LLBC regression require Kani to exit successfully

tautschnig
and
kiro-agent
committed
e251cab