Crate foundry_evm_fuzz 

foundry-evm-fuzz

EVM fuzzing implementation using [proptest].

Re-exports

pub(crate) use alloy_primitives::Address; 🔒

pub(crate) use alloy_primitives::Bytes; 🔒

pub(crate) use alloy_primitives::Log; 🔒

pub(crate) use alloy_primitives::U256; 🔒

pub(crate) use alloy_primitives::map::HashMap; 🔒

pub use strategies::LiteralMaps;

pub(crate) use DynSolValue; 🔒

pub(crate) use JsonAbiExt; 🔒

pub(crate) use Address; 🔒

pub(crate) use Bytes; 🔒

pub(crate) use Log; 🔒

pub(crate) use U256; 🔒

pub(crate) use HashMap; 🔒

pub(crate) use calc; 🔒

pub(crate) use contracts::ContractsByAddress; 🔒

pub(crate) use foundry_evm_core::Breakpoints; 🔒

pub(crate) use foundry_evm_coverage::HitMaps; 🔒

pub(crate) use CallTraceArena; 🔒

pub(crate) use SparsedTraceArena; 🔒

pub(crate) use itertools::Itertools; 🔒

pub(crate) use Deserialize; 🔒

pub(crate) use Deserialize; 🔒

pub(crate) use Serialize; 🔒

pub(crate) use Serialize; 🔒

pub(crate) use fmt; 🔒

pub(crate) use sync::Arc; 🔒

Modules

error 🔒

Errors related to fuzz tests.

inspector 🔒

invariant

sequence

Pure transaction-sequence generation and mutation primitives.

strategies

Structs

BaseCounterExample

BasicTxDetails

Details of a transaction generated by fuzz strategy for fuzzing a target.

CallDetails

Call details of a transaction generated to fuzz.

FuzzCase

Data of a single fuzz test case

FuzzConfig

Configuration for how a proptest test should be run.

FuzzFixtures

Fixtures to be used for fuzz tests.

FuzzRunMetadata

Metadata needed to reproduce a fuzz run.

FuzzTestResult

The outcome of a fuzz test

FuzzedCases

Container type for all successful test cases

Fuzzer

An inspector that can fuzz and collect data for that effect.

ObservedCall

A sub-call observed by the Fuzzer inspector.

Reason

The reason for why something, such as a generated value, was rejected.

Enums

CounterExample

FuzzError

Possible errors when running fuzz tests

Functions

fixture_name

Extracts fixture name from a function name. For example: fixtures defined in fixture_Owner function will be applied for owner parameter.

normalize_fixture 🔒

Normalize fixture parameter name, for example _Owner to owner.