IntersectMBO / IntersectMBO/cardano-ledger
Create conformance test to catch "policy supplied with the wrong actions" bug
Open
:detective: testing
conformance
ConwayEra
- Dominant language
- Haskell
- Stars
- 295
- Forks
- 179
- Avg merge
- 4d 7h
- Merged PRs (30d)
- 29
Description
[PR 500](https://github.com/IntersectMBO/formal-ledger-specifications/pull/550) was merged to master fixing the bug in the formal spec described in [issue #538](https://github.com/IntersectMBO/formal-ledger-specifications/issues/538).
To run a conformance test that identifies this bug on the formal spec before the fix was merged, use [commit eb90fef](https://github.com/IntersectMBO/formal-ledger-specifications/commit/eb90fef02c7fac63b8ba44ea272d8cfb0246a8bb).
Contributor guide
Assessment
This issue has not been assessed yet.