IntersectMBO / IntersectMBO/cardano-ledger
Tests for expensive STS failure reports
Open
:credit_card: technical-debt
- Dominant language
- Haskell
- Stars
- 295
- Forks
- 179
- Avg merge
- 4d 7h
- Merged PRs (30d)
- 29
Description
It would be great to have tests that can alert us when an STS predicate failure becomes expensive.
For example, this predicate failure is unnecessarily expensive to compute.
https://github.com/input-output-hk/cardano-ledger-specs/blob/e089c22f15b854fb864b111fa8e07027abfa8544/shelley/chain-and-ledger/executable-spec/src/Shelley/Spec/Ledger/STS/Utxo.hs#L328
Contributor guide
Assessment
This issue has not been assessed yet.