From: Andres Noetzli <andres.noetzli@gmail.com>
Date: Wed, 15 Jun 2022 19:45:46 +0000 (-0700)
Subject: [Regressions] Disable ASan on slow regression (#8882)
X-Git-Tag: cvc5-1.0.1~52
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=f91416fe02259d5f100c47c3e5b0b23737c8b628;p=cvc5.git

[Regressions] Disable ASan on slow regression (#8882)

This should fix one of our Buildbot failures.
---

diff --git a/test/regress/cli/regress1/arith/issue3480.smt2 b/test/regress/cli/regress1/arith/issue3480.smt2
index ef4ad7179..fde51d15c 100644
--- 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)