LCOV - code coverage report

Current view: top level - /buildbot/coverage/build/test/unit/api/c Hit Total Coverage Test: coverage.info Lines: 7050 7068 99.7 % Date: 2026-02-26 11:40:56 Functions: 1846 1855 99.5 % Branches: 2612 5180 50.4 %

Filename	Line Coverage			Functions		Branches
capi_command_black.cpp		100.0 %	43 / 43	100.0 %	15 / 15	50.0 %	19 / 38
capi_datatype_black.cpp		100.0 %	602 / 602	100.0 %	228 / 228	50.4 %	243 / 482
capi_grammar_black.cpp		100.0 %	210 / 210	100.0 %	30 / 30	50.0 %	83 / 166
capi_input_parser_black.cpp		100.0 %	219 / 219	100.0 %	55 / 55	50.9 %	108 / 212
capi_kind_black.cpp		100.0 %	12 / 12	100.0 %	4 / 4	62.5 %	15 / 24
capi_op_black.cpp		100.0 %	227 / 227	100.0 %	34 / 34	51.2 %	127 / 248
capi_parametric_datatype_black.cpp		100.0 %	23 / 23	100.0 %	10 / 10	50.0 %	2 / 4
capi_proof_black.cpp		100.0 %	133 / 133	100.0 %	32 / 32	48.1 %	50 / 104
capi_proof_rule_black.cpp		100.0 %	16 / 16	100.0 %	16 / 16	60.0 %	12 / 20
capi_result_black.cpp		100.0 %	105 / 105	100.0 %	30 / 30	50.0 %	50 / 100
capi_skolem_id_black.cpp		100.0 %	10 / 10	100.0 %	8 / 8	57.1 %	8 / 14
capi_solver_black.cpp		99.5 %	2539 / 2552	98.6 %	548 / 556	50.4 %	558 / 1108
capi_sort_black.cpp		100.0 %	473 / 473	100.0 %	228 / 228	50.0 %	323 / 646
capi_sort_kind_black.cpp		100.0 %	15 / 15	100.0 %	4 / 4	62.5 %	15 / 24
capi_statistics_black.cpp		100.0 %	96 / 96	100.0 %	66 / 66	50.0 %	34 / 68
capi_symbol_manager_black.cpp		100.0 %	51 / 51	100.0 %	24 / 24	50.0 %	17 / 34
capi_synth_result_black.cpp		100.0 %	78 / 78	100.0 %	30 / 30	50.0 %	42 / 84
capi_term_black.cpp		99.8 %	807 / 809	100.0 %	126 / 126	50.1 %	677 / 1350
capi_term_manager_black.cpp		99.7 %	1037 / 1040	100.0 %	290 / 290	50.9 %	119 / 234
capi_types_black.cpp		100.0 %	31 / 31	100.0 %	8 / 8	58.3 %	7 / 12
capi_uncovered_black.cpp		100.0 %	323 / 323	98.4 %	60 / 61	49.5 %	103 / 208

Generated by: LCOV version 1.14