Module executors

Expand description

EVM executor abstractions, which can execute calls.

Used for running tests, scripts, and interacting with the inner backend which holds the state.

Modules§

CallResult: The result of a call.
CorpusDirEntry: A single corpus file on disk.
DeployResult: The result of a deployment.
DynamicTargetCtx: Refs used during corpus replay to register contracts deployed mid-sequence as fuzz targets, mirroring the campaign loop so follow-up calls into them aren’t dropped by can_replay_tx.
EarlyExit: Helper struct to enable early exit behavior: when one test fails or run is interrupted, all other tests stop early.
ExecutionErr: Represents the context after an execution error occurred.
Executor: EVM executor.
ExecutorBuilder: The builder that allows to configure an evm Executor which a stack of optional revm::Inspectors, such as Cheatcodes.
FuzzTestTimer: Timer for a fuzz test.
FuzzedExecutor: Wrapper around an Executor which provides fuzzing support using [proptest].
InvariantExecutor: Wrapper around any Executor implementer which provides fuzzing support using [proptest].
InvariantReplayOptions: Invariant replay settings that affect when terminal checks run.
MinimizationReplayInput
RawCallResult: The result of a raw call.
ReplayObservation: Facts observed while replaying one candidate for corpus minimization.
ShowmapOpts: Per-replay options.
ShowmapReplayTarget: Test target metadata needed to replay corpus entries.
ShowmapStats: Stats returned from a single trial replay.
StatelessReplayTarget
TracingExecutor: A default executor with tracing enabled

EvmError
ReplayFailure: A structured identity for a failure observed during corpus replay.
ShowmapDomain: Which coverage bitmap(s) to dump.

canonical_replay_dirs: Returns every worker*/corpus/ under root, or [root] if none exist.
parse_corpus_filename: Parses a corpus filename of the form <uuid>-<timestamp>.json[.gz].
persist_corpus_seed: Persists one call sequence as a corpus seed in the canonical worker0 corpus directory.
read_corpus_dir: Iterate corpus files in path, ignoring entries with unparsable names.
read_corpus_tree: Reads corpus files from a file, corpus directory, worker corpus directory, or generated corpus root such as <root>/<contract>/<test>/worker0/corpus.
replay_corpus_to_showmap: Replay every corpus entry under corpus_dir and emit showmap files.
replay_sequence_for_minimization: Replays one candidate input and returns coverage/failure facts for minimizers.