Skip to main content

bitwise_bool_word_fact

foundry_evm_symbolic::runtime::solver::normalize

Function bitwise_bool_word_fact 

Source 
fn bitwise_bool_word_fact(
    cx: &mut SymCx,
    constraint: &SymBoolExpr,
) -> Option<SymBoolExpr>