Skip to content

Autoharness: mine type invariants from a type's own assertions - #4722

Merged
feliperodri merged 1 commit into
model-checking:mainfrom
tautschnig:mined-pr
Aug 26, 2026
Merged

Autoharness: mine type invariants from a type's own assertions#4722
feliperodri merged 1 commit into
model-checking:mainfrom
tautschnig:mined-pr

Autoharness: mine type invariants from a type's own assertions

37dc8e4
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Auto Label
succeeded Aug 26, 2026 in 8s