projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8f98fde) | patch
Adding python API test part 5 (#6743)
authorYing Sheng <sqy1415@gmail.com>
Sat, 19 Jun 2021 06:41:41 +0000 (23:41 -0700)
committerGitHub <noreply@github.com>
Sat, 19 Jun 2021 06:41:41 +0000 (06:41 +0000)
commit5e6117cc183513bf676b36078e6507b31caa6ff0
tree9ddbf762fc03e325f70a542ad0fe0991a6cb3b9etree
parent8f98fded91cb6b7a0099d10bd4c5155e9e9ef9b6commit | diff
Adding python API test part 5 (#6743)

This commit (follow #6553) adds more functions and unit tests for python API.
Subsequent PR will include additional missing functions and unit tests.

1. Adding getNullSort() and mkEmptyBag() functions.
2. Allowing mkOp() with a list of arguments (previously allowed at most 2).
3. Allowing mkString() with additional boolean argument useEscSequences.
4. Corresponding changes to the tests.
src/api/python/cvc5.pxd diff | blob | history
src/api/python/cvc5.pxi diff | blob | history
test/python/unit/api/test_solver.py diff | blob | history