Module campaign 

Re-exports

use super::FailureKey; 🔒

use super::InvariantFailureMetrics; 🔒

use super::InvariantFailures; 🔒

use super::InvariantFuzzError; 🔒

use super::InvariantFuzzTestResult; 🔒

use super::InvariantMetrics; 🔒

use crate::executors::EarlyExit; 🔒

use crate::executors::EvmExecutionCancellation; 🔒

use alloy_primitives::Address; 🔒

use alloy_primitives::I256; 🔒

use alloy_primitives::Selector; 🔒

use eyre::Result; 🔒

use eyre::ensure; 🔒

use foundry_evm_coverage::HitMaps; 🔒

use foundry_evm_fuzz::BasicTxDetails; 🔒

use std::collections::HashMap; 🔒

use std::collections::HashSet; 🔒

use std::sync::Arc; 🔒

use std::sync::Mutex; 🔒

use std::sync::atomic::AtomicBool; 🔒

use std::sync::atomic::AtomicU32; 🔒

use std::sync::atomic::AtomicU64; 🔒

use std::sync::atomic::Ordering; 🔒

use std::time::Duration; 🔒

use std::time::Instant; 🔒

Structs

CampaignFailureMetrics 🔒

InvariantCampaignAggregator

Merges worker outputs back into one logical invariant campaign result.

InvariantCampaignSpec

Immutable plan-level description for an invariant campaign.

InvariantCampaignState

Shared state used only to coordinate invariant worker execution.

InvariantWorkerOutput

Output produced by one invariant worker.

InvariantWorkerPlan

Static assignment of a contiguous logical run range to one worker.

Functions

ensure_outputs_cover_campaign 🔒

ensure_worker_ids_are_valid 🔒

fold_outputs 🔒

handler_error_sequence_len 🔒

merge_handler_errors 🔒

Deduplicates handler assertion failures by site, keeping the shorter reproducer. Equal-length reproducers keep the one already inserted, which is the earlier logical worker because the caller folds worker outputs in first_global_run order.

merge_metrics 🔒

Adds worker-local selector metrics into the logical campaign totals.

merge_optimization 🔒

Keeps the best optimization value, using logical run order to break ties.