projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8915e32) | patch
Add `isNull` to cpp api tests, python api, and python api tests (#7059)
authoryoni206 <yoni206@users.noreply.github.com>
Fri, 27 Aug 2021 00:34:12 +0000 (03:34 +0300)
committerGitHub <noreply@github.com>
Fri, 27 Aug 2021 00:34:12 +0000 (00:34 +0000)
commit1639655ca7b8f0f18145fdbb515253810b119d08
treedfd7b7be07b803453864902893988156cfdc21b6tree
parent8915e3234871e56eb9fa1c188f89a8d825dc10e8commit | diff
Add `isNull` to cpp api tests, python api, and python api tests (#7059)

While working on API documentation for python, I noticed that isNull is not wrapped
by the python API. It is also not tested in the cpp API tests. This PR fixes both issues,
and also updates the python api tests accordingly.
src/api/cpp/cvc5.cpp diff | blob | history
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
test/unit/api/datatype_api_black.cpp diff | blob | history