Autoharness: mine constructor assertions into value filters - #4718

Open

tautschnig wants to merge 3 commits into

model-checking:mainfrom

tautschnig:mining-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