LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/expr Hit Total Coverage
Test: coverage.info Lines: 5407 6215 87.0 %
Date: 2026-04-08 10:18:47 Functions: 2500 2866 87.2 %
Branches: 3061 5259 58.2 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage Branches Sort by branch coverage
aci_norm.cpp
97.8%97.8%
 97.8 % 177 / 181 100.0 % 9 / 9 80.5 % 107 / 133
annotation_elim_node_converter.cpp
0.0%
 0.0 % 0 / 7 0.0 % 0 / 2 0.0 % 0 / 6
annotation_elim_node_converter.h
0.0%
 0.0 % 0 / 1 0.0 % 0 / 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
40.0%40.0%
 40.0 % 20 / 50 66.7 % 4 / 6 11.1 % 2 / 18
attribute.h
77.5%77.5%
 77.5 % 86 / 111 96.1 % 770 / 801 42.3 % 11 / 26
attribute_internals.h
98.9%98.9%
 98.9 % 184 / 186 74.0 % 404 / 546 62.2 % 56 / 90
attribute_unique_id.h
0.0%
 0.0 % 0 / 2 0.0 % 0 / 2 - 0 / 0
beta_reduce_converter.cpp
40.0%40.0%
 40.0 % 4 / 10 100.0 % 1 / 1 16.7 % 3 / 18
beta_reduce_converter.h
100.0%
 100.0 % 2 / 2 66.7 % 2 / 3 - 0 / 0
bound_var_id.cpp
0.0%
 0.0 % 0 / 31 0.0 % 0 / 2 0.0 % 0 / 22
bound_var_manager.cpp
87.1%87.1%
 87.1 % 27 / 31 90.0 % 9 / 10 100.0 % 2 / 2
cardinality_constraint.cpp
75.0%75.0%
 75.0 % 30 / 40 76.5 % 13 / 17 50.0 % 5 / 10
codatatype_bound_variable.cpp
48.8%48.8%
 48.8 % 20 / 41 53.8 % 7 / 13 21.1 % 8 / 38
dtype.cpp
91.0%91.0%
 91.0 % 513 / 564 93.9 % 62 / 66 55.0 % 332 / 604
dtype_cons.cpp
94.0%94.0%
 94.0 % 361 / 384 97.4 % 38 / 39 54.9 % 212 / 386
dtype_cons.h
100.0%
 100.0 % 1 / 1 100.0 % 1 / 1 - 0 / 0
dtype_selector.cpp
93.2%93.2%
 93.2 % 41 / 44 90.9 % 10 / 11 47.5 % 19 / 40
elim_shadow_converter.cpp
100.0%
 100.0 % 61 / 61 100.0 % 5 / 5 64.7 % 22 / 34
elim_shadow_converter.h
100.0%
 100.0 % 1 / 1 50.0 % 1 / 2 - 0 / 0
elim_witness_converter.cpp
97.5%97.5%
 97.5 % 39 / 40 75.0 % 3 / 4 50.0 % 17 / 34
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
66.7%66.7%
 66.7 % 16 / 24 60.0 % 3 / 5 50.0 % 3 / 6
function_array_const.cpp
56.9%56.9%
 56.9 % 29 / 51 53.3 % 8 / 15 31.2 % 15 / 48
internal_skolem_id.cpp
95.2%95.2%
 95.2 % 20 / 21 100.0 % 2 / 2 92.3 % 12 / 13
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.3%98.3%
 98.3 % 113 / 115 100.0 % 3 / 3 70.7 % 58 / 82
match_trie.h
100.0%
 100.0 % 1 / 1 50.0 % 1 / 2 - 0 / 0
nary_match_trie.cpp
82.2%82.2%
 82.2 % 125 / 152 60.0 % 3 / 5 67.2 % 92 / 137
nary_term_util.cpp
96.4%96.4%
 96.4 % 133 / 138 100.0 % 6 / 6 65.9 % 83 / 126
node.cpp
80.8%80.8%
 80.8 % 59 / 73 68.2 % 15 / 22 63.0 % 17 / 27
node.h
94.8%94.8%
 94.8 % 310 / 327 94.4 % 535 / 567 51.5 % 104 / 202
node_algorithm.cpp
90.7%90.7%
 90.7 % 440 / 485 91.2 % 31 / 34 83.8 % 306 / 365
node_builder.cpp
75.9%75.9%
 75.9 % 271 / 357 89.2 % 33 / 37 42.0 % 173 / 412
node_builder.h
100.0%
 100.0 % 8 / 8 87.5 % 7 / 8 42.9 % 6 / 14
