LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/api/cpp Hit Total Coverage
Test: coverage.info Lines: 3648 4176 87.4 %
Date: 2026-02-12 13:01:42 Functions: 832 832 100.0 %
Branches: 2049 3720 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 % 3338 / 3810 100.0 % 755 / 755 54.9 % 1960 / 3570
cvc5_checks.h
85.7%85.7%
 85.7 % 18 / 21 100.0 % 9 / 9 50.0 % 3 / 6
cvc5_parser.cpp
91.5%91.5%
 91.5 % 193 / 211 100.0 % 47 / 47 64.8 % 57 / 88
cvc5_skolem_id.cpp
100.0%
 100.0 % 7 / 7 100.0 % 3 / 3 - 0 / 0
cvc5_types.cpp
72.4%72.4%
 72.4 % 92 / 127 100.0 % 18 / 18 51.8 % 29 / 56

Generated by: LCOV version 1.14