projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e1d4767) | patch
Move `toPythonObj` tests to the new API unit test directory (#6656)
authoryoni206 <yoni206@users.noreply.github.com>
Wed, 2 Jun 2021 16:47:09 +0000 (09:47 -0700)
committerGitHub <noreply@github.com>
Wed, 2 Jun 2021 16:47:09 +0000 (16:47 +0000)
commit338982182dbdabecf6f3b06e659621cf43bed916
tree37c43593a6573c443457ba55bfbd74385cae771ctree
parente1d476724171293d324ea9f144d1171d9b36b571commit | diff
Move `toPythonObj` tests to the new API unit test directory (#6656)

This is the last test file that we move from the old directory to the new one, and so the old directory is deleted.
test/api/CMakeLists.txt diff | blob | history
test/api/python/CMakeLists.txt [deleted file] blob | history
test/api/python/test_to_python_obj.py [deleted file] blob | history
test/python/CMakeLists.txt diff | blob | history
test/python/unit/api/test_to_python_obj.py [new file with mode: 0644] blob