Searched refs:TruePrev (Results 1 – 1 of 1) sorted by relevance
181 bool TruePrev = PrevEnv.proves(PrevBool.formula()); in widenDistinctValues() local183 if (TruePrev && TrueCur) in widenDistinctValues()185 if (!TruePrev && !TrueCur && in widenDistinctValues()