Home | History | Annotate | Download | only in Core

Lines Matching defs:Constraint

876 constraint.
878         DefinedOrUnknownSVal Constraint =
881         if (!state->assume(Constraint, true)) {
883           // Propagate this constraint.
884           Constraint = svalBuilder.evalEQ(state, SymVal,
888           state = state->assume(Constraint, false);