LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/test/unit/api/c Hit Total Coverage
Test: coverage.info Lines: 7123 7141 99.7 %
Date: 2026-07-18 10:35:40 Functions: 1884 1893 99.5 %
Branches: 8753 17458 50.1 %

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 % 43 / 43 100.0 % 15 / 15 50.0 % 49 / 98
capi_datatype_black.cpp
100.0%
 100.0 % 602 / 602 100.0 % 228 / 228 50.1 % 771 / 1538
capi_error_handling_black.cpp
100.0%
 100.0 % 73 / 73 100.0 % 38 / 38 50.0 % 63 / 126
capi_grammar_black.cpp
100.0%
 100.0 % 210 / 210 100.0 % 30 / 30 50.0 % 239 / 478
capi_input_parser_black.cpp
100.0%
 100.0 % 219 / 219 100.0 % 55 / 55 50.4 % 228 / 452
capi_kind_black.cpp
100.0%
 100.0 % 12 / 12 100.0 % 4 / 4 58.3 % 21 / 36
capi_op_black.cpp
100.0%
 100.0 % 227 / 227 100.0 % 34 / 34 50.8 % 187 / 368
capi_parametric_datatype_black.cpp
100.0%
 100.0 % 23 / 23 100.0 % 10 / 10 50.0 % 20 / 40
capi_proof_black.cpp
100.0%
 100.0 % 133 / 133 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 % 104 / 104 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 % 2540 / 2553 98.6 % 548 / 556 50.1 % 2520 / 5028
capi_sort_black.cpp
100.0%
 100.0 % 473 / 473 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 % 96 / 96 100.0 % 66 / 66 50.0 % 184 / 368
capi_symbol_manager_black.cpp
100.0%
 100.0 % 51 / 51 100.0 % 24 / 24 50.0 % 59 / 118
capi_synth_result_black.cpp
100.0%
 100.0 % 78 / 78 100.0 % 30 / 30 50.0 % 84 / 168
capi_term_black.cpp
99.8%99.8%
 99.8 % 807 / 809 100.0 % 126 / 126 50.1 % 1445 / 2886
capi_term_manager_black.cpp
99.7%99.7%
 99.7 % 1037 / 1040 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 % 323 / 323 98.4 % 60 / 61 49.5 % 103 / 208

Generated by: LCOV version 1.14