IntersectMBO / IntersectMBO/cardano-ledger
Constrained generators for transactions
Open
- Dominant language
- Haskell
- Stars
- 295
- Forks
- 179
- Avg merge
- 4d 7h
- Merged PRs (30d)
- 29
Description
The UTXO conformance tests currently use the Generic generator for transactions. We should implement a constraint based generator for transactions and use that instead.
Contributor guide
Assessment
This issue has not been assessed yet.