Skip to content

Enhancement: Add RCN Mutator (require(...) Condition Negation) #2997

@sidarth16

Description

@sidarth16

Add RCN Mutator for require(...) Condition Negation

Why

We already have operator-level mutators (ROR, LOR, etc.), but we don’t have a mutator that flips the full require guard condition itself.

That mutation is useful for catching weak negative-path tests around validation and auth checks.

What

Add mutator RCN that negates the first require condition argument:

  • require(x > 0 && x < 10) -> require(!(x > 0 && x < 10))
  • require(msg.sender == owner, "not owner") -> require(!(msg.sender == owner), "not owner")

Follow-up

I already have a fix in progress for RCN (require(...) condition negation), and I will open that as a separate PR soon, so this scope stays clean.

Metadata

Metadata

Assignees

No one assigned

    Labels

    enhancementNew feature or request

    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