Hotfix the CVC5 issue

bmw-software-engineering · Aug 23, 2023 · 1ea4a1d · 1ea4a1d
1 parent c4eab07
commit 1ea4a1d
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 2 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -27,7 +27,8 @@ generated in the following situations:
 
 ### 1.1.8-dev
 
-
+* [TRLC] Hotfix for the CVC5 API issue: pinning PyVCG to 1.0.3, which
+  in turn pins CVC5 to 1.0.5 (the last known good version).
 
 ### 1.1.7
 

diff --git a/setup.py b/setup.py
@@ -37,7 +37,7 @@
 required_packages = []
 python_required = ">=3.8, <4"
 if "--plat-name" in sys.argv or "-p" in sys.argv:
-     required_packages.append("PyVCG>=1.0.2")
+     required_packages.append("PyVCG==1.0.3")
      python_required = ">=3.8, <=3.10"
 
 setuptools.setup(