LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/api/cpp Hit Total Coverage
Test: coverage.info Lines: 3586 4105 87.4 %
Date: 2024-09-05 11:14:48 Functions: 825 825 100.0 %
Branches: 2020 3667 55.1 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage Branches Sort by branch coverage
cvc5.cpp
87.6%87.6%
87.6 % 3292 / 3757 100.0 % 751 / 751 55.0 % 1937 / 3524
cvc5_checks.h
85.7%85.7%
85.7 % 18 / 21 100.0 % 9 / 9 50.0 % 3 / 6
cvc5_parser.cpp
91.7%91.7%
91.7 % 188 / 205 100.0 % 46 / 46 64.0 % 55 / 86
cvc5_skolem_id.cpp
100.0%
100.0 % 7 / 7 100.0 % 3 / 3 - 0 / 0
cvc5_types.cpp
70.4%70.4%
70.4 % 81 / 115 100.0 % 16 / 16 49.0 % 25 / 51

Generated by: LCOV version 1.14