IntersectMBO / IntersectMBO/cardano-ledger
Write targeted property tests
Open
ConwayEra
- Dominant language
- Haskell
- Stars
- 295
- Forks
- 179
- Avg merge
- 4d 7h
- Merged PRs (30d)
- 29
Description
Write property tests for #3149 . These should probably be targeted directly to the new transition systems.
(Akin to the UTXOW property tests that were written for Alonzo and extended to Babbage).
Contributor guide
Assessment
This issue has not been assessed yet.