LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/theory/strings Hit Total Coverage
Test: coverage.info Lines: 13348 15661 85.2 %
Date: 2026-05-02 10:46:03 Functions: 605 684 88.5 %
Branches: 9144 14206 64.4 %

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 % 563 / 608 95.2 % 20 / 21 72.4 % 402 / 555
array_core_solver.cpp
96.1%96.1%
 96.1 % 171 / 178 90.9 % 10 / 11 63.5 % 66 / 104
array_solver.cpp
94.5%94.5%
 94.5 % 206 / 218 90.0 % 9 / 10 73.2 % 123 / 168
base_solver.cpp
85.9%85.9%
 85.9 % 437 / 509 90.0 % 18 / 20 64.8 % 315 / 486
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.7%80.7%
 80.7 % 1249 / 1547 82.1 % 32 / 39 60.8 % 935 / 1537
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 % 12 / 12 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.5%87.5%
 87.5 % 434 / 496 77.3 % 17 / 22 70.4 % 383 / 544
extf_solver.h
100.0%
 100.0 % 2 / 2 100.0 % 2 / 2 - 0 / 0
infer_info.cpp
64.7%64.7%
 64.7 % 22 / 34 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.5%84.5%
 84.5 % 742 / 878 94.7 % 18 / 19 58.1 % 539 / 927
infer_proof_cons.h
100.0%
 100.0 % 1 / 1 100.0 % 2 / 2 - 0 / 0
inference_manager.cpp
93.8%93.8%
 93.8 % 303 / 323 93.8 % 15 / 16 66.5 % 242 / 364
inference_manager.h
100.0%
 100.0 % 1 / 1 50.0 % 1 / 2 - 0 / 0
macro_rewrite_elaborator.cpp
91.5%91.5%
 91.5 % 849 / 928 94.7 % 18 / 19 49.8 % 457 / 917
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 % 4 / 4 50.2 % 249 / 496
regexp_elim.cpp
92.0%92.0%
 92.0 % 322 / 350 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.2%28.2%
 28.2 % 316 / 1120 50.0 % 12 / 24 21.2 % 135 / 638
regexp_solver.cpp
76.2%76.2%
 76.2 % 307 / 403 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.3%97.3%
 97.3 % 2243 / 2306 100.0 % 63 / 63 78.6 % 1758 / 2237
sequences_stats.cpp
100.0%
 100.0 % 12 / 12 100.0 % 1 / 1 - 0 / 0
skolem_cache.cpp
88.6%88.6%
 88.6 % 155 / 175 100.0 % 13 / 13 65.9 % 81 / 123
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.1%92.1%
 92.1 % 493 / 535 94.7 % 18 / 19 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 % 186 / 201 90.9 % 10 / 11 66.8 % 127 / 190
term_registry.cpp
89.7%89.7%
 89.7 % 374 / 417 91.2 % 31 / 34 70.5 % 220 / 312
theory_strings.cpp
84.2%84.2%
 84.2 % 685 / 814 90.6 % 29 / 32 58.2 % 422 / 725
theory_strings.h
100.0%
 100.0 % 30 / 30 100.0 % 7 / 7 56.2 % 9 / 16
theory_strings_preprocess.cpp
99.2%99.2%
 99.2 % 589 / 594 87.5 % 7 / 8 80.3 % 106 / 132
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.5%84.5%
 84.5 % 207 / 245 84.4 % 27 / 32 71.5 % 186 / 260
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