[ci]

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

Hide file tree

Showing 3 changed files with 6 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[@]}"

diff --git a/test/Feature/const_array_opt1.c b/test/Feature/const_array_opt1.c
@@ -1,5 +1,6 @@
 // REQUIRES: not-msan
 // REQUIRES: not-ubsan
+// REQUIRES: not-bitwuzla
 // Disabling msan and ubsan because it times out on CI
 // RUN: %clang %s -emit-llvm %O0opt -c -o %t.bc
 // RUN: rm -rf %t.klee-out