Crate foundry_evm_fuzz

foundry-evm-fuzz

EVM fuzzing implementation using [proptest].

Modules

error 🔒

Errors related to fuzz tests.

inspector 🔒

invariant

strategies

Structs

BaseCounterExample

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.

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.

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.