LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/theory/strings Hit Total Coverage
Test: coverage.info Lines: 10983 13034 84.3 %
Date: 2024-10-15 12:20:32 Functions: 560 634 88.3 %
Branches: 7455 11594 64.3 %

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 72.8 % 388 / 533
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
79.8%79.8%
 79.8 % 1135 / 1423 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.3 % 300 / 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.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 % 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.0%85.0%
 85.0 % 271 / 319 100.0 % 3 / 3 52.5 % 255 / 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.4%28.4%
 28.4 % 289 / 1019 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 % 1820 / 1873 100.0 % 51 / 51 78.3 % 1420 / 1813
sequences_stats.cpp
100.0%
 100.0 % 12 / 12 100.0 % 1 / 1 - 0 / 0
skolem_cache.cpp
87.6%87.6%
 87.6 % 120 / 137 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
92.6%92.6%
 92.6 % 162 / 175 90.9 % 10 / 11 66.9 % 115 / 172
term_registry.cpp
90.2%90.2%
 90.2 % 304 / 337 90.9 % 30 / 33 70.1 % 195 / 278
theory_strings.cpp
83.1%83.1%
 83.1 % 614 / 739 90.6 % 29 / 32 56.8 % 369 / 650
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 % 544 / 547 87.5 % 7 / 8 85.1 % 97 / 114
theory_strings_type_rules.cpp
55.3%55.3%
 55.3 % 136 / 246 52.8 % 19 / 36 41.5 % 78 / 188
theory_strings_utils.cpp
85.5%85.5%
 85.5 % 206 / 241 84.4 % 27 / 32 67.6 % 177 / 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
87.0%87.0%
 87.0 % 254 / 292 95.8 % 23 / 24 49.6 % 136 / 274

Generated by: LCOV version 1.14