LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/expr Hit Total Coverage
Test: coverage.info Lines: 4873 5654 86.2 %
Date: 2025-01-02 12:37:25 Functions: 2672 3046 87.7 %
Branches: 2725 4764 57.2 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage Branches Sort by branch coverage
aci_norm.cpp
98.1%98.1%
 98.1 % 106 / 108 100.0 % 5 / 5 90.8 % 59 / 65
annotation_elim_node_converter.cpp
100.0%
 100.0 % 7 / 7 100.0 % 2 / 2 83.3 % 5 / 6
annotation_elim_node_converter.h
100.0%
 100.0 % 1 / 1 50.0 % 1 / 2 - 0 / 0
array_store_all.cpp
55.8%55.8%
 55.8 % 24 / 43 50.0 % 7 / 14 25.0 % 11 / 44
ascription_type.cpp
55.6%55.6%
 55.6 % 10 / 18 66.7 % 6 / 9 - 0 / 0
attribute.cpp
36.7%36.7%
 36.7 % 22 / 60 66.7 % 4 / 6 11.1 % 2 / 18
attribute.h
79.0%79.0%
 79.0 % 94 / 119 95.6 % 872 / 912 42.3 % 11 / 26
attribute_internals.h
99.5%99.5%
 99.5 % 191 / 192 75.2 % 433 / 576 62.2 % 56 / 90
attribute_unique_id.h
0.0%
 0.0 % 0 / 2 0.0 % 0 / 2 - 0 / 0
bound_var_manager.cpp
88.9%88.9%
 88.9 % 16 / 18 88.9 % 8 / 9 - 0 / 0
bound_var_manager.h
100.0%
 100.0 % 13 / 13 100.0 % 25 / 25 60.0 % 6 / 10
cardinality_constraint.cpp
75.0%75.0%
 75.0 % 30 / 40 76.5 % 13 / 17 50.0 % 5 / 10
codatatype_bound_variable.cpp
50.0%50.0%
 50.0 % 20 / 40 53.8 % 7 / 13 21.1 % 8 / 38
dtype.cpp
90.0%90.0%
 90.0 % 449 / 499 93.9 % 62 / 66 53.6 % 304 / 567
dtype_cons.cpp
93.9%93.9%
 93.9 % 340 / 362 97.4 % 38 / 39 53.8 % 197 / 366
dtype_cons.h
100.0%
 100.0 % 1 / 1 100.0 % 1 / 1 - 0 / 0
dtype_selector.cpp
92.9%92.9%
 92.9 % 39 / 42 90.9 % 10 / 11 44.7 % 17 / 38
elim_shadow_converter.cpp
100.0%
 100.0 % 51 / 51 100.0 % 5 / 5 71.4 % 20 / 28
elim_shadow_converter.h
100.0%
 100.0 % 1 / 1 50.0 % 1 / 2 - 0 / 0
elim_witness_converter.cpp
95.7%95.7%
 95.7 % 22 / 23 75.0 % 3 / 4 50.0 % 5 / 10
elim_witness_converter.h
100.0%
 100.0 % 1 / 1 50.0 % 1 / 2 - 0 / 0
emptybag.cpp
61.5%61.5%
 61.5 % 8 / 13 75.0 % 6 / 8 - 0 / 0
emptyset.cpp
61.5%61.5%
 61.5 % 8 / 13 75.0 % 6 / 8 - 0 / 0
free_var_cache.cpp
65.2%65.2%
 65.2 % 15 / 23 60.0 % 3 / 5 50.0 % 3 / 6
function_array_const.cpp
56.0%56.0%
 56.0 % 28 / 50 53.3 % 8 / 15 31.2 % 15 / 48
internal_skolem_id.cpp
94.7%94.7%
 94.7 % 18 / 19 100.0 % 2 / 2 90.9 % 10 / 11
internal_skolem_id.h
100.0%
 100.0 % 2 / 2 100.0 % 1 / 1 - 0 / 0
kind_map.h
100.0%
 100.0 % 7 / 7 100.0 % 5 / 5 83.3 % 5 / 6
match_trie.cpp
98.1%98.1%
 98.1 % 105 / 107 100.0 % 3 / 3 71.2 % 57 / 80
match_trie.h
100.0%
 100.0 % 1 / 1 50.0 % 1 / 2 - 0 / 0
nary_match_trie.cpp
81.6%81.6%
 81.6 % 120 / 147 60.0 % 3 / 5 64.8 % 83 / 128
nary_term_util.cpp
84.5%84.5%
 84.5 % 109 / 129 83.3 % 5 / 6 60.0 % 69 / 115
node.cpp
87.1%87.1%
 87.1 % 54 / 62 63.6 % 14 / 22 63.0 % 17 / 27
node.h
94.4%94.4%
 94.4 % 303 / 321 94.1 % 577 / 613 51.5 % 103 / 200
node_algorithm.cpp
88.5%88.5%
 88.5 % 332 / 375 89.3 % 25 / 28 85.0 % 216 / 254
node_builder.cpp
75.4%75.4%
 75.4 % 266 / 353 86.8 % 33 / 38 42.1 % 164 / 390
node_builder.h
100.0%
 100.0 % 8 / 8 87.5 % 7 / 8 42.9 % 6 / 14
node_converter.cpp
91.6%91.6%
 91.6 % 142 / 155 81.8 % 9 / 11 51.5 % 100 / 194
node_converter.h
100.0%
 100.0 % 1 / 1 50.0 % 1 / 2 - 0 / 0
