Module incorrect_modifier 

Structs

Outcome 🔒

Summary of how control flow can leave a statement or block without having executed the placeholder (_) or reverted.

Statics

INCORRECT_MODIFIER

Functions

block_outcome 🔒

call_outcome 🔒

Classifies a statement-level call expression that terminates the current path before reaching _, if any. Covers both the Solidity revert/revert(...) builtins and the Yul halting builtins reachable when recursing into an assembly { .. } block.

is_literal_false 🔒

stmt_outcome 🔒