projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b837f24) | patch
Adding functions to the python API and testing them -- part 2 (#6517)
authoryoni206 <yoni206@users.noreply.github.com>
Thu, 13 May 2021 05:32:55 +0000 (22:32 -0700)
committerGitHub <noreply@github.com>
Thu, 13 May 2021 05:32:55 +0000 (05:32 +0000)
commit304064c6bb3bf7ea7a7d54b66e2ad152e8fc4525
treecb33046f6006c7da77ed1b39909ab3148e414bbdtree
parentb837f24d835ce529c749a089ae0e29e471512512commit | diff
Adding functions to the python API and testing them -- part 2 (#6517)

This PR adds some functions that are missing in the python API, along with unit tests for them.
The unit tests are translated from https://github.com/cvc5/cvc5/blob/master/test/unit/api/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