projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4da209c) | patch
Produce intermediate json output for coverage (#8252)
authorGereon Kremer <gkremer@cs.stanford.edu>
Tue, 8 Mar 2022 23:19:36 +0000 (00:19 +0100)
committerGitHub <noreply@github.com>
Tue, 8 Mar 2022 23:19:36 +0000 (23:19 +0000)
commit8ccd2a732763206e5f233fd3368c4c1048586d6d
tree43ba4d60ccaaecaa69ff996a64cc4709686c9244tree
parent4da209c2260060501104568bde0d7539d80e9027commit | diff
Produce intermediate json output for coverage (#8252)

This splits the generation of coverage information into two steps, generating an intermediate json file. This allows further tooling to used this json information: we plan to check whether the APIs (and their tests) are complete by looking at their code coverage within the cpp api.
cmake/CodeCoverage.cmake diff | blob | history