projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4b7fc20) | patch
Fix expected output on arith regression (#4162)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Fri, 27 Mar 2020 22:45:30 +0000 (17:45 -0500)
committerGitHub <noreply@github.com>
Fri, 27 Mar 2020 22:45:30 +0000 (15:45 -0700)
commitea1f107a92f22961a50fbc51d93780f89cbd66e0
tree50be85e838dd4ae0efd9e960d6cb89caa33b3e1ctree
parent4b7fc20dcce9eefdf568937f5e2c54141c4f5c5bcommit | diff
Fix expected output on arith regression (#4162)

A benchmark went unknown -> sat, likely due to the arith-brab commit, thus leading to a failure on regress1.This updates the status on this benchmark (also adds --nl-ext-tplanes to it).
test/regress/regress1/arith/bug547.1.smt2 diff | blob | history