IntersectMBO / IntersectMBO/formal-ledger-specifications
Conformance failure: `MalformedReferenceScripts` and `MalformedScriptWitnesses`
Open
conformance
- Dominant language
- Agda
- Stars
- 52
- Forks
- 20
- Avg merge
- 6d 14h
- Merged PRs (30d)
- 7
Description
This issue has no description.
Contributor guide
Research direction
The issue body provides no file, test, or entry point. Start by locating the conformance checks for MalformedReferenceScripts and MalformedScriptWitnesses, then determine why those cases fail; done means both conformance failures pass.
Written by the indexing model from the issue text.
Assessment
- Domain
- testing
- Issue type
- Bug
- Difficulty
- 4/5
- Estimated time
- 3-5 days
- Activity status
- Quiet
- Clarity
- Needs clarification
- Newbie friendliness
- 25/100