Searched refs:Res4 (Results 1 – 1 of 1) sorted by relevance
351 int Res4 = FunctionComparator(F2, F3, &GlobalNumbers).compare(); in doFunctionalCheck() local355 if (Res1 != 0 && Res1 == Res4) { in doFunctionalCheck()358 } else if (Res3 != 0 && Res3 == -Res4) { in doFunctionalCheck()361 } else if (Res4 != 0 && -Res3 == Res4) { in doFunctionalCheck()363 Transitive = Res4 == -Res1; in doFunctionalCheck()370 << Res4 << "\n"; in doFunctionalCheck()