IntersectMBO / IntersectMBO/formal-ledger-specifications
Support Plutus (phase 2) scripts in conformance testing
Open
conformance
- Dominant language
- Agda
- Stars
- 52
- Forks
- 20
- Avg merge
- 6d 14h
- Merged PRs (30d)
- 7
Description
Some conformance tests are disable because they contain Plutus scripts. These always succeed in the conformance model while in the implementation might not and lead to conformance failures unrelated to scripts.
Contributor guide
Assessment
This issue has not been assessed yet.