projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bc4055d) | patch
Fixing regressions (#4189)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Tue, 31 Mar 2020 13:39:21 +0000 (08:39 -0500)
committerGitHub <noreply@github.com>
Tue, 31 Mar 2020 13:39:21 +0000 (08:39 -0500)
commit501894d709c19aebcaed1bd43e506501a8bbd69b
treea9d3316ebd5d671157f86722df16093599546afctree
parentbc4055d4543f3b697ade38b810f7ac3cf02dc3c8commit | diff
Fixing regressions (#4189)

An option was recently deleted, forgot to disable it from a regression. Fixes a failure in regress1.
test/regress/regress2/sygus/issue4022-conjecture-gen.smt2 diff | blob | history