fix(ci): Disable sanitizers because of bitwuzla crashing with an asse…

…rtion failure
UnitTestBot · Jan 6, 2025 · ad1f08e · ad1f08e
1 parent bbe9a33
commit ad1f08e
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 2 deletions.
diff --git a/test/Floats/round.c b/test/Floats/round.c
@@ -1,7 +1,11 @@
+// Disabling sanitizers because bitwuzla crashes with an assertion failure
+// REQUIRES: not-asan
+// REQUIRES: not-msan
+// REQUIRES: not-ubsan
 // RUN: %clang %s -emit-llvm -O0 -g -c -o %t1.bc
 // RUN: rm -rf %t.klee-out
 // RUN: %klee --libc=klee --fp-runtime --output-dir=%t.klee-out --exit-on-error %t1.bc > %t-output.txt 2>&1
-// RUN: FileCheck -input-file=%t-output.txt %s --dump-input=always --dump-input-filter=all
+// RUN: FileCheck -input-file=%t-output.txt %s
 // REQUIRES: fp-runtime
 #include "klee/klee.h"
 #include <math.h>

diff --git a/test/Industry/CoverageErrorCall/od-4.c b/test/Industry/CoverageErrorCall/od-4.c
@@ -1,9 +1,11 @@
 // It requires bitwuzla because the script currently runs with bitwuzla solver backend
 // REQUIRES: bitwuzla
+// Disabling sanitizers because bitwuzla crashes with an assertion failure
 // REQUIRES: not-asan
 // REQUIRES: not-msan
+// REQUIRES: not-ubsan
 // REQUIRES: not-darwin
-// RUN: %kleef --property-file=%S/coverage-error-call.prp --max-memory=7000000000 --max-cputime-soft=180 --64 --debug %s 2>&1 | FileCheck %s --dump-input=always --dump-input-filter=all
+// RUN: %kleef --property-file=%S/coverage-error-call.prp --max-memory=7000000000 --max-cputime-soft=900 --64 --debug %s 2>&1 | FileCheck %s
 // CHECK: KLEE: WARNING: 100.00% Reachable Reachable
 
 extern long __VERIFIER_nondet_long(void);