Module state 

Structs

AccessRecord 🔒

CallFrame 🔒

CallMock 🔒

CallMockOutcome 🔒

ExpectedCall 🔒

ExpectedCreate 🔒

ExpectedEmit 🔒

ExpectedEmitChecks 🔒

ExpectedRevert 🔒

FunctionMock 🔒

PathState 🔒

StorageWrite 🔒

SymbolicBlock 🔒

SymbolicLog 🔒

SymbolicPrank 🔒

SymbolicReplayStorageSlot 🔒

SymbolicStorageHook 🔒

SymbolicWorld 🔒

SymbolicWorldState 🔒

World data shared copy-on-write by branched paths and snapshots.

Enums

AssumeNoRevert 🔒

ExpectedRevertData 🔒

Constants

MAX_BOUND_ANALYSIS_VISITS 🔒

Functions

register_expected_call 🔒

Registers an expected call using the concrete cheatcode’s keyed-additive semantics.

symbolic_storage_symbol 🔒