Skip to main content

normalize_bool_node_for_solver

foundry_evm_symbolic::runtime::solver::opt

Function normalize_bool_node_for_solver 

Source 
fn normalize_bool_node_for_solver(
    cx: &mut SymCx,
    expr: SymBoolExpr,
) -> SymBoolExpr