Module assume

Source

Structs§

AcceptableRevertParameters
Parameters for a single anticipated revert, to be thrown out if encountered.
AssumeNoRevert

Functions§

assume_no_revert 🔒