projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 14ee76f) | patch
python API sorts: adding functions and tests (#6361)
authoryoni206 <yoni206@users.noreply.github.com>
Tue, 20 Apr 2021 14:33:10 +0000 (07:33 -0700)
committerGitHub <noreply@github.com>
Tue, 20 Apr 2021 14:33:10 +0000 (14:33 +0000)
commitd6a50e3ebeea29abaa5a2aee624590490fa75dda
tree524b3b7cb7979f116ccd7ccf4b661c0b38e84ee4tree
parent14ee76f0737bcd0ad6711c4ab4ff9bf53a29a705commit | diff
python API sorts: adding functions and tests (#6361)

This PR does the following:

1. removes old python sort API test
2. creates a new python sort API test, obtained by translating the (entire) cpp unit test https://github.com/CVC4/CVC4/blob/master/test/unit/api/sort_black.cpp
3. adds support for bags and datatype selectors/testers domain/codomain in the python API.
src/api/python/cvc4.pxd diff | blob | history
src/api/python/cvc4.pxi diff | blob | history
test/api/python/CMakeLists.txt diff | blob | history
test/api/python/test_sort.py [deleted file] blob | history
test/python/CMakeLists.txt diff | blob | history
test/python/unit/api/test_sort.py [new file with mode: 0644] blob