IntersectMBO / IntersectMBO/formal-ledger-specifications
Investigate the lack of conformance failure after Version restriction
Open
conformance
era: conway
- Dominant language
- Agda
- Stars
- 52
- Forks
- 20
- Avg merge
- 6d 14h
- Merged PRs (30d)
- 7
Description
PR [Version restriction](https://github.com/IntersectMBO/cardano-ledger/pull/5595) introduced a semantic change to chained hf proposals and a test. The test did not fail in conformance and it should have.
Contributor guide
Assessment
This issue has not been assessed yet.