LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/test/unit/api/cpp Hit Total Coverage
Test: coverage.info Lines: 5321 5326 99.9 %
Date: 2024-09-27 12:14:44 Functions: 789 799 98.7 %
Branches: 4466 8896 50.2 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage Branches Sort by branch coverage
api_command_black.cpp
100.0%
 100.0 % 33 / 33 90.0 % 9 / 10 50.0 % 11 / 22
api_datatype_black.cpp
100.0%
 100.0 % 453 / 453 100.0 % 22 / 22 50.5 % 197 / 390
api_deprecated_black.cpp
100.0%
 100.0 % 111 / 111 100.0 % 6 / 6 58.3 % 14 / 24
api_grammar_black.cpp
100.0%
 100.0 % 121 / 121 100.0 % 13 / 13 50.0 % 96 / 192
api_input_parser_black.cpp
100.0%
 100.0 % 205 / 205 97.4 % 37 / 38 51.5 % 104 / 202
api_kind_black.cpp
100.0%
 100.0 % 10 / 10 100.0 % 2 / 2 71.4 % 10 / 14
api_op_black.cpp
100.0%
 100.0 % 117 / 117 100.0 % 14 / 14 50.8 % 65 / 128
api_op_white.cpp
100.0%
 100.0 % 5 / 5 100.0 % 2 / 2 50.0 % 3 / 6
api_parametric_datatype_black.cpp
100.0%
 100.0 % 7 / 7 100.0 % 2 / 2 50.0 % 5 / 10
api_proof_black.cpp
100.0%
 100.0 % 83 / 83 100.0 % 16 / 16 51.4 % 36 / 70
api_proof_rule_black.cpp
100.0%
 100.0 % 22 / 22 100.0 % 8 / 8 60.0 % 12 / 20
api_result_black.cpp
100.0%
 100.0 % 62 / 62 100.0 % 10 / 10 50.0 % 27 / 54
api_skolem_id_black.cpp
100.0%
 100.0 % 8 / 8 100.0 % 4 / 4 62.5 % 5 / 8
api_solver_black.cpp
99.9%99.9%
 99.9 % 1766 / 1768 97.5 % 275 / 282 50.0 % 1168 / 2336
api_solver_white.cpp
100.0%
 100.0 % 19 / 19 100.0 % 2 / 2 50.0 % 3 / 6
api_sort_black.cpp
100.0%
 100.0 % 420 / 420 100.0 % 124 / 124 50.0 % 315 / 630
api_sort_kind_black.cpp
100.0%
 100.0 % 13 / 13 100.0 % 2 / 2 71.4 % 10 / 14
api_symbol_manager_black.cpp
100.0%
 100.0 % 22 / 22 90.0 % 9 / 10 50.0 % 9 / 18
api_synth_result_black.cpp
100.0%
 100.0 % 49 / 49 100.0 % 10 / 10 50.0 % 22 / 44
api_term_black.cpp
100.0%
 100.0 % 960 / 960 100.0 % 80 / 80 50.0 % 1265 / 2530
api_term_manager_black.cpp
99.6%99.6%
 99.6 % 769 / 772 100.0 % 138 / 138 50.0 % 1080 / 2160
api_term_white.cpp
100.0%
 100.0 % 40 / 40 100.0 % 2 / 2 50.0 % 7 / 14
api_types_black.cpp
100.0%
 100.0 % 26 / 26 100.0 % 2 / 2 50.0 % 2 / 4

Generated by: LCOV version 1.14