Skip to content

feat(fuzz): impl constant folding for typical expressions #12044

@0xrusowsky

Description

@0xrusowsky

Component

Forge

Describe the feature you would like

as pointed in #12015 (comment), the set of dictionary seeds should be expanded beyond individual literals, and should incorporate folding of typical expressions.

this is feasible to implement by enhancing the LiteralsCollector visitor

ref: crytic/echidna#636

Additional context

No response

Metadata

Metadata

Assignees

Labels

Projects

Status

Blocked

Milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions