IntersectMBO / IntersectMBO/formal-ledger-specifications
[Dijkstra] Prevent prts in collateral return
Open
conformance
era: dijkstra
- Dominant language
- Agda
- Stars
- 52
- Forks
- 20
- Avg merge
- 6d 14h
- Merged PRs (30d)
- 7
Description
Following https://github.com/IntersectMBO/cardano-ledger/issues/5454.
Once fixed re-enable the test: `"/Conformance/Dijkstra/Imp/UTXO/Collaterals/Fails to submit a transaction containing a Ptr in collateral return/"`
Contributor guide
Research direction
Start with the Dijkstra conformance test named "/Conformance/Dijkstra/Imp/UTXO/Collaterals/Fails to submit a transaction containing a Ptr in collateral return/" and read the surrounding UTXO collateral-return specification. Review the linked cardano-ledger issue 5454 for context. Done means the invalid Ptr case is prevented and the named test can be re-enabled.
Written by the indexing model from the issue text.
Assessment
- Domain
- blockchain
- Issue type
- Bug
- Difficulty
- 3/5
- Estimated time
- 1-2 days
- Activity status
- Quiet
- Clarity
- Mostly clear
- Newbie friendliness
- 55/100