Searched refs:testComputeRepr (Results 1 – 1 of 1) sorted by relevance
828 void testComputeRepr(IntegerPolyhedron poly, const PresburgerSet &expected, in testComputeRepr() function854 testComputeRepr(parseIntegerPolyhedron("(x, e, f) : (x - 15*e - 21*f == 0)"), in TEST()