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