LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/theory/strings Hit Total Coverage
Test: coverage.info Lines: 11047 13037 84.7 %
Date: 2024-09-23 10:48:02 Functions: 562 634 88.6 %
Branches: 7479 11604 64.5 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage Branches Sort by branch coverage
arith_entail.cpp
93.1%93.1%
 93.1 % 513 / 551 95.2 % 20 / 21 73.2 % 390 / 533
array_core_solver.cpp
95.6%95.6%
 95.6 % 152 / 159 90.0 % 9 / 10 64.1 % 59 / 92
array_solver.cpp
94.5%94.5%
 94.5 % 189 / 200 90.0 % 9 / 10 73.4 % 116 / 158
base_solver.cpp
85.1%85.1%
 85.1 % 382 / 449 88.9 % 16 / 18 62.7 % 262 / 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
79.7%79.7%
 79.7 % 1133 / 1421 86.1 % 31 / 36 58.5 % 767 / 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.4%85.4%
 85.4 % 350 / 410 77.3 % 17 / 22 67.5 % 301 / 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
84.4%84.4%
 84.4 % 586 / 694 94.1 % 16 / 17 57.1 % 353 / 618
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 % 271 / 289 93.8 % 15 / 16 63.8 % 213 / 334
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
84.0%84.0%
 84.0 % 267 / 318 100.0 % 3 / 3 51.4 % 250 / 486
regexp_elim.cpp
92.3%92.3%
 92.3 % 287 / 311 100.0 % 7 / 7 68.6 % 181 / 264
regexp_entail.cpp
89.1%89.1%
 89.1 % 459 / 515 100.0 % 12 / 12 75.2 % 392 / 521
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.7%28.7%
 28.7 % 291 / 1013 50.0 % 12 / 24 22.1 % 135 / 610
regexp_solver.cpp
77.6%77.6%
 77.6 % 281 / 362 100.0 % 17 / 17 65.7 % 197 / 300
regexp_solver.h
100.0%
 100.0 % 1 / 1 50.0 % 1 / 2 - 0 / 0
rewrites.cpp
98.6%98.6%
 98.6 % 217 / 220 100.0 % 2 / 2 99.0 % 208 / 210
sequences_rewriter.cpp
97.2%97.2%
 97.2 % 1824 / 1877 100.0 % 51 / 51 78.4 % 1423 / 1815
sequences_stats.cpp
100.0%
 100.0 % 12 / 12 100.0 % 1 / 1 - 0 / 0
skolem_cache.cpp
88.0%88.0%
 88.0 % 125 / 142 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
94.3%94.3%
 94.3 % 463 / 491 100.0 % 16 / 16 69.4 % 413 / 595
strings_fmf.cpp
88.4%88.4%
 88.4 % 38 / 43 70.0 % 7 / 10 75.0 % 15 / 20
strings_rewriter.cpp
99.4%99.4%
 99.4 % 174 / 175 100.0 % 11 / 11 67.4 % 120 / 178
term_registry.cpp
92.6%92.6%
 92.6 % 312 / 337 90.9 % 30 / 33 70.5 % 196 / 278
theory_strings.cpp
84.8%84.8%
 84.8 % 637 / 751 93.8 % 30 / 32 57.5 % 376 / 654
theory_strings.h
100.0%
 100.0 % 27 / 27 100.0 % 7 / 7 56.2 % 9 / 16
theory_strings_preprocess.cpp
100.0%
 100.0 % 543 / 543 87.5 % 7 / 8 88.0 % 95 / 108
theory_strings_type_rules.cpp
56.3%56.3%
 56.3 % 138 / 245 52.8 % 19 / 36 42.2 % 81 / 192
theory_strings_utils.cpp
85.9%85.9%
 85.9 % 207 / 241 84.4 % 27 / 32 68.3 % 179 / 262
type_enumerator.cpp
97.3%97.3%
 97.3 % 145 / 149 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
88.0%88.0%
 88.0 % 257 / 292 95.8 % 23 / 24 49.6 % 139 / 280

Generated by: LCOV version 1.14