Module state 

Structs

EvmFuzzState

A set of arbitrary 32 byte data from the VM used to generate values for the strategy.

FuzzDictionary

Constants

MAX_PERSISTENT_VALUES 🔒

Maximum number of persistent values from sancov trace-cmp.

PUSH_BYTE_ANALYSIS_LIMIT 🔒

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