Skip to main content

Module state

Module state 

Source

Structsยง

AccessRecord ๐Ÿ”’
CallFrame ๐Ÿ”’
CallMock ๐Ÿ”’
CallMockOutcome ๐Ÿ”’
ExpectedCall ๐Ÿ”’
ExpectedCreate ๐Ÿ”’
ExpectedEmit ๐Ÿ”’
ExpectedEmitChecks ๐Ÿ”’
ExpectedRevert ๐Ÿ”’
ExternalCallOutcome ๐Ÿ”’
FunctionMock ๐Ÿ”’
InvariantCheckOutcome ๐Ÿ”’
PathState ๐Ÿ”’
SequencePath ๐Ÿ”’
SequenceStepTemplate ๐Ÿ”’
StorageWrite ๐Ÿ”’
SymbolicBlock ๐Ÿ”’
SymbolicLog ๐Ÿ”’
SymbolicPrank ๐Ÿ”’
SymbolicReplayStorageSlot ๐Ÿ”’
SymbolicWorld ๐Ÿ”’
SymbolicWorldSnapshot ๐Ÿ”’
TopLevelCallOutcome ๐Ÿ”’

Enumsยง

AssumeNoRevert ๐Ÿ”’
ExpectedRevertData ๐Ÿ”’
TopLevelCallStatus ๐Ÿ”’

Functionsยง

symbolic_storage_symbol ๐Ÿ”’