projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d37a5ac) | patch
Script to list not covered API functions (#8254)
authorGereon Kremer <gereon.kremer@cs.rwth-aachen.de>
Tue, 8 Mar 2022 02:13:43 +0000 (03:13 +0100)
committerGitHub <noreply@github.com>
Tue, 8 Mar 2022 02:13:43 +0000 (02:13 +0000)
commit23f2844de386e16fcaa0ba3156152aa3f6a4c199
treeb15ead1453858383f4ef71e3c79f141742e2e971tree
parentd37a5acb57e84d9e79c10131d0eb0e916fc1da71commit | diff
Script to list not covered API functions (#8254)

Adds a script that lists all functions from the cpp API not covered by the current coverage information.
cmake/CodeCoverage.cmake diff | blob | history
contrib/uncovered-api-functions.py [new file with mode: 0755] blob