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

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

feliperodri merged 2 commits into

model-checking:mainmodel-checking/kani:mainfrom

tautschnig:llbc-lean-exit-statustautschnig/kani:llbc-lean-exit-statusCopy head branch name to clipboard