Skip to content

Autoharness: assume safety invariants of generated values - #4677

Merged
feliperodri merged 3 commits into
model-checking:mainfrom
tautschnig:autoharness-assume-invariants
Aug 21, 2026
Merged

Autoharness: assume safety invariants of generated values#4677
feliperodri merged 3 commits into
model-checking:mainfrom
tautschnig:autoharness-assume-invariants

Address review: keep kani::invariant path, scope invariant-assumption…

6ccf104
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Auto Label
succeeded Aug 18, 2026 in 8s