IntersectMBO / IntersectMBO/formal-ledger-specifications
Conformance failure in NEWEPOCH when updating cost models
Open
conformance
era: conway
- Dominant language
- Agda
- Stars
- 52
- Forks
- 20
- Avg merge
- 6d 14h
- Merged PRs (30d)
- 7
Description
The following tests fail due to a mismatch in NEWEPOCH:
- `Conformance/Imp/UTXOS/PlutusV3 Initialization/Updating CostModels with alwaysFails govPolicy does not validate`
- `Conformance/Imp/UTXOS/PlutusV3 Initialization/Updating CostModels and setting the govPolicy afterwards succeeds`
Contributor guide
Assessment
This issue has not been assessed yet.