Searched refs:parseAndCompare (Results 1 – 1 of 1) sorted by relevance
77 static bool parseAndCompare(StringRef str, const IntegerPolyhedron &ex, in parseAndCompare() function89 EXPECT_TRUE(parseAndCompare( in TEST()93 EXPECT_TRUE(parseAndCompare("(x)[] : (x == 0)", in TEST()98 EXPECT_TRUE(parseAndCompare("(x)[] : (7 * x >= 0, -7 * x + 5 >= 0)", in TEST()103 EXPECT_TRUE(parseAndCompare("(x,y,z)[] : (x + y - z >= 0)", in TEST()108 EXPECT_TRUE(parseAndCompare( in TEST()113 EXPECT_TRUE(parseAndCompare("()[a] : (2 * a - 4 == 0)", in TEST()118 EXPECT_TRUE(parseAndCompare( in TEST()124 EXPECT_TRUE(parseAndCompare( in TEST()131 EXPECT_TRUE(parseAndCompare( in TEST()