IntersectMBO / IntersectMBO/cardano-ledger
Add tests for shelley header size bounds
Open
:slot_machine: property test
priority high
- Dominant language
- Haskell
- Stars
- 295
- Forks
- 179
- Avg merge
- 4d 7h
- Merged PRs (30d)
- 29
Description
The PR #1433 added size computations for `ToCBOR` instances for types related to Shelley headers. They should be tested, as they are for the [byron]( https://github.com/input-output-hk/cardano-ledger/blob/master/cardano-ledger/test/Test/Cardano/Chain/Block/Size.hs).
Note: chain generator is in `Test.Shelley.Spec.Ledger.Generator.Trace.Chain`, example usage is in `Test.Shelley.Spec.Ledger.Rules.TestChain`.
Contributor guide
Assessment
This issue has not been assessed yet.