Skip to content

Test cases for DIte factorization rules #87

New issue
New issue
Open
Open
Test cases for DIte factorization rules#87
Labels
area: optimizerExpression optimizationarea: testsTesting infrastructure
@RSoulatIOHK

Description

@RSoulatIOHK
RSoulatIOHK
opened on Jan 23, 2026

We need to add all the necessary test cases to validate the rules mentioned in sc-fvt#310 for DITE factorization.

Transferred from: input-output-hk/sc-fvt#358

Metadata

Metadata

Assignees

No one assigned

    Labels

    area: optimizerExpression optimizationarea: testsTesting infrastructure

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions