IntersectMBO / IntersectMBO/cardano-ledger
Integrate constraint based testing with ConwayEra
Open
ConwayEra
- Dominant language
- Haskell
- Stars
- 295
- Forks
- 179
- Avg merge
- 4d 7h
- Merged PRs (30d)
- 29
Description
This is a successor to #3151.
We need to use the power of constraint based testing framework with ConwayEra. This will require complete integration of Conway Era into constraint based framework and some actual property tests.
Contributor guide
Assessment
This issue has not been assessed yet.