Module require_mutator 

Require/Assert condition mutator.

This mutator targets security-critical validation patterns in Solidity:

• require(condition) / require(condition, "message")
• assert(condition)

Mutations generated:

• require(x) -> require(true) - Always passes (security critical!)
• require(x) -> require(false) - Always fails
• require(x) -> require(!x) - Inverted condition

These mutations are particularly valuable for security testing because:

• Access control checks (onlyOwner patterns)
• Input validation (bounds checking, address validation)
• State preconditions (reentrancy guards, paused checks)

Structs

RequireMutator

Functions

extract_span_text 🔒

Extract text from source given a span

invert_condition_text 🔒