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

Open

tautschnig wants to merge 5 commits into

model-checking:mainfrom

tautschnig:mined-pr

Commits on Aug 5, 2026

Autoharness: assume layout niches of generated scalar values

tautschnig
and
kiro-agent
committed
ff8ffe5
Autoharness: constructor-based value generation (--constructor-args)

tautschnig
and
kiro-agent
committed
00b63ea
Autoharness: mine constructor assertions into value filters

tautschnig
and
kiro-agent
committed
47f83f8

Commits on Aug 6, 2026

Autoharness: unbounded slice, mutable slice and Vec arguments

tautschnig
and
kiro-agent
committed
08a000c
Autoharness: mine type invariants from a type's own assertions

tautschnig
and
kiro-agent
committed
9e5e08d