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 /test/unit/theory/sequences_rewriter_white.cpp | |
| 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 'test/unit/theory/sequences_rewriter_white.cpp')
0 files changed, 0 insertions, 0 deletions