ci-test.yml

name: CI Test

on: [push, pull_request]

jobs:
  build:

    runs-on: ${{ matrix.os }}
    strategy:
      matrix:
        os: [ubuntu-latest]
        clingconversion: [5.2.1]
        minizincversion: [2.6.3]

    
    steps:
    - uses: actions/checkout@v2
    - uses: conda-incubator/setup-miniconda@v3
      with:
        auto-update-conda: true
        python-version: ${{ matrix.python-version }}

    - name: Conda install clingcon
      shell: bash -l {0}
      run: |
        conda install -c "potassco/label/dev" clingcon=${{matrix.clingconversion}}
    - name: Test clingcon
      shell: bash -l {0}
      run: clingcon --version

    - name: Install minizinc
      run: | 
        wget https://github.com/MiniZinc/MiniZincIDE/releases/download/${{ matrix.minizincversion }}/MiniZincIDE-${{ matrix.minizincversion}}-bundle-linux-x86_64.tgz
        tar xzf MiniZincIDE-${{ matrix.minizincversion }}-bundle-linux-x86_64.tgz
        echo "$(pwd)/MiniZincIDE-${{ matrix.minizincversion }}-bundle-linux-x86_64/bin" >> $GITHUB_PATH
    - name: Test minizinc
      run: minizinc --version

    - name: Install fzn2lp
      run: |
        wget https://github.com/potassco/fzn2lp/releases/download/v0.1.5/fzn2lp-linux-x86_64.tar.gz
        tar -xvf fzn2lp-linux-x86_64.tar.gz
        echo "$(pwd)" >> $GITHUB_PATH
    - name: Test fzn2lp
      run: fzn2lp --version

    - name: Install flatzingo
      run: ./install.sh

    - name: Install python stuff
      run: |
        sudo apt-get install -y python3-pip
        pip3 install pytest
        pip3 install --extra-index-url https://test.pypi.org/simple/ clingcon==${{ matrix.clingconversion }}.post4

    - name: Test flatzingo
      run: python3 -m pytest tests

    - name: Install minizinc testcases
      uses: actions/checkout@v2
      with:
        repository: 'MiniZinc/libminizinc'
        ref: '${{ matrix.minizincversion }}'
        path: 'libminizinc'
    - name: Install minizinc python library and requirements
      run: |
        sed -i 's/develop/0.6.0/' libminizinc/tests/requirements.txt
        pip3 install -r libminizinc/tests/requirements.txt
    - name: Prepare minizinc testcases
      run: sed -i 's/"gecode", "cbc", "chuffed"/"flatzingo"/' libminizinc/tests/minizinc_testing/spec.py
    - name: Run minizinc tests
      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" --driver=../../MiniZincIDE-${{ matrix.minizincversion }}-bundle-linux-x86_64/bin