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