IntersectMBO / IntersectMBO/formal-ledger-specifications
Conformance failure: StakePoolParams metadata size constraint
Open
conformance
- Dominant language
- Agda
- Stars
- 52
- Forks
- 20
- Avg merge
- 6d 14h
- Merged PRs (30d)
- 7
Description
See test `register a pool with too big metadata`
Contributor guide
Research direction
Locate the test named `register a pool with too big metadata` and run the relevant conformance tests first. Trace the StakePoolParams metadata-size constraint from that test into the formal specification. Done means the test passes with the expected constraint behavior.
Written by the indexing model from the issue text.
Assessment
- Domain
- testing-qa
- Issue type
- Bug
- Difficulty
- 3/5
- Estimated time
- 1-2 days
- Activity status
- Quiet
- Clarity
- Needs clarification
- Newbie friendliness
- 35/100