fix test

SMTorg · Oct 17, 2024 · 29644a0 · 29644a0
1 parent f9a40bf
commit 29644a0
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/smt/applications/tests/test_mixed_integer.py b/smt/applications/tests/test_mixed_integer.py
@@ -2520,4 +2520,5 @@ def run_mixed_homo_hyp_example(self):
 
 
 if __name__ == "__main__":
+    TestMixedInteger().run_mixed_integer_context_example()
     unittest.main()