node_converter.cpp
91.5%91.5%
 91.5 % 151 / 165 81.8 % 9 / 11 52.1 % 101 / 194
node_converter.h
100.0%
 100.0 % 1 / 1 50.0 % 1 / 2 - 0 / 0
node_self_iterator.h
97.2%97.2%
 97.2 % 35 / 36 100.0 % 12 / 12 50.0 % 16 / 32
node_traversal.cpp
98.6%98.6%
 98.6 % 68 / 69 92.3 % 12 / 13 78.4 % 29 / 37
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 % 31 / 31 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.8%37.8%
 37.8 % 17 / 45 50.0 % 4 / 8 22.2 % 4 / 18
node_value.h
92.0%92.0%
 92.0 % 104 / 113 97.0 % 64 / 66 70.5 % 31 / 44
node_visitor.h
100.0%
 100.0 % 25 / 25 100.0 % 6 / 6 100.0 % 10 / 10
non_closed_node_converter.cpp
87.5%87.5%
 87.5 % 49 / 56 71.4 % 5 / 7 83.3 % 25 / 30
normalize_sort_converter.cpp
88.9%88.9%
 88.9 % 8 / 9 100.0 % 2 / 2 50.0 % 1 / 2
normalize_sort_converter.h
100.0%
 100.0 % 1 / 1 50.0 % 1 / 2 - 0 / 0
oracle.h
100.0%
 100.0 % 8 / 8 100.0 % 4 / 4 - 0 / 0
oracle_caller.cpp
72.1%72.1%
 72.1 % 31 / 43 83.3 % 5 / 6 30.8 % 16 / 52
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
66.7%66.7%
 66.7 % 128 / 192 72.4 % 21 / 29 55.0 % 99 / 180
sequence.h
100.0%
 100.0 % 3 / 3 100.0 % 3 / 3 - 0 / 0
skolem_manager.cpp
95.1%95.1%
 95.1 % 346 / 364 95.0 % 19 / 20 47.0 % 229 / 487
skolem_manager.h
100.0%
 100.0 % 1 / 1 100.0 % 1 / 1 - 0 / 0
sort_to_term.cpp
100.0%
 100.0 % 12 / 12 100.0 % 7 / 7 - 0 / 0
sort_type_size.cpp
55.6%55.6%
 55.6 % 10 / 18 50.0 % 1 / 2 50.0 % 4 / 8
subs.cpp
50.6%50.6%
 50.6 % 45 / 89 60.0 % 12 / 20 34.4 % 11 / 32
subs.h
100.0%
 100.0 % 2 / 2 66.7 % 2 / 3 - 0 / 0
subtype_elim_node_converter.cpp
100.0%
 100.0 % 42 / 42 100.0 % 3 / 3 100.0 % 44 / 44
subtype_elim_node_converter.h
100.0%
 100.0 % 1 / 1 50.0 % 1 / 2 - 0 / 0
sygus_datatype.cpp
85.4%85.4%
 85.4 % 35 / 41 80.0 % 8 / 10 53.3 % 16 / 30
sygus_datatype.h
100.0%
 100.0 % 1 / 1 100.0 % 1 / 1 - 0 / 0
sygus_grammar.cpp
93.4%93.4%
 93.4 % 198 / 212 89.5 % 17 / 19 63.9 % 115 / 180
sygus_term_enumerator.cpp
91.7%91.7%
 91.7 % 22 / 24 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.9%95.9%
 95.9 % 117 / 122 90.9 % 10 / 11 78.4 % 69 / 88
term_canonize.h
100.0%
 100.0 % 3 / 3 75.0 % 3 / 4 - 0 / 0
term_context.cpp
85.7%85.7%
 85.7 % 66 / 77 72.7 % 16 / 22 70.6 % 48 / 68
term_context.h
100.0%
 100.0 % 8 / 8 88.9 % 8 / 9 - 0 / 0
term_context_node.cpp
10.7%10.7%
 10.7 % 3 / 28 10.0 % 1 / 10 - 0 / 0
term_context_stack.cpp
83.3%83.3%
 83.3 % 30 / 36 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
77.6%77.6%
 77.6 % 45 / 58 63.8 % 37 / 58 45.8 % 22 / 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
94.5%94.5%
 94.5 % 346 / 366 97.1 % 67 / 69 69.5 % 331 / 476
type_node.h
97.7%97.7%
 97.7 % 128 / 131 100.0 % 68 / 68 49.0 % 48 / 98
variadic_trie.cpp
94.4%94.4%
 94.4 % 17 / 18 100.0 % 2 / 2 92.9 % 13 / 14

Generated by: LCOV version 1.14