IntersectMBO / IntersectMBO/cardano-ledger
Test that deposits/refunds from certificates for Dijkstra
- Dominant language
- Haskell
- Stars
- 295
- Forks
- 179
- Avg merge
- 4d 7h
- Merged PRs (30d)
- 29
Description
In order to ensure correct `consumed == produces` property in presence of Nested Transactions we cannot rely on the update of the state in order to properly calculate refunds that span from DRep and Account unregistration.
Thankfully we do not need to duplicate the logic of the state update for the purpose of `consumed == produced` computation and we can rely on the values included in the certificates themselves, since they will be validated by their individual rules.
We need to test that indeed correct refunds and deposits are being collected at both level, sub-transaction and top-level
Contributor guide
Research direction
No file or test path is named. Start by locating existing tests for nested transactions and the consumed == produces property, then trace how DRep and account unregistration certificates contribute deposits and refunds at sub-transaction and top-level scope. Done means tests cover both levels and verify the property without relying on state updates.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- haskell
- Domain
- blockchain, testing
- Issue type
- Bug
- Difficulty
- 4/5
- Estimated time
- 3-5 days
- Activity status
- Quiet
- Clarity
- Mostly clear
- Newbie friendliness
- 45/100