From a7f58c470b2a16c06afe511e04cf298e9df31563 Mon Sep 17 00:00:00 2001
From: Talley Lambert <talley.lambert@gmail.com>
Date: Wed, 8 Nov 2023 20:34:38 -0500
Subject: [PATCH] change test

---
 tests/test_solvers.py | 11 ++++++++++-
 1 file changed, 10 insertions(+), 1 deletion(-)

diff --git a/tests/test_solvers.py b/tests/test_solvers.py
index fa927bc..589718c 100644
--- a/tests/test_solvers.py
+++ b/tests/test_solvers.py
@@ -214,8 +214,17 @@ def test_solve_twice(preference: ilpy.Preference) -> None:
     c0.add(2 * x1 + 3 * x2 >= 12)
     c0.add(x1 - x2 <= 5)
 
+    c1 = ilpy.Constraints()
+    c1.add(x1 + x2 <= 10)
+    c1.add(2 * x1 + 3 * x2 >= 12)
+    c1.add(x1 - x2 >= 5)
+
     # initial solve
     solver.set_constraints(c0)
-    solver.set_constraints(c0)
     solution = solver.solve()
     assert list(solution) == [7, 3] and solution.get_value() == 10
+
+    # add a constraint and check that the solution has changed
+    solver.set_constraints(c1)
+    solution = solver.solve()
+    assert list(solution) != [7, 3]