projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 53a611a)
[Regressions] Disable ASan on slow regression (#8882)
authorAndres Noetzli <andres.noetzli@gmail.com>
Wed, 15 Jun 2022 19:45:46 +0000 (12:45 -0700)
committerGitHub <noreply@github.com>
Wed, 15 Jun 2022 19:45:46 +0000 (12:45 -0700)
This should fix one of our Buildbot failures.

test/regress/cli/regress1/arith/issue3480.smt2 patch | blob | history

diff --git a/test/regress/cli/regress1/arith/issue3480.smt2 b/test/regress/cli/regress1/arith/issue3480.smt2
index ef4ad7179d2fef6f7806546766aac3336938ebf5..fde51d15cc4aeb389a383a45688a5ca6627e6632 100644 (file)
--- a/test/regress/cli/regress1/arith/issue3480.smt2
+++ b/test/regress/cli/regress1/arith/issue3480.smt2
@@ -1,4 +1,5 @@
 ; COMMAND-LINE: --theoryof-mode=type --quiet --nl-ext-tplanes
+; REQUIRES: no-asan
 (set-logic QF_NIA)
 (declare-fun a () Int)
 (declare-fun b () Int)