Skip to main content

Module bool

foundry_evm_symbolic::runtime::expr

Module bool 

Source

Structs§

SymBoolExpr 🔒

Enums§

SymBoolExprKind 🔒
SymCmpOp 🔒

Constants§

MAX_CONSTANT_ITE_EQ_NODES 🔒
Bounds both the number of distinct word nodes inspected by constant-ITE equality expansion and the unfolded size of the Boolean expression it could produce.
MAX_CONSTANT_ITE_EQ_UNFOLDED_NODES 🔒

Functions§

visit_unique 🔒
Returns whether any word node reachable from the pending expressions satisfies visitor.