From abe353d2273ebb2fb39213c43a3327475cc92593 Mon Sep 17 00:00:00 2001 From: Daejun Park Date: Wed, 17 Apr 2024 17:19:17 -0700 Subject: [PATCH] dep: unpin z3 version (cont'd) (#276) --- .github/workflows/test-long.yml | 4 +++- pyproject.toml | 2 +- requirements.txt | 2 +- 3 files changed, 5 insertions(+), 3 deletions(-) diff --git a/.github/workflows/test-long.yml b/.github/workflows/test-long.yml index c7d1501e..1e3a598a 100644 --- a/.github/workflows/test-long.yml +++ b/.github/workflows/test-long.yml @@ -39,7 +39,9 @@ jobs: python -m pip install pytest - name: Install Halmos - run: python -m pip install -e . + run: | + python -m pip install z3-solver==4.12.2.0 + python -m pip install -e . - name: Run pytest run: pytest -x -v tests/test_halmos.py -k ${{ matrix.testname }} --halmos-options="-v -st --solver-timeout-assertion 0 --solver-threads 2" -s --log-cli-level= diff --git a/pyproject.toml b/pyproject.toml index 8e365444..8f785688 100644 --- a/pyproject.toml +++ b/pyproject.toml @@ -22,7 +22,7 @@ classifiers = [ ] requires-python = ">=3.9" dependencies = [ - "z3-solver==4.12.2.0", + "z3-solver", ] dynamic = ["version"] diff --git a/requirements.txt b/requirements.txt index 6462a5f4..c91c87dd 100644 --- a/requirements.txt +++ b/requirements.txt @@ -1 +1 @@ -z3-solver>=4.13 +z3-solver