projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 03cb06e)
Disable unsat cores for quaternion_ds1_symm_0428.fof.smt2. (#7830)
authorMathias Preiner <mathias.preiner@gmail.com>
Fri, 17 Dec 2021 03:30:39 +0000 (19:30 -0800)
committerGitHub <noreply@github.com>
Fri, 17 Dec 2021 03:30:39 +0000 (21:30 -0600)
Avoids timeout for nightly ASAN builds.

test/regress/regress1/quantifiers/quaternion_ds1_symm_0428.fof.smt2 patch | blob | history

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 e7be953ceb7dc41b6645de89b32a01edfa69e43c..fc22a8af880cd0949cd04ec8c83238ae08862483 100644 (file)
--- 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)