diff options
author | Andres Noetzli <andres.noetzli@gmail.com> | 2021-07-09 11:49:35 -0700 |
---|---|---|
committer | Andres Noetzli <andres.noetzli@gmail.com> | 2021-07-09 11:49:35 -0700 |
commit | 70a96669c694c41be7119bbeaf50c68bdf59ffef (patch) | |
tree | 6639c1c4b00fdf7e4e3485d84a4e40691252a035 /src/theory/arith/operator_elim.h | |
parent | b2c4184f1148ba1c51011ee6dd8341b9f204f54e (diff) |
Make regression test `issue4971-0` more robustfixRegression4971
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`.
Diffstat (limited to 'src/theory/arith/operator_elim.h')
0 files changed, 0 insertions, 0 deletions