IntersectMBO / IntersectMBO/plutus
TPLC typechecking conformance tests cover the typechecker
Open
Low priority
status: triaged
tech debt
- Dominant language
- Haskell
- Stars
- 1.6k
- Forks
- 508
- Avg merge
- 3d 10h
- Merged PRs (30d)
- 22
Description
As a Plutus Core developer I want to know that the TPLC typechecker is fully covered by the conformance test suite.
Acceptance criteria
The TPLC typechecker conformance tests cover the typechecker fully (for some reasonable definition of “fully”, 100% may not be reasonable).
Contributor guide
Assessment
This issue has not been assessed yet.