Skip to content

Add invariant testing filter for excludeSelectors() #4352

@horsefacts

Description

@horsefacts

Component

Forge

Describe the feature you would like

Most of the invariant test filter helpers have both target and exclude variants to include or filter contracts/senders/selectors from fuzzing. But there's no corresponding excludeSelectors for targetSelectors.

It's probably a safer practice to start by excluding selectors from invariant test handler contracts to avoid forgetting a function or two for large handlers, so it would be useful to have support for excludeSelectors.

Metadata

Metadata

Assignees

No one assigned

    Labels

    Type

    No type

    Projects

    Status

    Completed

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions