LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/test/unit/api/cpp Hit Total Coverage
Test: coverage.info Lines: 5907 5913 99.9 %
Date: 2026-03-13 10:40:35 Functions: 1555 1564 99.4 %
Branches: 4688 10234 45.8 %

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 % 38 / 38 93.8 % 15 / 16 50.0 % 20 / 40
api_datatype_black.cpp
100.0%
 100.0 % 480 / 480 100.0 % 44 / 44 48.3 % 393 / 814
api_deprecated_black.cpp
100.0%
 100.0 % 116 / 116 100.0 % 12 / 12 52.1 % 25 / 48
api_grammar_black.cpp
100.0%
 100.0 % 131 / 131 100.0 % 25 / 25 47.2 % 100 / 212
api_input_parser_black.cpp
100.0%
 100.0 % 226 / 226 98.6 % 71 / 72 47.1 % 180 / 382
api_kind_black.cpp
100.0%
 100.0 % 11 / 11 100.0 % 4 / 4 62.5 % 15 / 24
api_op_black.cpp
100.0%
 100.0 % 125 / 125 100.0 % 28 / 28 50.0 % 122 / 244
api_op_white.cpp
100.0%
 100.0 % 6 / 6 100.0 % 4 / 4 50.0 % 7 / 14
api_parametric_datatype_black.cpp
100.0%
 100.0 % 9 / 9 100.0 % 4 / 4 50.0 % 5 / 10
api_proof_black.cpp
100.0%
 100.0 % 93 / 93 100.0 % 30 / 30 47.7 % 62 / 130
api_proof_rule_black.cpp
100.0%
 100.0 % 24 / 24 100.0 % 16 / 16 55.6 % 20 / 36
api_result_black.cpp
100.0%
 100.0 % 70 / 70 100.0 % 20 / 20 50.0 % 67 / 134
api_skolem_id_black.cpp
100.0%
 100.0 % 11 / 11 100.0 % 8 / 8 56.2 % 9 / 16
api_solver_black.cpp
99.8%99.8%
 99.8 % 1985 / 1988 98.9 % 536 / 542 46.0 % 1350 / 2934
api_solver_white.cpp
100.0%
 100.0 % 24 / 24 100.0 % 4 / 4 50.0 % 17 / 34
api_sort_black.cpp
100.0%
 100.0 % 479 / 479 100.0 % 246 / 246 45.1 % 434 / 962
api_sort_kind_black.cpp
100.0%
 100.0 % 15 / 15 100.0 % 4 / 4 61.5 % 16 / 26
api_symbol_manager_black.cpp
100.0%
 100.0 % 33 / 33 95.2 % 20 / 21 50.0 % 19 / 38
api_synth_result_black.cpp
100.0%
 100.0 % 58 / 58 100.0 % 20 / 20 50.0 % 55 / 110
api_term_black.cpp
100.0%
 100.0 % 1026 / 1026 100.0 % 160 / 160 46.5 % 948 / 2038
api_term_manager_black.cpp
99.7%99.7%
 99.7 % 870 / 873 100.0 % 276 / 276 41.2 % 793 / 1926
api_term_white.cpp
100.0%
 100.0 % 46 / 46 100.0 % 4 / 4 50.0 % 24 / 48
api_types_black.cpp
100.0%
 100.0 % 31 / 31 100.0 % 4 / 4 50.0 % 7 / 14

Generated by: LCOV version 1.14