30   IntegerPolyhedron fac(ineqs.size(), eqs.size(), dims + syms + 1,  local
33     fac.addLocalFloorDiv(div.first, div.second);
35     fac.addEquality(eq);
37     fac.addInequality(ineq);
38   return fac;
43   FailureOr<IntegerPolyhedron> fac;  in TEST()  local
45   fac = parseIntegerSetToFAC("(x)", &context, false);  in TEST()
46   EXPECT_TRUE(failed(fac))  in TEST()
49   fac = parseIntegerSetToFAC("(x)[] : ())", &context, false);  in TEST()
50   EXPECT_TRUE(failed(fac))  in TEST()
53   fac = parseIntegerSetToFAC("(x)[] : (x - >= 0)", &context, false);  in TEST()
54   EXPECT_TRUE(failed(fac))  in TEST()
57   fac = parseIntegerSetToFAC("(x)[] : (y == 0)", &context, false);  in TEST()
58   EXPECT_TRUE(failed(fac))  in TEST()
61   fac = parseIntegerSetToFAC("(x, x) : (2 * x >= 0)", &context, false);  in TEST()
62   EXPECT_TRUE(failed(fac))  in TEST()
65   fac = parseIntegerSetToFAC("(x)[x] : (2 * x >= 0)", &context, false);  in TEST()
66   EXPECT_TRUE(failed(fac))  in TEST()
69   fac = parseIntegerSetToFAC("(x) : (2 * x + 9223372036854775808 >= 0)",  in TEST()
71   EXPECT_TRUE(failed(fac)) << "should not accept strings with integer literals "  in TEST()
79   FailureOr<IntegerPolyhedron> fac = parseIntegerSetToFAC(str, context);  in parseAndCompare()  local
81   EXPECT_TRUE(succeeded(fac));  in parseAndCompare()
83   return PresburgerSet(*fac).isEqual(PresburgerSet(ex));  in parseAndCompare()