projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9d3eec9) | patch
Revert change to regression (#6940)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Tue, 27 Jul 2021 14:06:33 +0000 (09:06 -0500)
committerGitHub <noreply@github.com>
Tue, 27 Jul 2021 14:06:33 +0000 (14:06 +0000)
commitc76d9cde04270156030d0a3fa8f1bf8483bfe2eb
tree993f8b82d7eab2c7e367069d7b0859d7b776d9d3tree
parent9d3eec992f14a8fa83a4b34de5eebe98604bdee6commit | diff
Revert change to regression (#6940)

Although it works on most machines, it times out in the nightly builds.
test/regress/regress1/quantifiers/symmetric_unsat_7.smt2 diff | blob | history