projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b2c4184) | patch
Make regression test `issue4971-0` more robust (#6857)
authorAndres Noetzli <andres.noetzli@gmail.com>
Fri, 9 Jul 2021 19:15:51 +0000 (12:15 -0700)
committerGitHub <noreply@github.com>
Fri, 9 Jul 2021 19:15:51 +0000 (14:15 -0500)
commite7c06200748ca209a52ecf1f73bff3e51ebfdb99
tree6639c1c4b00fdf7e4e3485d84a4e40691252a035tree
parentb2c4184f1148ba1c51011ee6dd8341b9f204f54ecommit | diff
Make regression test `issue4971-0` more robust (#6857)

When compiling and running cvc5 on macOS with an M1 CPU, the regression
test regress0/cores/issue4971-0.smt2 returned unsat instead of the
expected unknown for the first (check-sat) command. This commit
makes the regression more robust by adding --cegqi-full and expecting
unsat.
test/regress/regress0/cores/issue4971-0.smt2 diff | blob | history