Searched refs:expectEmpty (Results 1 – 1 of 1) sorted by relevance
438 void expectEmpty(const PresburgerSet &s) { EXPECT_TRUE(s.isIntegerEmpty()); } in expectEmpty() function454 expectEmpty(PresburgerSet(evens).intersect(PresburgerSet(odds))); in TEST()498 expectEmpty(PresburgerSet(evens).intersect(PresburgerSet(odds))); in TEST()