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

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

feliperodri merged 1 commit into

model-checking:mainmodel-checking/kani:mainfrom

tautschnig:mined-prtautschnig/kani:mined-prCopy head branch name to clipboard