projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 13d891a) | patch
Add unit test for code not exposed by python API (#8677)
authorGereon Kremer <gkremer@cs.stanford.edu>
Fri, 29 Apr 2022 01:09:03 +0000 (18:09 -0700)
committerGitHub <noreply@github.com>
Fri, 29 Apr 2022 01:09:03 +0000 (01:09 +0000)
commit08c26d6fe7e44e5016074606d0cd5bc0fb5c40af
tree3b4ebb382b18f947efc00cd41baa09dca22c8294tree
parent13d891a718e291ec8ea908c7be2367b7d5c8391acommit | diff
Add unit test for code not exposed by python API (#8677)

This PR adds a C++ unit test that explicitly calls into API functions that are not exposed by the python API. This fixes the issue of false positives in our API coverage checks, as some parts of the C++ API are legitimately not used by the python API.
src/api/cpp/cvc5.cpp diff | blob | history
test/unit/api/python/CMakeLists.txt diff | blob | history
test/unit/api/python/test_uncovered.cpp [new file with mode: 0644] blob