LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/test/unit/api/c Hit Total Coverage
Test: coverage.info Lines: 7982 8000 99.8 %
Date: 2026-10-03 10:36:04 Functions: 2049 2058 99.6 %
Branches: 9210 18334 50.2 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage Branches Sort by branch coverage
capi_command_black.cpp
100.0%
 100.0 % 45 / 45 100.0 % 15 / 15 50.0 % 49 / 98
capi_datatype_black.cpp
100.0%
 100.0 % 605 / 605 100.0 % 228 / 228 50.1 % 771 / 1538
capi_error_handling_black.cpp
100.0%
 100.0 % 113 / 113 100.0 % 42 / 42 50.0 % 94 / 188
capi_grammar_black.cpp
100.0%
 100.0 % 223 / 223 100.0 % 34 / 34 50.0 % 243 / 486
capi_input_parser_black.cpp
100.0%
 100.0 % 258 / 258 100.0 % 59 / 59 50.4 % 250 / 496
capi_kind_black.cpp
100.0%
 100.0 % 12 / 12 100.0 % 4 / 4 58.3 % 21 / 36
capi_lifetime_black.cpp
100.0%
 100.0 % 316 / 316 100.0 % 73 / 73 52.6 % 144 / 274
capi_op_black.cpp
100.0%
 100.0 % 230 / 230 100.0 % 34 / 34 50.8 % 187 / 368
capi_parametric_datatype_black.cpp
100.0%
 100.0 % 26 / 26 100.0 % 10 / 10 50.0 % 20 / 40
capi_parser_lifetime_black.cpp
100.0%
 100.0 % 282 / 282 100.0 % 56 / 56 52.8 % 152 / 288
capi_proof_black.cpp
100.0%
 100.0 % 134 / 134 100.0 % 32 / 32 49.2 % 116 / 236
capi_proof_rule_black.cpp
100.0%
 100.0 % 16 / 16 100.0 % 16 / 16 60.0 % 12 / 20
capi_result_black.cpp
100.0%
 100.0 % 105 / 105 100.0 % 30 / 30 50.0 % 92 / 184
capi_skolem_id_black.cpp
100.0%
 100.0 % 10 / 10 100.0 % 8 / 8 57.1 % 8 / 14
capi_solver_black.cpp
99.5%99.5%
 99.5 % 2625 / 2638 98.6 % 564 / 572 50.1 % 2592 / 5170
capi_sort_black.cpp
100.0%
 100.0 % 476 / 476 100.0 % 228 / 228 50.0 % 731 / 1462
capi_sort_kind_black.cpp
100.0%
 100.0 % 15 / 15 100.0 % 4 / 4 58.3 % 21 / 36
capi_statistics_black.cpp
100.0%
 100.0 % 118 / 118 100.0 % 74 / 74 50.7 % 210 / 414
capi_symbol_manager_black.cpp
100.0%
 100.0 % 60 / 60 100.0 % 24 / 24 50.0 % 65 / 130
capi_synth_result_black.cpp
100.0%
 100.0 % 79 / 79 100.0 % 30 / 30 50.0 % 84 / 168
capi_term_black.cpp
99.8%99.8%
 99.8 % 808 / 810 100.0 % 126 / 126 50.1 % 1445 / 2886
capi_term_manager_black.cpp
99.7%99.7%
 99.7 % 1070 / 1073 100.0 % 290 / 290 50.1 % 1727 / 3450
capi_types_black.cpp
100.0%
 100.0 % 31 / 31 100.0 % 8 / 8 50.7 % 73 / 144
capi_uncovered_black.cpp
100.0%
 100.0 % 325 / 325 98.4 % 60 / 61 49.5 % 103 / 208

Generated by: LCOV version 1.14