Module state 

Structs

EvmFuzzState

Immutable fuzz dictionary seed used by parallel stateless fuzz workers.

FuzzDictionary

FuzzState

Worker-local fuzz state.

Enums

FuzzStateInner 🔒

Constants

MAX_PERSISTENT_VALUES 🔒

Maximum number of persistent values from sancov trace-cmp.

MAX_SLOT_INFO_CACHE_ENTRIES 🔒

Maximum cached storage slot layout lookups per fuzz dictionary.

PUSH_BYTE_ANALYSIS_LIMIT 🔒

The maximum number of bytes we will look at in bytecodes to find push bytes (24 KiB).

Traits

DictionaryRead 🔒