chore(bitwuzla): Bump version

UnitTestBot · Nov 19, 2024 · fc15d93 · fc15d93
1 parent 5828c5b
commit fc15d93
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/.github/workflows/build.yaml b/.github/workflows/build.yaml
@@ -37,7 +37,7 @@ env:
   USE_LIBCXX: 1
   Z3_VERSION: 4.8.15
   SQLITE_VERSION: 3400100
-  BITWUZLA_VERSION: 0.6.0
+  BITWUZLA_VERSION: 0.6.1
   JSON_VERSION: v3.11.3
   IMMER_VERSION: v0.8.1
 

diff --git a/build.sh b/build.sh
@@ -56,7 +56,7 @@ Z3_VERSION=4.8.15
 STP_VERSION=2.3.3
 MINISAT_VERSION=master
 
-BITWUZLA_VERSION=0.6.0
+BITWUZLA_VERSION=0.6.1
 
 KEEP_PARSE="true"
 while [ $KEEP_PARSE = "true" ]; do