Skip to main content

MAX_CONSTANT_ITE_EQ_NODES

foundry_evm_symbolic::runtime::expr::bool

Constant MAX_CONSTANT_ITE_EQ_NODES 

Source 
const MAX_CONSTANT_ITE_EQ_NODES: usize = 128;
Expand description

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.