Create LICENSE #99
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
| # This workflow will install Python dependencies, run tests and lint with a single version of Python | |
| # For more information see: https://help.github.com/actions/language-and-framework-guides/using-python-with-github-actions | |
| name: Regression tests | |
| on: | |
| push: | |
| branches: [ master ] | |
| pull_request: | |
| jobs: | |
| build: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@v2 | |
| - name: Set up Python 3.8 | |
| uses: actions/setup-python@v2 | |
| with: | |
| python-version: 3.8 | |
| - name: Install dependencies | |
| run: | | |
| sudo apt update -y | |
| sudo apt install -y build-essential swig libgmp-dev cmake | |
| python -m pip install --upgrade pip | |
| pip install flake8 nose pysmt sympy ply wolframclient six picos scipy control | |
| if [ -f requirements.txt ]; then pip install -r requirements.txt; fi | |
| pysmt-install --confirm-agreement --z3 --bdd | |
| - name: install ic3ia | |
| run: | | |
| cd | |
| wget https://mathsat.fbk.eu/release/mathsat-5.6.10-linux-x86_64.tar.gz | |
| tar xf mathsat-5.6.10-linux-x86_64.tar.gz | |
| wget https://es-static.fbk.eu/people/griggio/ic3ia/ic3ia-23.05.tar.gz | |
| tar xf ic3ia-23.05.tar.gz | |
| cd ic3ia-23.05 | |
| mkdir build | |
| cd build | |
| cmake -DMATHSAT_DIR=../../mathsat-5.6.10-linux-x86_64 -DCMAKE_BUILD_TYPE=Release ../ | |
| make | |
| cd | |
| export PATH=$PATH:~/ic3ia-23.05 | |
| # - name: Lint with flake8 | |
| # run: | | |
| # # stop the build if there are Python syntax errors or undefined names | |
| # flake8 . --count --select=E9,F63,F7,F82 --show-source --statistics | |
| # # exit-zero treats all errors as warnings. The GitHub editor is 127 chars wide | |
| # flake8 . --count --exit-zero --max-complexity=10 --max-line-length=127 --statistics | |
| - name: Test sabbath | |
| run: | | |
| nosetests -v --eval-attr='(not msatic3) and (not mathematica) and (not sos) and (not long)' | |
| - name: Test utils | |
| run: nosetests -v --eval-attr='(not msatic3) and (not mathematica) and (not sos) and (not long)' ./utils/reformulate_PI_controller |