Lines Matching full:disproven
2053 bool disproven;
2055 disproven = strongSIVtest(SrcCoeff, SrcConst, DstConst, CurLoop,
2058 disproven = weakCrossingSIVtest(SrcCoeff, SrcConst, DstConst, CurLoop,
2061 disproven = exactSIVtest(SrcCoeff, DstCoeff, SrcConst, DstConst, CurLoop,
2063 return disproven ||
