diff options
author | yoni206 <yoni206@users.noreply.github.com> | 2021-03-05 12:09:41 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-03-05 20:09:41 +0000 |
commit | 555e4b0b6b10e9170676c0a3ef9b778322f3327f (patch) | |
tree | ed83be473b6738966d37ab40cf5680fdd499513a /test/regress/regress0/bv/fuzz41.smtv1.smt2 | |
parent | ba90594ea59be5cfbcbfe81cf9510dab1efc3130 (diff) |
Set logic in interpolation unit test. (#6067)
The logic QF_LIA was not set in the api interpolation test.
Setting it brings the solving time from ~37s to ~2s.
Also, a comment is fixed.
Diffstat (limited to 'test/regress/regress0/bv/fuzz41.smtv1.smt2')
0 files changed, 0 insertions, 0 deletions