Structsยง
- Access
Record ๐ - Call
Frame ๐ - Call
Mock ๐ - Call
Mock ๐Outcome - Expected
Call ๐ - Expected
Create ๐ - Expected
Emit ๐ - Expected
Emit ๐Checks - Expected
Revert ๐ - External
Call ๐Outcome - Function
Mock ๐ - Invariant
Check ๐Outcome - Path
State ๐ - Sequence
Path ๐ - Sequence
Step ๐Template - Storage
Write ๐ - Symbolic
Block ๐ - Symbolic
Log ๐ - Symbolic
Prank ๐ - Symbolic
Replay ๐Storage Slot - Symbolic
World ๐ - Symbolic
World ๐Snapshot - TopLevel
Call ๐Outcome
Enumsยง
- Assume
NoRevert ๐ - Expected
Revert ๐Data - TopLevel
Call ๐Status