Skip to main content

normalize_constraints_for_solver

foundry_evm_symbolic::runtime::solver::normalize

Function normalize_constraints_for_solver 

Source 
pub(crate) fn normalize_constraints_for_solver(
    constraints: &[BoolExpr],
) -> Vec<BoolExpr>
Expand description

Normalizes path constraints into an equivalent, solver-friendlier form.