use same cvc5 version in all scattered tests

Author: hoe-jo

.github/workflows/ci.yml

@@ -62,7 +62,7 @@ jobs:
           echo "${{ matrix.brew }}/opt/make/libexec/gnubin" >> $GITHUB_PATH
       - name: Fetch CVC5
         run: |
-          util/fetch_cvc5.py 1.3.1 ${{ matrix.cvc5-plat }}
+          util/fetch_cvc5.py ${{ matrix.cvc5-plat }}
           echo "$GITHUB_WORKSPACE" >> $GITHUB_PATH
       - name: Executing unit tests
         run: |

.github/workflows/docs.yml

@@ -45,7 +45,7 @@ jobs:
           sudo apt-get install -y graphviz
       - name: Fetch CVC5
         run: |
-          util/fetch_cvc5.py 1.2.0 linux
+          util/fetch_cvc5.py linux
           echo "$GITHUB_WORKSPACE" >> $GITHUB_PATH
       - name: Test CVC5
         run: |

util/fetch_cvc5.py

@@ -31,8 +31,17 @@
 CVC5_BINARY = "cvc5"
 CVC5_EXECUTABLE = True
 
+# -----------------------------------------------------------------------
+# Canonical CVC5 binary version used throughout this project.
+# Bump this together with:
+#   * The http_archive URLs/sha256 hashes in MODULE.bazel
+#   * The "cvc5>=" lower-bound in requirements.txt / requirements_dev.txt
+# -----------------------------------------------------------------------
+CVC5_DEFAULT_VERSION = "1.3.2"
+
 ap = argparse.ArgumentParser()
-ap.add_argument("version")
+ap.add_argument("--version", default=CVC5_DEFAULT_VERSION,
+                help="CVC5 release tag (default: %(default)s)")
 ap.add_argument("platform")
 
 options = ap.parse_args()