LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/theory/strings Hit Total Coverage
Test: coverage.info Lines: 11236 13319 84.4 %
Date: 2025-03-18 11:47:40 Functions: 575 651 88.3 %
Branches: 7614 11876 64.1 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage Branches Sort by branch coverage
arith_entail.cpp
92.4%92.4%
 92.4 % 513 / 555 95.2 % 20 / 21 73.0 % 386 / 529
array_core_solver.cpp
95.6%95.6%
 95.6 % 152 / 159 90.0 % 9 / 10 63.0 % 58 / 92
array_solver.cpp
94.5%94.5%
 94.5 % 189 / 200 90.0 % 9 / 10 72.8 % 115 / 158
base_solver.cpp
81.7%81.7%
 81.7 % 367 / 449 88.9 % 16 / 18 61.0 % 255 / 418
code_point_solver.cpp
100.0%
 100.0 % 57 / 57 100.0 % 2 / 2 84.1 % 37 / 44
code_point_solver.h
100.0%
 100.0 % 1 / 1 50.0 % 1 / 2 - 0 / 0
core_solver.cpp
80.7%80.7%
 80.7 % 1151 / 1427 86.5 % 32 / 37 59.0 % 773 / 1310
core_solver.h
100.0%
 100.0 % 1 / 1 100.0 % 1 / 1 - 0 / 0
eager_solver.cpp
94.4%94.4%
 94.4 % 134 / 142 100.0 % 11 / 11 62.9 % 127 / 202
eqc_info.cpp
100.0%
 100.0 % 61 / 61 100.0 % 3 / 3 63.7 % 65 / 102
eqc_info.h
100.0%
 100.0 % 1 / 1 100.0 % 1 / 1 - 0 / 0
extf_solver.cpp
85.6%85.6%
 85.6 % 351 / 410 77.3 % 17 / 22 67.9 % 303 / 446
extf_solver.h
100.0%
 100.0 % 2 / 2 100.0 % 2 / 2 - 0 / 0
infer_info.cpp
62.5%62.5%
 62.5 % 20 / 32 75.0 % 6 / 8 56.0 % 28 / 50
infer_info.h
100.0%
 100.0 % 3 / 3 80.0 % 4 / 5 75.0 % 3 / 4
infer_proof_cons.cpp
85.1%85.1%
 85.1 % 700 / 823 93.8 % 15 / 16 58.1 % 468 / 805
infer_proof_cons.h
100.0%
 100.0 % 1 / 1 100.0 % 2 / 2 - 0 / 0
inference_manager.cpp
93.9%93.9%
 93.9 % 276 / 294 93.8 % 15 / 16 64.1 % 218 / 340
inference_manager.h
100.0%
 100.0 % 1 / 1 50.0 % 1 / 2 - 0 / 0
model_cons.h
100.0%
 100.0 % 2 / 2 66.7 % 2 / 3 - 0 / 0
model_cons_default.cpp
100.0%
 100.0 % 21 / 21 100.0 % 4 / 4 100.0 % 8 / 8
model_cons_default.h
100.0%
 100.0 % 1 / 1 50.0 % 1 / 2 - 0 / 0
normal_form.cpp
95.1%95.1%
 95.1 % 77 / 81 100.0 % 7 / 7 67.0 % 59 / 88
normal_form.h
100.0%
 100.0 % 1 / 1 100.0 % 1 / 1 - 0 / 0
proof_checker.cpp
85.6%85.6%
 85.6 % 256 / 299 100.0 % 3 / 3 49.8 % 234 / 470
regexp_elim.cpp
92.3%92.3%
 92.3 % 287 / 311 100.0 % 7 / 7 68.1 % 177 / 260
regexp_entail.cpp
89.8%89.8%
 89.8 % 483 / 538 100.0 % 13 / 13 75.5 % 407 / 539
regexp_enumerator.cpp
100.0%
 100.0 % 14 / 14 100.0 % 5 / 5 - 0 / 0
regexp_enumerator.h
100.0%
 100.0 % 1 / 1 100.0 % 2 / 2 - 0 / 0
regexp_eval.cpp
97.3%97.3%
 97.3 % 142 / 146 100.0 % 8 / 8 74.0 % 74 / 100
regexp_operation.cpp
28.0%28.0%
 28.0 % 285 / 1019 50.0 % 12 / 24 21.4 % 128 / 598
regexp_solver.cpp
76.0%76.0%
 76.0 % 275 / 362 100.0 % 17 / 17 64.5 % 191 / 296
regexp_solver.h
100.0%
 100.0 % 1 / 1 50.0 % 1 / 2 - 0 / 0
rewrites.cpp
98.6%98.6%
 98.6 % 209 / 212 100.0 % 2 / 2 99.0 % 200 / 202
sequences_rewriter.cpp
97.0%97.0%
 97.0 % 1923 / 1983 100.0 % 61 / 61 76.5 % 1462 / 1910
sequences_stats.cpp
100.0%
 100.0 % 12 / 12 100.0 % 1 / 1 - 0 / 0
skolem_cache.cpp
87.5%87.5%
 87.5 % 119 / 136 100.0 % 12 / 12 67.7 % 67 / 99
solver_state.cpp
98.3%98.3%
 98.3 % 113 / 115 95.0 % 19 / 20 72.2 % 52 / 72
strategy.cpp
97.2%97.2%
 97.2 % 106 / 109 90.0 % 9 / 10 67.2 % 45 / 67
strings_entail.cpp
91.9%91.9%
 91.9 % 456 / 496 94.4 % 17 / 18 68.3 % 397 / 581
strings_fmf.cpp
88.4%88.4%
 88.4 % 38 / 43 70.0 % 7 / 10 75.0 % 15 / 20
strings_rewriter.cpp
92.6%92.6%
 92.6 % 162 / 175 90.9 % 10 / 11 66.9 % 115 / 172
term_registry.cpp
90.6%90.6%
 90.6 % 318 / 351 91.2 % 31 / 34 70.4 % 197 / 280
theory_strings.cpp
83.3%83.3%
 83.3 % 622 / 747 90.6 % 29 / 32 57.4 % 387 / 674
theory_strings.h
100.0%
 100.0 % 27 / 27 100.0 % 7 / 7 56.2 % 9 / 16
theory_strings_preprocess.cpp
99.5%99.5%
 99.5 % 552 / 555 87.5 % 7 / 8 84.5 % 98 / 116
theory_strings_type_rules.cpp
55.2%55.2%
 55.2 % 138 / 250 52.6 % 20 / 38 41.5 % 78 / 188
theory_strings_utils.cpp
85.0%85.0%
 85.0 % 199 / 234 84.4 % 27 / 32 71.4 % 180 / 252
type_enumerator.cpp
97.3%97.3%
 97.3 % 146 / 150 100.0 % 32 / 32 62.9 % 44 / 70
type_enumerator.h
100.0%
 100.0 % 6 / 6 90.9 % 10 / 11 - 0 / 0
word.cpp
87.1%87.1%
 87.1 % 263 / 302 96.0 % 24 / 25 51.7 % 154 / 298

Generated by: LCOV version 1.14