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