Skip to main content

collect_bool_constants

foundry_evm_symbolic::runtime::solver::fallback

Function collect_bool_constants 

Source 
fn collect_bool_constants(expr: &SymBoolExpr, constants: &mut HashSet<U256>)