projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8799bd9) | patch
Python Sort tests (#4639)
authormakaimann <makaim@stanford.edu>
Mon, 29 Jun 2020 21:28:17 +0000 (14:28 -0700)
committerGitHub <noreply@github.com>
Mon, 29 Jun 2020 21:28:17 +0000 (14:28 -0700)
commit5cd6f0e5e910ad61ebc5045170842078818a3b80
tree0abfb436badd2bdb2e3616588ece81af0ccbb5edtree
parent8799bd979c40477d250cada8b498ce344ae61ab6commit | diff
Python Sort tests (#4639)

This commit ports over the sort_black tests to the pytest infrastructure to test the Python bindings. It also adds missing functionality that was revealed during the testing.
src/api/python/cvc4.pxd diff | blob | history
src/api/python/cvc4.pxi diff | blob | history
src/api/python/genkinds.py diff | blob | history
test/unit/api/python/test_sort.py [new file with mode: 0644] blob