IntersectMBO / IntersectMBO/cardano-ledger
create properties of the goverance system
Open
ConwayEra
- Dominant language
- Haskell
- Stars
- 295
- Forks
- 179
- Avg merge
- 4d 7h
- Merged PRs (30d)
- 29
Description
For the purposes of property testing, we need to state as many properties about the new governance system as we can.
Contributor guide
Research direction
No file, test, or entry point is named. Start by locating the new governance system and its existing property-testing setup, then identify the properties that should be stated. Done means documenting and implementing as many governance properties as the project can support, with the property tests passing.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- haskell
- Domain
- blockchain, testing
- Issue type
- Feature
- Difficulty
- 5/5
- Estimated time
- Over a week
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 25/100