projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2151186) | patch
Update `toPythonObj` to use new getters -- part 1 (#6623)
authoryoni206 <yoni206@users.noreply.github.com>
Mon, 31 May 2021 00:56:14 +0000 (17:56 -0700)
committerGitHub <noreply@github.com>
Mon, 31 May 2021 00:56:14 +0000 (00:56 +0000)
commit6edc06b3fb6367e8366cab13340228e2bebfca1e
tree4b71a6f70f0efb963668ee3dc74c9f4714f84697tree
parent21511862f74c74a9c75da1de01e6b0e0a8120613commit | diff
Update `toPythonObj` to use new getters -- part 1 (#6623)

Following #6496 , this PR adds new getters to the python API, as well as tests for them. This makes toPythonObj simpler.

A future PR will add more getters to the python API.

Co-authored-by: Gereon Kremer nafur42@gmail.com
src/api/python/cvc5.pxd diff | blob | history
src/api/python/cvc5.pxi diff | blob | history
test/api/python/test_to_python_obj.py diff | blob | history
test/python/unit/api/test_term.py diff | blob | history