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