Module state

Structs

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

Constants

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

Type Aliases

• AIndexSet 🔒