IntersectMBO / IntersectMBO/cardano-ledger
Generator quality - CERT rule filtering
Open
:detective: testing
conformance
generator quality
- Dominant language
- Haskell
- Stars
- 295
- Forks
- 179
- Avg merge
- 4d 7h
- Merged PRs (30d)
- 29
Description
Investigate why conformance tests didn't notice that `CERT` rule was filtering on `KeyHashObj`.
https://github.com/IntersectMBO/formal-ledger-specifications/pull/548
Contributor guide
Research direction
Review the conformance tests and the linked formal-ledger-specifications pull request, focusing on the CERT rule and its filtering on KeyHashObj. Determine why the tests did not detect the incorrect filtering, then update the relevant test or generator coverage so this behavior is caught.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- haskell
- Domain
- testing-qa
- Issue type
- Bug
- Difficulty
- 4/5
- Estimated time
- 3-5 days
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 35/100