projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: dde15bd) | patch
Adding getters to the python API and testing them (#6652)
authoryoni206 <yoni206@users.noreply.github.com>
Wed, 2 Jun 2021 19:30:46 +0000 (12:30 -0700)
committerGitHub <noreply@github.com>
Wed, 2 Jun 2021 19:30:46 +0000 (14:30 -0500)
commit85a300898d7815973c064fe2c7b5b33473a71a5c
tree28d47a8e75881fae159197374b050de359ba5f6ftree
parentdde15bdbf752246fe7cb504df22261e0ad3835dbcommit | diff
Adding getters to the python API and testing them (#6652)

This PR adds missing API functions from the cpp Term API to the python API.
Corresponding tests are translated from term_black.cpp.
src/api/python/cvc5.pxd diff | blob | history
src/api/python/cvc5.pxi diff | blob | history
test/python/unit/api/test_term.py diff | blob | history