LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/test/unit/api/c Hit Total Coverage
Test: coverage.info Lines: 6811 6846 99.5 %
Date: 2024-10-31 11:39:51 Functions: 949 959 99.0 %
Branches: 1280 2518 50.8 %

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 % 41 / 41 100.0 % 9 / 9 50.0 % 9 / 18
capi_datatype_black.cpp
100.0%
100.0 % 586 / 586 100.0 % 116 / 116 50.8 % 121 / 238
capi_grammar_black.cpp
100.0%
100.0 % 201 / 201 100.0 % 16 / 16 50.0 % 33 / 66
capi_input_parser_black.cpp
100.0%
100.0 % 217 / 217 100.0 % 29 / 29 51.9 % 55 / 106
capi_kind_black.cpp
100.0%
100.0 % 11 / 11 100.0 % 2 / 2 71.4 % 10 / 14
capi_op_black.cpp
100.0%
100.0 % 211 / 211 100.0 % 18 / 18 52.4 % 65 / 124
capi_parametric_datatype_black.cpp
100.0%
100.0 % 21 / 21 100.0 % 6 / 6 - 0 / 0
capi_proof_black.cpp
100.0%
100.0 % 131 / 131 100.0 % 18 / 18 47.0 % 31 / 66
capi_proof_rule_black.cpp
100.0%
100.0 % 14 / 14 100.0 % 8 / 8 66.7 % 8 / 12
capi_result_black.cpp
100.0%
100.0 % 102 / 102 100.0 % 16 / 16 50.0 % 24 / 48
capi_skolem_id_black.cpp
100.0%
100.0 % 8 / 8 100.0 % 4 / 4 62.5 % 5 / 8
capi_solver_black.cpp
98.8%98.8%
98.8 % 2485 / 2515 96.9 % 279 / 288 50.6 % 244 / 482
capi_sort_black.cpp
100.0%
100.0 % 439 / 439 100.0 % 116 / 116 50.0 % 153 / 306
capi_sort_kind_black.cpp
100.0%
100.0 % 14 / 14 100.0 % 2 / 2 71.4 % 10 / 14
capi_statistics_black.cpp
100.0%
100.0 % 96 / 96 100.0 % 34 / 34 50.0 % 17 / 34
capi_symbol_manager_black.cpp
100.0%
100.0 % 50 / 50 100.0 % 14 / 14 50.0 % 8 / 16
capi_synth_result_black.cpp
100.0%
100.0 % 78 / 78 100.0 % 16 / 16 50.0 % 21 / 42
capi_term_black.cpp
99.7%99.7%
99.7 % 760 / 762 100.0 % 64 / 64 50.3 % 377 / 750
capi_term_manager_black.cpp
99.7%99.7%
99.7 % 1001 / 1004 100.0 % 146 / 146 52.1 % 49 / 94
capi_types_black.cpp
100.0%
100.0 % 24 / 24 100.0 % 2 / 2 50.0 % 1 / 2
capi_uncovered_black.cpp
100.0%
100.0 % 321 / 321 97.1 % 34 / 35 50.0 % 39 / 78

Generated by: LCOV version 1.14