Searched refs:poly5 (Results 1 – 1 of 1) sorted by relevance
561 IntegerPolyhedron poly5 = parsePoly( in TEST() local567 poly5.removeRedundantConstraints(); in TEST()568 EXPECT_EQ(poly5.getNumInequalities(), 3u); in TEST()572 EXPECT_NE(poly5.getInequality(i), ArrayRef<int64_t>(redundantConstraint)); in TEST()