projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 60c9b49) | patch
Add requires libpoly to regression (#7467)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Fri, 22 Oct 2021 23:28:09 +0000 (18:28 -0500)
committerGitHub <noreply@github.com>
Fri, 22 Oct 2021 23:28:09 +0000 (23:28 +0000)
commit6d10b46e05d0eb0d50aefebc1bd307456325cdfc
tree3cec9b59f08ac46bd552b2c51ac5e3317d2da9dbtree
parent60c9b4980920e0f279085e4dd1ea2518b218074ccommit | diff
Add requires libpoly to regression (#7467)

Required to avoid timeout in non-libpoly builds.

FYI @dddejan .
test/regress/regress1/nl/approx-sqrt-unsat.smt2 diff | blob | history