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