From 05c099890ae908e495ceaf26509b87896fd0ad54 Mon Sep 17 00:00:00 2001 From: makaimann Date: Wed, 10 Jun 2020 12:00:13 -0700 Subject: 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`. --- .github/workflows/ci.yml | 12 ++++++++++++ 1 file changed, 12 insertions(+) (limited to '.github') 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' -- cgit v1.2.3