From: Andres Noetzli <andres.noetzli@gmail.com>
Date: Tue, 14 Jan 2020 15:47:58 +0000 (-0800)
Subject: Disable unsat cores for regression that times out (#3607)
X-Git-Tag: cvc5-1.0.0~3736
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=32c3001c293f50f53cc7a4ae35bd28966dfdd412;p=cvc5.git

Disable unsat cores for regression that times out (#3607)

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.
---

diff --git a/test/regress/regress2/strings/issue3203.smt2 b/test/regress/regress2/strings/issue3203.smt2
index 89c203889..a3ffabc2d 100644
--- 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)