Searched refs:expectIntegerLexMin (Results 1 – 1 of 1) sorted by relevance
1138 void expectIntegerLexMin(const IntegerPolyhedron &poly, ArrayRef<int64_t> min) { in expectIntegerLexMin() function1151 expectIntegerLexMin(parsePoly("(x, y, z) : (2*x + 13 >= 0, 4*y - 3*x - 2 >= " in TEST()