IntersectMBO / IntersectMBO/cardano-ledger
Constraints and properties for GOV rule
Open
:detective: testing
ConwayEra
- Dominant language
- Haskell
- Stars
- 295
- Forks
- 179
- Avg merge
- 4d 7h
- Merged PRs (30d)
- 29
Description
Constraint based testing framework is mature enough to support Conway.
We need to add properties for the GOV rule
Contributor guide
Assessment
This issue has not been assessed yet.