LCOV - code coverage report | |||||||||||||||||||||||||||||
|
|||||||||||||||||||||||||||||
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 % | 40 / 40 | 100.0 % | 11 / 11 | 50.0 % | 6 / 12 | |
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 |