LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/theory/strings Hit Total Coverage
Test: coverage.info Lines: 12398 14608 84.9 %
Date: 2026-02-19 12:02:37 Functions: 578 654 88.4 %
Branches: 8621 13155 65.5 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage Branches Sort by branch coverage
arith_entail.cpp
92.6%92.6%
 92.6 % 561 / 606 95.2 % 20 / 21 72.3 % 400 / 553
array_core_solver.cpp
96.0%96.0%
 96.0 % 169 / 176 90.0 % 9 / 10 64.6 % 62 / 96
array_solver.cpp
94.5%94.5%
 94.5 % 208 / 220 90.0 % 9 / 10 73.8 % 121 / 164
base_solver.cpp
85.5%85.5%
 85.5 % 419 / 490 88.9 % 16 / 18 64.9 % 309 / 476
code_point_solver.cpp
100.0%
 100.0 % 64 / 64 100.0 % 2 / 2 87.0 % 47 / 54
code_point_solver.h
100.0%
 100.0 % 1 / 1 50.0 % 1 / 2 - 0 / 0
core_solver.cpp
80.6%80.6%
 80.6 % 1235 / 1532 86.5 % 32 / 37 61.2 % 928 / 1517
core_solver.h
100.0%
 100.0 % 1 / 1 100.0 % 1 / 1 - 0 / 0
eager_solver.cpp
94.9%94.9%
 94.9 % 149 / 157 100.0 % 11 / 11 64.3 % 146 / 227
eqc_info.cpp
100.0%
 100.0 % 72 / 72 100.0 % 3 / 3 64.2 % 68 / 106
eqc_info.h
100.0%
 100.0 % 1 / 1 100.0 % 1 / 1 - 0 / 0
extf_solver.cpp
87.1%87.1%
 87.1 % 419 / 481 77.3 % 17 / 22 69.9 % 373 / 534
extf_solver.h
100.0%
 100.0 % 2 / 2 100.0 % 2 / 2 - 0 / 0
infer_info.cpp
63.6%63.6%
 63.6 % 21 / 33 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
84.3%84.3%
 84.3 % 738 / 875 94.1 % 16 / 17 58.2 % 537 / 923
infer_proof_cons.h
100.0%
 100.0 % 1 / 1 100.0 % 2 / 2 - 0 / 0
inference_manager.cpp
94.1%94.1%
 94.1 % 302 / 321 93.8 % 15 / 16 66.5 % 242 / 364
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 % 22 / 22 100.0 % 4 / 4 81.2 % 13 / 16
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 % 78 / 82 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
86.2%86.2%
 86.2 % 280 / 325 100.0 % 3 / 3 50.2 % 249 / 496
regexp_elim.cpp
91.9%91.9%
 91.9 % 319 / 347 100.0 % 7 / 7 67.6 % 188 / 278
regexp_entail.cpp
90.3%90.3%
 90.3 % 521 / 577 100.0 % 13 / 13 76.7 % 465 / 606
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.4%97.4%
 97.4 % 149 / 153 100.0 % 8 / 8 74.1 % 80 / 108
regexp_operation.cpp
28.6%28.6%
 28.6 % 314 / 1098 50.0 % 12 / 24 21.4 % 133 / 622
regexp_solver.cpp
76.4%76.4%
 76.4 % 307 / 402 100.0 % 17 / 17 66.8 % 235 / 352
regexp_solver.h
100.0%
 100.0 % 1 / 1 50.0 % 1 / 2 - 0 / 0
rewrites.cpp
98.6%98.6%
 98.6 % 211 / 214 100.0 % 2 / 2 99.0 % 202 / 204
sequences_rewriter.cpp
97.2%97.2%
 97.2 % 2224 / 2288 100.0 % 62 / 62 78.7 % 1749 / 2221
sequences_stats.cpp
100.0%
 100.0 % 12 / 12 100.0 % 1 / 1 - 0 / 0
skolem_cache.cpp
88.6%88.6%
 88.6 % 156 / 176 100.0 % 13 / 13 67.6 % 75 / 111
solver_state.cpp
99.2%99.2%
 99.2 % 123 / 124 95.0 % 19 / 20 73.0 % 54 / 74
strategy.cpp
97.3%97.3%
 97.3 % 107 / 110 90.0 % 9 / 10 67.2 % 45 / 67
strings_entail.cpp
92.3%92.3%
 92.3 % 492 / 533 94.4 % 17 / 18 70.2 % 436 / 621
strings_fmf.cpp
89.1%89.1%
 89.1 % 41 / 46 70.0 % 7 / 10 75.0 % 15 / 20
strings_rewriter.cpp
92.5%92.5%
 92.5 % 185 / 200 90.9 % 10 / 11 66.8 % 127 / 190
term_registry.cpp
89.7%89.7%
 89.7 % 374 / 417 91.2 % 31 / 34 71.3 % 214 / 300
theory_strings.cpp
84.2%84.2%
 84.2 % 682 / 810 90.6 % 29 / 32 58.2 % 422 / 725
theory_strings.h
100.0%
 100.0 % 27 / 27 100.0 % 7 / 7 56.2 % 9 / 16
theory_strings_preprocess.cpp
99.1%99.1%
 99.1 % 575 / 580 87.5 % 7 / 8 84.5 % 98 / 116
theory_strings_type_rules.cpp
58.5%58.5%
 58.5 % 159 / 272 52.6 % 20 / 38 46.1 % 105 / 228
theory_strings_utils.cpp
84.4%84.4%
 84.4 % 206 / 244 84.4 % 27 / 32 71.9 % 184 / 256
type_enumerator.cpp
97.4%97.4%
 97.4 % 149 / 153 100.0 % 32 / 32 62.5 % 45 / 72
type_enumerator.h
100.0%
 100.0 % 6 / 6 90.9 % 10 / 11 - 0 / 0
word.cpp
87.7%87.7%
 87.7 % 292 / 333 96.0 % 24 / 25 51.7 % 155 / 300

Generated by: LCOV version 1.14