expand source scc in progress #303
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: test | |
| on: | |
| push: | |
| pull_request: | |
| jobs: | |
| # First, check if the types/formatting is correct. | |
| types: | |
| # TODO: Later we can add more python versions but for now one should be enough. | |
| runs-on: ubuntu-latest | |
| timeout-minutes: 30 | |
| steps: | |
| - name: Checkout | |
| uses: actions/checkout@v3 | |
| - name: Install Python | |
| uses: actions/setup-python@v4 | |
| with: | |
| python-version: 3.11 | |
| architecture: x64 | |
| - name: Install repo dependencies | |
| run: pip install -r requirements.txt | |
| - name: Install mypy | |
| run: pip install mypy | |
| - name: Run mypy check | |
| run: mypy nfvsmotifs | |
| # Then do a "small" test run with code coverage. | |
| coverage: | |
| runs-on: ubuntu-latest | |
| timeout-minutes: 30 | |
| needs: types | |
| steps: | |
| - name: Checkout | |
| uses: actions/checkout@v3 | |
| - name: Install clingo | |
| run: sudo apt-get -y install gringo | |
| - name: Install Python | |
| uses: actions/setup-python@v4 | |
| with: | |
| python-version: 3.11 | |
| architecture: x64 | |
| - name: Fetch and install native Pint | |
| run: | | |
| wget https://github.com/pauleve/pint/releases/download//2019-05-24/pint_2019-05-24_amd64.deb | |
| sudo apt install ./pint_2019-05-24_amd64.deb | |
| - name: Fetch and install Mole | |
| run: | | |
| wget http://www.lsv.fr/~schwoon/tools/mole/mole-140428.tar.gz | |
| tar -xvf mole-140428.tar.gz | |
| (cd ./mole-140428 && make) | |
| (cd ./mole-140428 && pwd >> $GITHUB_PATH) | |
| - name: Install repo dependencies | |
| run: pip install -r requirements.txt | |
| - name: Install pytest | |
| run: pip install pytest pytest-cov | |
| - name: Run pytest with coverage | |
| run: python3 -m pytest --networksize 20 --junitxml=pytest.xml --cov-report=term-missing:skip-covered --cov=nfvsmotifs tests/ | tee pytest-coverage.txt | |
| - name: Pytest coverage comment | |
| uses: MishaKav/pytest-coverage-comment@main | |
| with: | |
| pytest-coverage-path: ./pytest-coverage.txt | |
| junitxml-path: ./pytest.xml | |
| # Then do a full test for correctness using larger networks. | |
| tests: | |
| runs-on: ubuntu-latest | |
| timeout-minutes: 60 | |
| needs: [types, coverage] | |
| steps: | |
| - name: Checkout | |
| uses: actions/checkout@v3 | |
| - name: Install clingo | |
| run: sudo apt-get -y install gringo | |
| - name: Install Python | |
| uses: actions/setup-python@v4 | |
| with: | |
| python-version: 3.11 | |
| architecture: x64 | |
| - name: Fetch and install native Pint | |
| run: | | |
| wget https://github.com/pauleve/pint/releases/download//2019-05-24/pint_2019-05-24_amd64.deb | |
| sudo apt install ./pint_2019-05-24_amd64.deb | |
| - name: Fetch and install Mole | |
| run: | | |
| wget http://www.lsv.fr/~schwoon/tools/mole/mole-140428.tar.gz | |
| tar -xvf mole-140428.tar.gz | |
| (cd ./mole-140428 && make) | |
| (cd ./mole-140428 && pwd >> $GITHUB_PATH) | |
| - name: Install repo dependencies | |
| run: pip install -r requirements.txt | |
| - name: Install pytest | |
| run: pip install pytest | |
| - name: Run pytest (without coverage) | |
| run: python3 -m pytest --networksize 50 tests/ |