From f91416fe02259d5f100c47c3e5b0b23737c8b628 Mon Sep 17 00:00:00 2001
From: Andres Noetzli <andres.noetzli@gmail.com>
Date: Wed, 15 Jun 2022 12:45:46 -0700
Subject: [PATCH] [Regressions] Disable ASan on slow regression (#8882)

This should fix one of our Buildbot failures.
---
 test/regress/cli/regress1/arith/issue3480.smt2 | 1 +
 1 file changed, 1 insertion(+)

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)
-- 
2.30.2