IntersectMBO / IntersectMBO/cardano-ledger
Generator for MaryValue can generate out-of-bounds failing round-trip test
Open
:detective: testing
:slot_machine: property test
cddl
generator quality
- Dominant language
- Haskell
- Stars
- 295
- Forks
- 179
- Avg merge
- 4d 7h
- Merged PRs (30d)
- 29
Description
The error report shows `MultiAsset is too big to compact`.
To reproduce use the following path and seed.
```
To rerun use: --match "/Mary/CDDL/Huddle/Generate bytestring from CDDL and decode -> encode/value: MaryValue/" --seed 1120296820
```
Contributor guide
Assessment
This issue has not been assessed yet.