Searched refs:expectInequalityMakesSetEmpty (Results 1 – 1 of 1) sorted by relevance
| /llvm-project-15.0.7/mlir/unittests/Analysis/Presburger/ |
| H A D | SimplexTest.cpp | 58 void expectInequalityMakesSetEmpty(Simplex &simplex, ArrayRef<int64_t> coeffs, in expectInequalityMakesSetEmpty() function
81 expectInequalityMakesSetEmpty(simplex, checkCoeffs[0], false); in TEST()
82 expectInequalityMakesSetEmpty(simplex, checkCoeffs[1], false); in TEST()
87 expectInequalityMakesSetEmpty(simplex, checkCoeffs[0], true); in TEST()
88 expectInequalityMakesSetEmpty(simplex, checkCoeffs[1], true); in TEST()
93 expectInequalityMakesSetEmpty(simplex, checkCoeffs[0], false); in TEST()
94 expectInequalityMakesSetEmpty(simplex, checkCoeffs[1], false); in TEST()
|