diff options
author | makaimann <makaim@stanford.edu> | 2020-06-10 12:00:13 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-06-10 12:00:13 -0700 |
commit | 05c099890ae908e495ceaf26509b87896fd0ad54 (patch) | |
tree | 77db134375b258b1e00522b54d8a780e1369c1ae /.github | |
parent | 2a518941922855626c015a73572a5a9a5a2d0ed7 (diff) |
Fix getKind for Python bindings (#4496)
I noticed recently that getKind for Op and Term was not correct in the python bindings. This PR would add maps to keep track of the Kind objects and the Python names (which are different from the C++ Kind names). Then a Python `kind` only needs the integer representation of a `Kind` to be constructed. Now, in `getKind` it can just pass the integer representation when constructing a `kind`.
Diffstat (limited to '.github')
-rw-r--r-- | .github/workflows/ci.yml | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 810f4b925..35154828f 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -82,6 +82,12 @@ jobs: python3 -m pip install \ Cython==0.29 --install-option="--no-cython-compile" + - name: Install Pytest + if: matrix.python-bindings + run: | + python3 -m pip install pytest + python3 -m pytest --version + - name: Restore Dependencies id: restore-deps uses: actions/cache@v1 @@ -160,6 +166,12 @@ jobs: export PYTHONPATH="$PYTHONPATH:$(dirname $(find build/install/ -name "pycvc4" -type d))" python3 -c "import pycvc4" + - name: Run Pytest + if: matrix.python-bindings + run: | + export PYTHONPATH="$PYTHONPATH:$(dirname $(find build/install/ -name "pycvc4" -type d))" + python3 -m pytest ./test/unit/api/python + # Examples are built for non-symfpu builds - name: Check Examples if: matrix.check-examples && runner.os == 'Linux' |