Add CI testing for a older version of MiniZinc

Author: Dekker1

.github/workflows/python-package.yml

@@ -12,7 +12,7 @@ jobs:
     strategy:
       matrix:
         python-version: ["3.7", "3.10", "pypy3.7"]
-        minizinc-version: ["2.7.0"]
+        minizinc-version: ["2.7.0", "2.5.4"]
 
     env:
       MINIZINC_URL: https://github.com/MiniZinc/MiniZincIDE/releases/download/${{ matrix.minizinc-version }}/MiniZincIDE-${{ matrix.minizinc-version }}-x86_64.AppImage

tests/test_solving.py

@@ -128,7 +128,7 @@ def test_empty(self):
 
 
 class FromAsync(InstanceTestCase):
-    code = """int: x ::output = 5;"""
+    code = """int: x ::add_to_output = 5;"""
 
     def test_async_error(self):
         async def bad_run():

tests/test_types.py

@@ -6,7 +6,7 @@
 import pytest
 from support import InstanceTestCase
 
-from minizinc import Instance
+from minizinc import Instance, default_driver
 from minizinc.result import Status
 from minizinc.types import AnonEnum, ConstrEnum
 
@@ -105,6 +105,10 @@ def test_intenum_collections(self):
         # TODO: assert result["arr_t"] == [TT(3), TT(2), TT(1)]
         assert result["set_t"] == {TT(1), TT(2)}
 
+    @pytest.mark.skipif(
+        default_driver is None or default_driver.parsed_version < (2, 6, 0),
+        reason="requires MiniZinc 2.6 or higher",
+    )
     def test_constructor_enum(self):
         self.instance = Instance(self.solver)
         self.instance.add_string(
@@ -121,6 +125,10 @@ def test_constructor_enum(self):
         assert result["x"] == ConstrEnum("X", 2)
         assert str(result["x"]) == "X(2)"
 
+    @pytest.mark.skipif(
+        default_driver is None or default_driver.parsed_version < (2, 6, 0),
+        reason="requires MiniZinc 2.6 or higher",
+    )
     def test_anon_enum(self):
         self.instance = Instance(self.solver)
         self.instance.add_string(
@@ -183,6 +191,10 @@ def test_string(self):
 
 
 class TestTuple(InstanceTestCase):
+    @pytest.mark.skipif(
+        default_driver is None or default_driver.parsed_version < (2, 7, 0),
+        reason="requires MiniZinc 2.7 or higher",
+    )
     def test_simple_tuple(self):
         self.instance.add_string(
             """
@@ -199,6 +211,10 @@ def test_simple_tuple(self):
         assert isinstance(tup[2], float)
         assert 1.0 <= tup[2] and tup[2] <= 3.0
 
+    @pytest.mark.skipif(
+        default_driver is None or default_driver.parsed_version < (2, 7, 0),
+        reason="requires MiniZinc 2.7 or higher",
+    )
     def test_rec_tuple(self):
         self.instance.add_string(
             """
@@ -221,7 +237,12 @@ def test_rec_tuple(self):
 
 
 class TestRecord(InstanceTestCase):
+    @pytest.mark.skipif(
+        default_driver is None or default_driver.parsed_version < (2, 7, 0),
+        reason="requires MiniZinc 2.7 or higher",
+    )
     def test_simple_record(self):
+        pytest.skip
         self.instance.add_string(
             """
         var record(1..3: a, bool: b, 1.0..3.0: c): x;
@@ -237,6 +258,10 @@ def test_simple_record(self):
         assert isinstance(rec["c"], float)
         assert 1.0 <= rec["c"] and rec["c"] <= 3.0
 
+    @pytest.mark.skipif(
+        default_driver is None or default_driver.parsed_version < (2, 7, 0),
+        reason="requires MiniZinc 2.7 or higher",
+    )
     def test_rec_record(self):
         self.instance.add_string(
             """
@@ -345,12 +370,20 @@ def test_npint64(self):
 
 
 class TestAnn(InstanceTestCase):
+    @pytest.mark.skipif(
+        default_driver is None or default_driver.parsed_version < (2, 6, 0),
+        reason="requires MiniZinc 2.6 or higher",
+    )
     def test_ann_atom(self):
         self.instance.add_string("ann: x :: add_to_output = promise_total;")
         result = self.instance.solve()
         assert result.status is Status.SATISFIED
         assert result["x"] == "promise_total"
 
+    @pytest.mark.skipif(
+        default_driver is None or default_driver.parsed_version < (2, 6, 0),
+        reason="requires MiniZinc 2.6 or higher",
+    )
     def test_ann_call(self):
         self.instance.add_string('ann: x :: add_to_output = expression_name("test");')
         result = self.instance.solve()