Autoharness: Derive `Arbitrary` for structs and enums#4167

Merged

tautschnig merged 6 commits intomodel-checking:mainfrom

carolynzech:autoharness-derive-arbitrary

Jun 27, 2025

Commits on Jun 20, 2025

derive Arbitrary for enums
Carolyn Zech
committed
derive Arbitrary for structs
Carolyn Zech
committed
cache whether a type impls Arbitrary
Carolyn Zech
committed
fix filter test
Carolyn Zech
committed

Commits on Jun 23, 2025

update tutorial docs
Carolyn Zech
committed

Commits on Jun 24, 2025

Merge branch 'main' into autoharness-derive-arbitrary
Carolyn Zech
authored