Skip to main content

constraints_are_directly_unsat

foundry_evm_symbolic::runtime::solver::opt

Function constraints_are_directly_unsat 

Source 
pub(super) fn constraints_are_directly_unsat(
    cx: &mut SymCx,
    constraints: &[SymBoolExpr],
) -> bool
Expand description

Returns whether normalized conjunctive constraints contain a direct contradiction.