Update tests

.github/workflows/ci-test.yml

@@ -10,11 +10,11 @@ jobs:
       matrix:
         os: [ubuntu-latest]
         clingconversion: [5.2.1]
-        minizincversion: [2.8.3]
+        minizincversion: [2.8.7]
 
 
     steps:
-    - uses: actions/checkout@v2
+    - uses: actions/checkout@v4
     - uses: conda-incubator/setup-miniconda@v3
       with:
         auto-update-conda: true
@@ -38,7 +38,7 @@ jobs:
 
     - name: Install fzn2lp
       run: |
-        wget https://github.com/potassco/fzn2lp/releases/download/v0.1.5/fzn2lp-linux-x86_64.tar.gz
+        wget https://github.com/potassco/fzn2lp/releases/download/v0.1.6/fzn2lp-linux-x86_64.tar.gz
         tar -xvf fzn2lp-linux-x86_64.tar.gz
         echo "$(pwd)" >> $GITHUB_PATH
     - name: Test fzn2lp
@@ -57,7 +57,7 @@ jobs:
       run: python3 -m pytest tests
 
     - name: Install minizinc testcases
-      uses: actions/checkout@v2
+      uses: actions/checkout@v4
       with:
         repository: 'MiniZinc/libminizinc'
         ref: '${{ matrix.minizincversion }}'
@@ -71,5 +71,5 @@ jobs:
       shell: bash -l {0}
       run: |
         cd libminizinc/tests
-        pytest -k "not test_output_checker and not test_var_set_element and not bug269 and not bug347 and not test-search1 and not test_vis_ann and not test_vis_custom" --driver=../../MiniZincIDE-${{ matrix.minizincversion }}-bundle-linux-x86_64/bin
+        pytest -k "not test_output_checker and not test_vis_ann and not test_vis_custom and not test_array_dzn_output and not test_json_section and not test_run_fzn" --driver=../../MiniZincIDE-${{ matrix.minizincversion }}-bundle-linux-x86_64/bin
 

Dockerfile_Flatzingo

@@ -27,7 +27,7 @@ RUN curl https://sh.rustup.rs | bash -s -- -y
 ENV PATH="/root/.cargo/bin:${PATH}"
 RUN git clone https://github.com/potassco/fzn2lp.git && \
     cd fzn2lp && \
-    git checkout v0.1.5 && \
+    git checkout v0.1.6 && \
     cargo build --release && \
     mkdir -p /install/bin && \
     cp target/release/fzn2lp /install/bin/