node_self_iterator.h
100.0%
 100.0 % 43 / 43 100.0 % 13 / 13 50.0 % 16 / 32
node_traversal.cpp
100.0%
 100.0 % 59 / 59 92.3 % 12 / 13 76.5 % 26 / 34
node_traversal.h
100.0%
 100.0 % 5 / 5 100.0 % 5 / 5 - 0 / 0
node_trie.cpp
83.7%83.7%
 83.7 % 36 / 43 62.5 % 5 / 8 60.0 % 18 / 30
node_trie.h
100.0%
 100.0 % 5 / 5 100.0 % 7 / 7 - 0 / 0
node_trie_algorithm.cpp
100.0%
 100.0 % 32 / 32 100.0 % 1 / 1 83.3 % 25 / 30
node_trie_algorithm.h
100.0%
 100.0 % 2 / 2 66.7 % 2 / 3 - 0 / 0
node_value.cpp
37.2%37.2%
 37.2 % 16 / 43 50.0 % 4 / 8 22.2 % 4 / 18
node_value.h
92.1%92.1%
 92.1 % 105 / 114 96.9 % 62 / 64 71.4 % 30 / 42
node_visitor.h
100.0%
 100.0 % 22 / 22 100.0 % 6 / 6 100.0 % 10 / 10
oracle.h
100.0%
 100.0 % 8 / 8 100.0 % 4 / 4 - 0 / 0
oracle_caller.cpp
71.8%71.8%
 71.8 % 28 / 39 83.3 % 5 / 6 33.3 % 16 / 48
oracle_caller.h
100.0%
 100.0 % 1 / 1 100.0 % 1 / 1 - 0 / 0
plugin.cpp
100.0%
 100.0 % 2 / 2 66.7 % 2 / 3 - 0 / 0
sequence.cpp
67.4%67.4%
 67.4 % 126 / 187 73.3 % 22 / 30 52.7 % 97 / 184
sequence.h
100.0%
 100.0 % 3 / 3 100.0 % 3 / 3 - 0 / 0
skolem_manager.cpp
96.6%96.6%
 96.6 % 309 / 320 95.0 % 19 / 20 47.7 % 219 / 459
skolem_manager.h
100.0%
 100.0 % 1 / 1 100.0 % 1 / 1 - 0 / 0
sort_to_term.cpp
84.6%84.6%
 84.6 % 11 / 13 85.7 % 6 / 7 - 0 / 0
sort_type_size.cpp
100.0%
 100.0 % 17 / 17 100.0 % 2 / 2 100.0 % 8 / 8
subs.cpp
47.1%47.1%
 47.1 % 40 / 85 55.0 % 11 / 20 34.4 % 11 / 32
subs.h
100.0%
 100.0 % 2 / 2 66.7 % 2 / 3 - 0 / 0
subtype_elim_node_converter.cpp
94.7%94.7%
 94.7 % 36 / 38 100.0 % 3 / 3 80.0 % 32 / 40
subtype_elim_node_converter.h
100.0%
 100.0 % 1 / 1 50.0 % 1 / 2 - 0 / 0
sygus_datatype.cpp
83.3%83.3%
 83.3 % 35 / 42 80.0 % 8 / 10 50.0 % 13 / 26
sygus_datatype.h
100.0%
 100.0 % 1 / 1 100.0 % 1 / 1 - 0 / 0
sygus_grammar.cpp
73.0%73.0%
 73.0 % 143 / 196 84.2 % 16 / 19 59.0 % 92 / 156
sygus_term_enumerator.cpp
90.9%90.9%
 90.9 % 20 / 22 100.0 % 4 / 4 75.0 % 9 / 12
sygus_term_enumerator.h
100.0%
 100.0 % 3 / 3 75.0 % 3 / 4 - 0 / 0
term_canonize.cpp
95.5%95.5%
 95.5 % 107 / 112 90.9 % 10 / 11 77.4 % 65 / 84
term_canonize.h
100.0%
 100.0 % 3 / 3 75.0 % 3 / 4 - 0 / 0
term_context.cpp
82.6%82.6%
 82.6 % 57 / 69 70.0 % 14 / 20 72.4 % 42 / 58
term_context.h
100.0%
 100.0 % 7 / 7 87.5 % 7 / 8 - 0 / 0
term_context_node.cpp
11.1%11.1%
 11.1 % 3 / 27 10.0 % 1 / 10 - 0 / 0
term_context_stack.cpp
85.7%85.7%
 85.7 % 30 / 35 75.0 % 9 / 12 41.7 % 10 / 24
term_context_stack.h
100.0%
 100.0 % 1 / 1 50.0 % 1 / 2 - 0 / 0
type_checker_util.h
75.5%75.5%
 75.5 % 40 / 53 66.1 % 37 / 56 50.0 % 24 / 48
type_matcher.cpp
95.2%95.2%
 95.2 % 60 / 63 100.0 % 7 / 7 75.0 % 36 / 48
type_matcher.h
100.0%
 100.0 % 2 / 2 100.0 % 2 / 2 - 0 / 0
type_node.cpp
95.3%95.3%
 95.3 % 326 / 342 96.9 % 63 / 65 69.0 % 294 / 426
type_node.h
98.0%98.0%
 98.0 % 144 / 147 100.0 % 72 / 72 55.3 % 63 / 114
variadic_trie.cpp
94.1%94.1%
 94.1 % 16 / 17 100.0 % 2 / 2 91.7 % 11 / 12

Generated by: LCOV version 1.14