[ci]

S1eGa · Nov 23, 2023 · 24139ef · 24139ef
1 parent 931b59d
commit 24139ef
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 2 deletions.
diff --git a/.github/workflows/build.yaml b/.github/workflows/build.yaml
@@ -5,7 +5,7 @@ on:
   pull_request:
     branches: [main, utbot-main]
   push:
-    branches: [main, utbot-main]
+    branches: [ci]
 
 # Defaults for building KLEE
 env:

diff --git a/scripts/build/p-bitwuzla.inc b/scripts/build/p-bitwuzla.inc
@@ -24,7 +24,7 @@ build_bitwuzla() {
   local CC=""
   local CXX=""
 
-  args=(--build-dir "${BITWUZLA_BUILD_PATH}" --prefix "${BITWUZLA_INSTALL_PATH}" --no-assertions --static --no-unit-testing release)
+  args=(--build-dir "${BITWUZLA_BUILD_PATH}" --prefix "${BITWUZLA_INSTALL_PATH}" --static --no-unit-testing)
 
   if [[ -n "${SANITIZER_SUFFIX:-}" ]]; then
     if [[ "${SANITIZER_BUILD:-}" == "address" ]]; then
@@ -33,6 +33,9 @@ build_bitwuzla() {
     if [[ "${SANITIZER_BUILD:-}" == "undefined" ]]; then
       args+=("--ubsan")
     fi
+    args+=("--assertions" "debug")
+  else
+    args+=("--no-assertions" "release")
   fi
 
   ./configure.py "${args[@]}"