Skip to main content

bool_expr_binds_single_var

foundry_evm_symbolic::runtime::solver::hard_arith_fallback

Function bool_expr_binds_single_var 

Source 
fn bool_expr_binds_single_var(
    expr: &SymBoolExpr,
    bound_var: Symbol,
    inverted: bool,
) -> bool