projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f42ed22) | patch
Adding unit tests for the datatypes python API (#6658)
authoryoni206 <yoni206@users.noreply.github.com>
Thu, 3 Jun 2021 23:57:29 +0000 (16:57 -0700)
committerGitHub <noreply@github.com>
Thu, 3 Jun 2021 23:57:29 +0000 (16:57 -0700)
commit5502891bb07179b24b664ea3d6a9877e8c3eb0a4
tree7efdd8abd38fc5f3527dc1fc918dddb06800b96ctree
parentf42ed22928bdc1bc68e2269ac0a738238f9e0cd7commit | diff
Adding unit tests for the datatypes python API (#6658)

This commit adds unit tests that are translated from `datatype_api_black.cpp`. One API function is also added to the python API.
This is the last part of the python api unit tests for datatypes.

Co-authored-by: Andres Noetzli <andres.noetzli@gmail.com>
src/api/python/cvc5.pxd diff | blob | history
src/api/python/cvc5.pxi diff | blob | history
test/python/unit/api/test_datatype_api.py diff | blob | history