projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 15d3880) | patch
Python API: bugfix + translating tests from cpp unit tests (#6559)
authoryoni206 <yoni206@users.noreply.github.com>
Fri, 28 May 2021 20:28:56 +0000 (13:28 -0700)
committerGitHub <noreply@github.com>
Fri, 28 May 2021 20:28:56 +0000 (20:28 +0000)
commit40089fc79491a0608f36e6af9db69d2c12c37e3e
tree84cbabd73236653c64c19bd779ce6d2ad1ad9182tree
parent15d38800b9f493fcf4573160b420f0ab9563b4a8commit | diff
Python API: bugfix + translating tests from cpp unit tests (#6559)

This PR fixes an issue in the python API for datatypes, and also introduces tests translated from https://github.com/cvc5/cvc5/blob/master/test/unit/api/datatype_api_black.cpp

The next PR will translate more tests and will also introduce missing functions in the python API for datatypes.
src/api/python/cvc5.pxi diff | blob | history
test/api/python/CMakeLists.txt diff | blob | history
test/api/python/test_datatype_api.py [deleted file] blob | history
test/python/CMakeLists.txt diff | blob | history
test/python/unit/api/test_datatype_api.py [new file with mode: 0644] blob