projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3266c58) | patch
Add test coverage for almost everything from the Python API (#8720)
authorGereon Kremer <gkremer@cs.stanford.edu>
Thu, 5 May 2022 20:54:48 +0000 (13:54 -0700)
committerGitHub <noreply@github.com>
Thu, 5 May 2022 20:54:48 +0000 (20:54 +0000)
commita3e8a80434c85d85530c5ec6d064581782c35737
treeed9022c2099db83945b54a2aee5df7c4858cd789tree
parent3266c58ad0ad1c1e3b04a69ceb1caf2a468597dbcommit | diff
Add test coverage for almost everything from the Python API (#8720)

This PR adds tests for almost everything that is not yet covered by the python API tests.
src/api/cpp/cvc5.cpp diff | blob | history
src/api/python/cvc5.pxd diff | blob | history
src/api/python/cvc5.pxi diff | blob | history
test/unit/api/python/test_datatype_api.py diff | blob | history
test/unit/api/python/test_grammar.py diff | blob | history
test/unit/api/python/test_uncovered.cpp diff | blob | history