Searched refs:expectedNumPoly (Results 1 – 1 of 1) sorted by relevance
554 void expectCoalesce(size_t expectedNumPoly, const PresburgerSet &set) { in expectCoalesce() argument557 EXPECT_TRUE(expectedNumPoly == newSet.getNumDisjuncts()); in expectCoalesce()