input-output-hk / input-output-hk/Lean-blaster
Test cases for advances simplification rules for relational operators
Open
area: optimizer
area: tests
- Dominant language
- Lean
- Stars
- 57
- Forks
- 11
- Avg merge
- 1d 5h
- Merged PRs (30d)
- 10
Description
We need to add the necessary test cases to validate all rules mentioned in sc-fvt#230 and sc-fvt#293 for advanced simplification of relational operators.
---
**Transferred from:** input-output-hk/sc-fvt#353
Contributor guide
No contributing guide indexed for this repository
Research direction
Start by reading the rules referenced in sc-fvt#230 and sc-fvt#293, then locate the existing relational-operator simplification tests in Lean-blaster. Add coverage for every referenced rule and verify that the test suite passes; done means all rules have explicit validating test cases.
Written by the indexing model from the issue text.
Assessment
- Domain
- testing-qa
- Issue type
- Feature
- Difficulty
- 3/5
- Estimated time
- 1-2 days
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 35/100