IntersectMBO / IntersectMBO/formal-ledger-specifications

Conformance failure: Vote delegations removed if a DRep is unregistered and reregistered within the same tx

Open
#1,284 0 comments 0 reactions 0 assignees View on GitHub
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

Open the contributing 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

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.