Skip to main content

expr_eq_condition

foundry_evm_symbolic::executor::calls

Function expr_eq_condition 

Source 
fn expr_eq_condition(
    cx: &mut SymCx,
    expr: &SymExpr,
    value: usize,
) -> SymBoolExpr