projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ba90594) | patch
Set logic in interpolation unit test. (#6067)
authoryoni206 <yoni206@users.noreply.github.com>
Fri, 5 Mar 2021 20:09:41 +0000 (12:09 -0800)
committerGitHub <noreply@github.com>
Fri, 5 Mar 2021 20:09:41 +0000 (20:09 +0000)
commit555e4b0b6b10e9170676c0a3ef9b778322f3327f
treeed83be473b6738966d37ab40cf5680fdd499513atree
parentba90594ea59be5cfbcbfe81cf9510dab1efc3130commit | 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.
test/unit/api/solver_black.cpp diff | blob | history