Skip to content

Commit c4b7090

Browse files
committed
test(stack-encrypt): check_record seeds that parse, so the per-PR replay reaches the type rule
Both committed check_record seeds stopped at the plan parser: replayed with STACK_ENCRYPT_FUZZ_TRACE=1, each printed "verdict: plan refused". So the per-PR replay in fuzz.yml never reached the new assertion that every indexed field of a parsed plan declares its type, nor check_record itself. Adding SpecEntry::Type also moved every stored input, because the Arbitrary derive picks a variant from the variant count, and the names no longer said what the seeds held. They are replaced by two inputs kept from a two-minute campaign, each under a plan whose one field is typed float64 with ["ore", "ope", "c"] or ["ore", "c"]: - valid-typed-indexed-record-accepted: the record holds that field with one sealed "c" node. Model and check_record both accept it. - valid-typed-indexed-passthrough-under-c-refused: the field's "c" holds a passthrough. Model and check_record both refuse it. Addresses PR #1096 review comment 4203316826.
1 parent 7f1df37 commit c4b7090

4 files changed

File tree

Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.

0 commit comments

Comments
 (0)