Skip to main content
collect_bool_constants
foundry_
evm_
symbolic
1.7.2
In foundry_
evm_
symbolic::
runtime::
solver::
hard_
arith_
fallback
foundry_evm_symbolic
::
runtime
::
solver
::
hard_arith_fallback
Function
collect_
bool_
constants
Copy item path
Source
fn collect_bool_constants(expr: &
SymBoolExpr
, constants: &mut HashSet<U256>)