typo

CPMpy · Mar 25, 2024 · 46c9049 · 46c9049
1 parent 193a46e
commit 46c9049
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/tests/test_solvers.py b/tests/test_solvers.py
@@ -541,6 +541,10 @@ def test_choco(self):
         ])
         m += sum(bv) == len(bv)
         s = cp.SolverLookup.get("choco", m)
+        s.solve()
+
+        print(bv.value())
+        print(iv.value())
         self.assertFalse(s.solve())
 
         m = cp.Model(~(iv[0] != iv[1]))