LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/api/c Hit Total Coverage
Test: coverage.info Lines: 3650 3773 96.7 %
Date: 2024-10-06 11:37:27 Functions: 538 542 99.3 %
Branches: 3048 4826 63.2 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage Branches Sort by branch coverage
cvc5.cpp
96.9%96.9%
96.9 % 3181 / 3282 99.6 % 449 / 451 64.2 % 2759 / 4298
cvc5_c_structs.cpp
96.7%96.7%
96.7 % 232 / 240 100.0 % 44 / 44 47.3 % 122 / 258
cvc5_c_structs.h
100.0%
100.0 % 43 / 43 100.0 % 16 / 16 - 0 / 0
cvc5_checks.h
100.0%
100.0 % 8 / 8 100.0 % 3 / 3 - 0 / 0
cvc5_parser.cpp
93.0%93.0%
93.0 % 186 / 200 92.9 % 26 / 28 61.9 % 167 / 270

Generated by: LCOV version 1.14