Skip to content

Support abs func in PruningPredicate for static pruning #4388

@Ted-Jiang

Description

@Ted-Jiang
    I think we can support rewrite `abs(i) = 1` to `i = 1 or i = -1`🤔 further.

Originally posted by @Ted-Jiang in #4387 (comment)

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type
    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions