Module modifier_outcome 

Control-flow summary of modifier bodies with respect to the _ placeholder.

Structs

Outcome

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

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.

stmt_outcome 🔒