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