LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/api/c Hit Total Coverage
Test: coverage.info Lines: 4322 4463 96.8 %
Date: 2026-09-15 10:08:04 Functions: 570 576 99.0 %
Branches: 3781 10856 34.8 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage Branches Sort by branch coverage
cvc5.cpp
96.8%96.8%
 96.8 % 3670 / 3793 98.9 % 456 / 461 34.2 % 3382 / 9902
cvc5_c_structs.cpp
96.9%96.9%
 96.9 % 344 / 355 98.4 % 63 / 64 51.8 % 173 / 334
cvc5_parser.cpp
97.5%97.5%
 97.5 % 269 / 276 100.0 % 37 / 37 36.5 % 226 / 620
cvc5_c_structs.h
100.0%
 100.0 % 39 / 39 100.0 % 14 / 14 - 0 / 0

Generated by: LCOV version 1.14