Skip to content

Autoharness: do not synthesize Arbitrary for structs with reference fields - #4694

Open
tautschnig wants to merge 2 commits into
model-checking:mainfrom
tautschnig:fix-ref-field-derive
Open

Autoharness: do not synthesize Arbitrary for structs with reference fields#4694
tautschnig wants to merge 2 commits into
model-checking:mainfrom
tautschnig:fix-ref-field-derive

Update autoderive_arbitrary_structs expectations for ref-field rejection

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