IntersectMBO / IntersectMBO/formal-ledger-specifications
Add precondition to check that `ExUnits` are not too big
Open
- Dominant language
- Agda
- Stars
- 52
- Forks
- 20
- Avg merge
- 6d 14h
- Merged PRs (30d)
- 7
Description
Check agains PParam: `maxTxExUnits`
Contributor guide
Research direction
No file or test is named. Start by locating the precondition definitions and the PParam field maxTxExUnits, then trace how ExUnits are checked against protocol parameters. Done means the specification rejects ExUnits above maxTxExUnits, with the relevant validation coverage updated.
Written by the indexing model from the issue text.
Assessment
- Domain
- backend
- Issue type
- Feature
- Difficulty
- 4/5
- Estimated time
- 3-5 days
- Activity status
- Quiet
- Clarity
- Needs clarification
- Newbie friendliness
- 45/100