LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/theory/strings Hit Total Coverage
Test: coverage.info Lines: 11365 13446 84.5 %
Date: 2026-01-22 12:22:00 Functions: 578 654 88.4 %
Branches: 7693 11981 64.2 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage Branches Sort by branch coverage
arith_entail.cpp
92.5%92.5%
 92.5 % 519 / 561 95.2 % 20 / 21 72.9 % 384 / 527
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
85.0%85.0%
 85.0 % 386 / 454 88.9 % 16 / 18 64.7 % 273 / 422
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.5%80.5%
 80.5 % 1149 / 1427 86.5 % 32 / 37 58.6 % 768 / 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
86.4%86.4%
 86.4 % 380 / 440 77.3 % 17 / 22 67.3 % 319 / 474
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
83.8%83.8%
 83.8 % 692 / 826 94.1 % 16 / 17 57.1 % 461 / 807
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 % 275 / 293 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 % 20 / 20 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 % 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.2%85.2%
 85.2 % 260 / 305 100.0 % 3 / 3 49.8 % 235 / 472
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.3 % 406 / 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.1%76.1%
 76.1 % 277 / 364 100.0 % 17 / 17 64.8 % 193 / 298
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 % 1958 / 2015 100.0 % 62 / 62 76.8 % 1480 / 1927
sequences_stats.cpp
100.0%
 100.0 % 12 / 12 100.0 % 1 / 1 - 0 / 0
skolem_cache.cpp
89.5%89.5%
 89.5 % 145 / 162 100.0 % 13 / 13 67.6 % 75 / 111
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.8 % 400 / 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.4%90.4%
 90.4 % 338 / 374 91.2 % 31 / 34 71.0 % 206 / 290
theory_strings.cpp
83.8%83.8%
 83.8 % 627 / 748 90.6 % 29 / 32 57.3 % 398 / 694
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 % 549 / 552 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
84.8%84.8%
 84.8 % 195 / 230 84.4 % 27 / 32 71.8 % 181 / 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