From: Mathias Preiner <mathias.preiner@gmail.com>
Date: Fri, 17 Dec 2021 03:30:39 +0000 (-0800)
Subject: Disable unsat cores for quaternion_ds1_symm_0428.fof.smt2. (#7830)
X-Git-Tag: cvc5-1.0.0~649
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=38fd45bc40108796c39f60f4d0bd54739f85c002;p=cvc5.git

Disable unsat cores for quaternion_ds1_symm_0428.fof.smt2. (#7830)

Avoids timeout for nightly ASAN builds.
---

diff --git a/test/regress/regress1/quantifiers/quaternion_ds1_symm_0428.fof.smt2 b/test/regress/regress1/quantifiers/quaternion_ds1_symm_0428.fof.smt2
index e7be953ce..fc22a8af8 100644
--- a/test/regress/regress1/quantifiers/quaternion_ds1_symm_0428.fof.smt2
+++ b/test/regress/regress1/quantifiers/quaternion_ds1_symm_0428.fof.smt2
@@ -1,4 +1,4 @@
-; COMMAND-LINE: --full-saturate-quant --multi-trigger-cache
+; COMMAND-LINE: --full-saturate-quant --multi-trigger-cache --no-check-unsat-cores
 ; EXPECT: unsat
 (set-logic AUFLIRA)
 (set-info :status unsat)