Searched refs:ToTrack (Results 1 – 1 of 1) sorted by relevance
1504 ProgramStateRef track(ProgramStateRef State, EqualityInfo ToTrack) { in track() argument1505 if (ToTrack.IsEquality) { in track()1506 return trackEquality(State, ToTrack.Left, ToTrack.Right); in track()1508 return trackDisequality(State, ToTrack.Left, ToTrack.Right); in track()