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-16 11:38:27 Functions: 949 959 99.0 % Branches: 1280 2518 50.8 %

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

Generated by: LCOV version 1.14