projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2e353ec) | patch
Translating more cpp API unit tests to python (#7669)
authoryoni206 <yoni206@users.noreply.github.com>
Tue, 30 Nov 2021 23:38:44 +0000 (01:38 +0200)
committerGitHub <noreply@github.com>
Tue, 30 Nov 2021 23:38:44 +0000 (23:38 +0000)
commit30f91833dea7f31156dafa401d17522b7fd87bc7
treef4e221b41f9a940154bc4974be25f61f5856e27atree
parent2e353ecd005e1f980c446cd043059d4523da810acommit | diff
Translating more cpp API unit tests to python (#7669)

This translates the majority of the tests from https://github.com/cvc5/cvc5/blob/master/test/unit/api/cpp/solver_black.cpp that were not translated yet, to python.
Additionally, some minor renames and `yapf` formatting is done the the existing tests.
test/unit/api/python/test_solver.py diff | blob | history