The getFilteredVoteDelegatees function in consensus does many things, amongst which some could be moved to Ledger.
- Added blockBodySize method - Added more CddlSpec tests - Add BlockBody DecCBOR instance - Fix PerasCert to encode/decode as bytes (matching CDDL nil / VBytes) - Use encodeNullStrictMaybe/decodeNullStrictMaybe for optional peras_certificate - Handle both definite and indefinite length lists in BlockBody decoder - Add index range validation in BlockBody decoder (matching Alonzo) - Add DecCBOR instances for DijkstraBlockBodyRaw and DijkstraBlockBody in testlib - Add NFData and EncCBOR deriving for DijkstraBlockBody newtype - Export DijkstraBlockBodyRaw and MkDijkstraBlockBody from Internal module - Add custom CBOR generator for block_body - Use deriving via Mem for Annotator BlockBody decoder - Reimplement alignedValidFlags using IntSet - Update changelogs
Verify that the decoder rejects big integers (CBOR tags 2/3) outside the valid CBOR int range of -2^64 .. 2^64-1, and accepts values at the boundaries. Also fix an off-by-one in the comment documenting the supported range. Co-authored-by: teodanciu <[email protected]> Co-authored-by: Alexey Kuleshevich <[email protected]>
Add fullCddlSpec, fullGenCddlSpec, fullAnnCddlSpec, and fullAnnGenCddlSpec which bundle all Huddle-based CDDL tests (roundtrip, arbitrary-validate, anti-CBOR, decoder equivalence) for a given type behind a single call.
genDatumPresent generates only DatumHash and Datum (no NoDatum), for use in CDDL roundtrip tests where NoDatum is not valid. genNonEmptyAccountBalanceIntervals ensures at least one entry, matching the CDDL spec.
Signed-off-by: Eric Torreborre <[email protected]>
and fix the warning that was breaking the job Signed-off-by: Eric Torreborre <[email protected]>
Signed-off-by: Chris Gianelloni <[email protected]>
