IntersectMBO / IntersectMBO/formal-ledger-specifications
Conformance failure: Min-utxo value with output too large
Open
conformance
- Dominant language
- Agda
- Stars
- 52
- Forks
- 20
- Avg merge
- 5d 21h
- Merged PRs (30d)
- 8
Description
- `--match "/Conformance/Conway/Imp/UTXO/Min-utxo value with output too large/"`
Contributor guide
Research direction
Run the provided --match selector for "/Conformance/Conway/Imp/UTXO/Min-utxo value with output too large/" and inspect the resulting conformance failure. Trace the failure in the formal specification to determine the expected behavior. Done means this conformance case passes without weakening the specification.
Written by the indexing model from the issue text.
Assessment
- Domain
- testing-qa
- Issue type
- Bug
- Difficulty
- 4/5
- Estimated time
- 3-5 days
- Activity status
- Quiet
- Clarity
- Needs clarification
- Newbie friendliness
- 35/100