Skip to main content

complete_support_bool

foundry_evm_symbolic::runtime::solver::hard_arith_fallback

Function complete_support_bool 

Source 
fn complete_support_bool(
    constraint: &SymBoolExpr,
    model: &mut HashMap<Symbol, U256>,
    inverted: bool,
    defaults_only: bool,
) -> bool