Searched refs:StInfeasible (Results 1 – 1 of 1) sorted by relevance
70 ProgramStateRef StInfeasible = State->cloneAsPosteriorlyOverconstrained(); in assumeDualImpl() local71 assert(StInfeasible->isPosteriorlyOverconstrained()); in assumeDualImpl()79 return ProgramStatePair(StInfeasible, StInfeasible); in assumeDualImpl()