Module state 

Structs

AccessRecord 🔒

CallFrame 🔒

CallMock 🔒

CallMockOutcome 🔒

ExpectedCall 🔒

ExpectedCreate 🔒

ExpectedEmit 🔒

ExpectedEmitChecks 🔒

ExpectedRevert 🔒

ExternalCallOutcome 🔒

FunctionMock 🔒

InvariantCheckOutcome 🔒

PathState 🔒

SequencePath 🔒

SequenceStepTemplate 🔒

StorageWrite 🔒

SymbolicBlock 🔒

SymbolicLog 🔒

SymbolicPrank 🔒

SymbolicWorld 🔒

SymbolicWorldSnapshot 🔒

TopLevelCallOutcome 🔒

Enums

AssumeNoRevert 🔒

ExpectedRevertData 🔒

TopLevelCallStatus 🔒

Functions

adjust_expected_call_gas_for_value 🔒

Implements the adjust_expected_call_gas_for_value symbolic state helper.

collect_eval_bool_vars 🔒

Collects the symbolic variables needed to concretely evaluate a boolean expression.

collect_eval_vars 🔒

Collects the symbolic variables needed to concretely evaluate an expression.

push_unique_slot 🔒

Applies the push_unique_slot symbolic state helper.