IntersectMBO / IntersectMBO/cardano-ledger
Add conformance for UTXOS rule
Open
:detective: testing
conformance
ConwayEra
- Dominant language
- Haskell
- Stars
- 295
- Forks
- 179
- Avg merge
- 4d 7h
- Merged PRs (30d)
- 29
Description
We are currently not running conformance on the UTXOS rule in `Test.Cardano.Ledger.Conformance.Spec.Conway`. I vaguely remember that the problem was that deposit updates happened in different places in the implementation and the spec.
Contributor guide
Research direction
Start in Test.Cardano.Ledger.Conformance.Spec.Conway and inspect how conformance is defined for the UTXOS rule. Compare the implementation and specification paths for deposit updates, then run the relevant Conway conformance tests. Done means UTXOS conformance is enabled and passes consistently.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- haskell
- Domain
- blockchain, testing
- Issue type
- Feature
- Difficulty
- 4/5
- Estimated time
- 3-5 days
- Activity status
- Quiet
- Clarity
- Needs clarification
- Newbie friendliness
- 45/100