LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/api/cpp Hit Total Coverage
Test: coverage.info Lines: 3994 4397 90.8 %
Date: 2026-03-27 10:29:52 Functions: 838 838 100.0 %
Branches: 2573 12210 21.1 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage Branches Sort by branch coverage
cvc5.cpp
91.3%91.3%
 91.3 % 3661 / 4011 100.0 % 761 / 761 21.1 % 2480 / 11760
cvc5_checks.h
100.0%
 100.0 % 18 / 18 100.0 % 9 / 9 50.0 % 3 / 6
cvc5_parser.cpp
92.8%92.8%
 92.8 % 207 / 223 100.0 % 47 / 47 15.7 % 61 / 388
cvc5_skolem_id.cpp
100.0%
 100.0 % 7 / 7 100.0 % 3 / 3 - 0 / 0
cvc5_types.cpp
73.2%73.2%
 73.2 % 101 / 138 100.0 % 18 / 18 51.8 % 29 / 56

Generated by: LCOV version 1.14