IntersectMBO / IntersectMBO/formal-ledger-specifications
Conformance failure: Vote delegations removed if a DRep is unregistered and reregistered within the same tx
Open
conformance
- Dominant language
- Agda
- Stars
- 52
- Forks
- 20
- Avg merge
- 6d 14h
- Merged PRs (30d)
- 7
Description
`--match="Delegate vote to a DRep that is unregistered and reregistered in the same transaction`
Contributor guide
Research direction
Start by running the conformance case matched by `Delegate vote to a DRep that is unregistered and reregistered in the same transaction`. Trace the expected delegation behavior across the unregister and reregister steps; the work is done when this matching conformance test passes without removing the vote delegation.
Written by the indexing model from the issue text.
Assessment
- Domain
- testing
- Issue type
- Bug
- Difficulty
- 3/5
- Estimated time
- 1-2 days
- Activity status
- Quiet
- Clarity
- Needs clarification
- Newbie friendliness
- 42/100