input-output-hk / input-output-hk/Lean-blaster
Test cases for Ite reduction and Ite/Match over Ctor propagation rules
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 comprehensive test cases to validate the ITE reduction and ITE/Match over constructor propagation rules.
See the full test case examples in the original issue.
**Note:** This issue references sc-fvt#272 for the original ITE and Match over constructor propagation rules implementation.
---
**Transferred from:** input-output-hk/sc-fvt#348
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.