Module assume 

Structs

AcceptableRevertParameters

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

AssumeNoRevert

Functions

assume_no_revert 🔒