fix

2025-06-12 11:18:26 +02:00
parent 105835ab95
commit 6e24da8ea4
1 changed files with 1 additions and 1 deletions
--- a/ortools/sat/python/cp_model_test.py
+++ b/ortools/sat/python/cp_model_test.py
@@ -252,7 +252,7 @@ class CpModelTest(absltest.TestCase):
        y = model.NewIntVar(0, 2, "y")
        z = model.NewIntVar(0, 3, "z")
        expr = x - y - 2 * z
-        self.assertEqual(str(expr), "(-(2 * z) + (x - y))")
+        self.assertEqual(str(expr), '(x + (-y) + (-(2 * z)))')

    def test_equality_overload(self) -> None:
        model = cp_model.CpModel()