IntersectMBO / IntersectMBO/cardano-ledger
Add ExtraRedeemers tests to Babbage and Conway
- Dominant language
- Haskell
- Stars
- 295
- Forks
- 179
- Avg merge
- 4d 7h
- Merged PRs (30d)
- 29
Description
We need to add `ExtraRedeemers` tests similar to the ones in `Alonzo.Imp.UtxowSpec` to Babbage ImpTests that check this for Babbage onwards with PlutusV2, and to Conway ImpTests that check for Conway onwards with PlutusV3.
It wasn't possible to check it for `PlutusV2` and `PlutusV3` in Alonzo because the predicate failures are specific to Babbage and Conway.
_Originally posted by @lehins in https://github.com/IntersectMBO/cardano-ledger/pull/4440#discussion_r1674824835_
Contributor guide
Research direction
Start by reading the existing ExtraRedeemers tests in Alonzo.Imp.UtxowSpec, then locate the Babbage and Conway ImpTests mentioned in the issue. Compare the predicate-failure conditions for PlutusV2 and PlutusV3, and consider the work done when equivalent coverage checks the required protocol versions from Babbage and Conway onwards.
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
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 35/100