Searched refs:checkCoeffs (Results 1 – 1 of 1) sorted by relevance
| /external/llvm-project/mlir/unittests/Analysis/Presburger/ |
| D | SimplexTest.cpp | 59 SmallVector<int64_t, 4> checkCoeffs[]{{0, 1, -1, -1}, // v - w >= 1. in TEST() local
65 expectInequalityMakesSetEmpty(simplex, checkCoeffs[0], false); in TEST()
66 expectInequalityMakesSetEmpty(simplex, checkCoeffs[1], false); in TEST()
71 expectInequalityMakesSetEmpty(simplex, checkCoeffs[0], true); in TEST()
72 expectInequalityMakesSetEmpty(simplex, checkCoeffs[1], true); in TEST()
77 expectInequalityMakesSetEmpty(simplex, checkCoeffs[0], false); in TEST()
78 expectInequalityMakesSetEmpty(simplex, checkCoeffs[1], false); in TEST()
|