Searched defs:SimplexTest (Results 1 – 1 of 1) sorted by relevance
| /llvm-project-15.0.7/mlir/unittests/Analysis/Presburger/ |
| H A D | SimplexTest.cpp | 25 TEST(SimplexTest, emptyRollback) { in TEST() argument
50 TEST(SimplexTest, addEquality_separate) { in TEST() argument
67 TEST(SimplexTest, addInequality_rollback) { in TEST() argument
109 TEST(SimplexTest, isUnbounded) { in TEST() argument
344 TEST(SimplexTest, isMarkedRedundant) { in TEST() argument
425 TEST(SimplexTest, appendVariable) { in TEST() argument
467 TEST(SimplexTest, ineqType) { in TEST() argument
489 TEST(SimplexTest, isRedundantEquality) { in TEST() argument
505 TEST(SimplexTest, IsRationalSubsetOf) { in TEST() argument
542 TEST(SimplexTest, addDivisionVariable) { in TEST() argument
[all …]
|