projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8e5aba9) | patch
Adding functions to the python API and testing them (#6477)
authoryoni206 <yoni206@users.noreply.github.com>
Sat, 8 May 2021 01:01:17 +0000 (18:01 -0700)
committerGitHub <noreply@github.com>
Sat, 8 May 2021 01:01:17 +0000 (01:01 +0000)
commitb57e877b88dec0328ff9adb89062053e84f2b616
tree87b5af64d34904150bf8ad454fe0e3402c2ea79ftree
parent8e5aba973b06fb581221a82aacdf7d3ca7938a22commit | diff
Adding functions to the python API and testing them (#6477)

This PR adds some functions that are missing in the python API, along with unit tests for them.
Subsequent PR will include additional missing functions.

Also includes a yapf run to reformat the test file.

Co-authored-by: Makai Mann makaim@stanford.edu
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