Skip to content

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
Merged

Make the LLBC regression require Kani to exit successfully#4925
feliperodri merged 3 commits into
model-checking:mainfrom
tautschnig:llbc-require-success

Make the LLBC regression require Kani to exit successfully

e251cab
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 8s