projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 4e50d35)
Disable unsat cores for regression that times out (#3607)
authorAndres Noetzli <andres.noetzli@gmail.com>
Tue, 14 Jan 2020 15:47:58 +0000 (07:47 -0800)
committerGitHub <noreply@github.com>
Tue, 14 Jan 2020 15:47:58 +0000 (07:47 -0800)
Regression `regress2/strings/issue3203.smt2` is currently timing out
depending on the version of the libraries loaded (see #3606 for more
info). This commit temporarily disables the regression to get the
nightlies to pass again.

test/regress/regress2/strings/issue3203.smt2 patch | blob | history

diff --git a/test/regress/regress2/strings/issue3203.smt2 b/test/regress/regress2/strings/issue3203.smt2
index 89c2038897cfb3ff90209725310a17b772cc0d5d..a3ffabc2d0389a17968dd1fb522685ef4da40407 100644 (file)
--- a/test/regress/regress2/strings/issue3203.smt2
+++ b/test/regress/regress2/strings/issue3203.smt2
@@ -1,3 +1,5 @@
+; Temporarily disable checking of unsat cores (see issue #3606)
+; COMMAND-LINE: --no-check-unsat-cores
 (set-logic ALL_SUPPORTED)
 (set-option :strings-exp true)
 (set-info :status unsat)