[Mlir-commits] [mlir] [MLIR][Presburger] Fix Gaussian elimination (PR #164437)

[Arjun P]

================
@@ -301,3 +301,10 @@ TEST(BarvinokTest, computeNumTermsPolytope) {
   gf = count[0].second;
   EXPECT_EQ(gf.getNumerators().size(), 24u);
 }
+
+TEST(BarvinokTest, solveParametricEquations) {
+  FracMatrix equations = makeFracMatrix(2, 3, {{2, 3, -4}, {2, 6, -7}});
+  FracMatrix solution = *solveParametricEquations(equations);
----------------
Superty wrote:

worth ASSERT_TRUE ing that the solution exists (check that the optional has a value)

https://github.com/llvm/llvm-project/pull/164437