diff options
| author | Andres Noetzli <andres.noetzli@gmail.com> | 2020-01-14 07:47:58 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-01-14 07:47:58 -0800 |
| commit | 32c3001c293f50f53cc7a4ae35bd28966dfdd412 (patch) | |
| tree | 4015217cbdf0d2f94c23eb473d6444cbd5708183 | |
| parent | 4e50d35447b5ee07304d2b857af388ea569db98b (diff) | |
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.
| -rw-r--r-- | test/regress/regress2/strings/issue3203.smt2 | 2 |
1 files changed, 2 insertions, 0 deletions
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) |