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)

Re-exports

use eyre::Result; 🔒

use solar::ast::CallArgsKind; 🔒

use solar::ast::Expr; 🔒

use solar::ast::ExprKind; 🔒

use solar::ast::UnOpKind; 🔒

use super::MutationContext; 🔒

use super::Mutator; 🔒

use crate::mutation::mutant::Mutant; 🔒

use crate::mutation::mutant::MutationType; 🔒

Structs

RequireMutator

Functions

extract_span_text 🔒

Extract text from source given a span

invert_condition_text 🔒