projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 08c26d6) | patch
Add unit test for code not exposed by java API (#8678)
authorGereon Kremer <gkremer@cs.stanford.edu>
Fri, 29 Apr 2022 03:21:12 +0000 (20:21 -0700)
committerGitHub <noreply@github.com>
Fri, 29 Apr 2022 03:21:12 +0000 (03:21 +0000)
commit72fd917fcdba452d25828e970471a4588ccb2404
tree1e7982a655e99669e379a6e8d1fb770e8fd88bb4tree
parent08c26d6fe7e44e5016074606d0cd5bc0fb5c40afcommit | diff
Add unit test for code not exposed by java API (#8678)

This PR adds a C++ unit test that explicitly calls into API functions that are not exposed by the java 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 java API.
It also corrects a few other minor issues.
src/api/cpp/cvc5.cpp diff | blob | history
test/unit/api/java/CMakeLists.txt diff | blob | history
test/unit/api/java/SolverTest.java diff | blob | history
test/unit/api/java/UncoveredTest.cpp [new file with mode: 0644] blob