Searched refs:Res4 (Results 1 – 1 of 1) sorted by relevance
372 int Res4 = FunctionComparator(F2, F3, &GlobalNumbers).compare(); in doFunctionalCheck() local376 if (Res1 != 0 && Res1 == Res4) { in doFunctionalCheck()379 } else if (Res3 != 0 && Res3 == -Res4) { in doFunctionalCheck()382 } else if (Res4 != 0 && -Res3 == Res4) { in doFunctionalCheck()384 Transitive = Res4 == -Res1; in doFunctionalCheck()391 << Res4 << "\n"; in doFunctionalCheck()