projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: acbe543) | patch
Add unit test for api getInterpolant() -- issue #5593 (#5772)
authorYing Sheng <sqy1415@gmail.com>
Wed, 13 Jan 2021 19:19:45 +0000 (03:19 +0800)
committerGitHub <noreply@github.com>
Wed, 13 Jan 2021 19:19:45 +0000 (13:19 -0600)
commit4ddbf7c13d2ce344e46a57bdef5af44922ca2552
tree42e56583787ba4cc47efbd1b63462ae5b9d73219tree
parentacbe543869918eb2d88779f0f98bfd18b82282d3commit | diff
Add unit test for api getInterpolant() -- issue #5593 (#5772)

The pull request addressed issue #5593 for adding an unit test.
test/unit/api/solver_black.cpp diff | blob | history