Home | History | Annotate | Download | only in Core

Lines Matching defs:Constraint

906       // propagate that constraint.
908         DefinedOrUnknownSVal Constraint =
911         if (!state->assume(Constraint, true)) {
913           // Propagate this constraint.
914           Constraint = svalBuilder.evalEQ(state, SymVal,
918           state = state->assume(Constraint, false);