projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4e50d35) | patch
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)
commit32c3001c293f50f53cc7a4ae35bd28966dfdd412
tree4015217cbdf0d2f94c23eb473d6444cbd5708183tree
parent4e50d35447b5ee07304d2b857af388ea569db98bcommit | 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.
test/regress/regress2/strings/issue3203.smt2 diff | blob | history