From 38fd45bc40108796c39f60f4d0bd54739f85c002 Mon Sep 17 00:00:00 2001 From: Mathias Preiner Date: Thu, 16 Dec 2021 19:30:39 -0800 Subject: [PATCH] Disable unsat cores for quaternion_ds1_symm_0428.fof.smt2. (#7830) Avoids timeout for nightly ASAN builds. --- .../regress1/quantifiers/quaternion_ds1_symm_0428.fof.smt2 | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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) -- 2.30.2