Searched refs:checkSample (Results 1 – 1 of 1) sorted by relevance
| /llvm-project-15.0.7/mlir/unittests/Analysis/Presburger/ |
| H A D | IntegerPolyhedronTest.cpp | 59 static void checkSample(bool hasSample, const IntegerPolyhedron &poly, in checkSample() function
125 checkSample(hasSample, in checkPermutationsSample()
203 checkSample(true, parsePoly("(x) : (7 * x >= 0, -7 * x + 5 >= 0)")); in TEST()
213 checkSample(true, in TEST()
228 checkSample(true, in TEST()
240 checkSample(true, parsePoly("(x,y) : (y >= 0, " in TEST()
260 checkSample( in TEST()
282 checkSample( in TEST()
287 checkSample(false, in TEST()
414 checkSample(false, parsePoly("(x, y, z) : (" in TEST()
[all …]
|