LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/theory/sets Hit Total Coverage
Test: coverage.info Lines: 4157 4724 88.0 %
Date: 2024-09-04 11:14:07 Functions: 261 298 87.6 %
Branches: 2357 3806 61.9 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage Branches Sort by branch coverage
cardinality_extension.cpp
91.2%91.2%
 91.2 % 550 / 603 100.0 % 17 / 17 66.0 % 376 / 570
cardinality_extension.h
100.0%
 100.0 % 4 / 4 100.0 % 4 / 4 - 0 / 0
infer_proof_cons.cpp
90.6%90.6%
 90.6 % 145 / 160 100.0 % 7 / 7 52.9 % 108 / 204
infer_proof_cons.h
100.0%
 100.0 % 1 / 1 100.0 % 2 / 2 - 0 / 0
inference_manager.cpp
63.6%63.6%
 63.6 % 63 / 99 90.0 % 9 / 10 54.5 % 36 / 66
normal_form.h
97.0%97.0%
 97.0 % 64 / 66 100.0 % 5 / 5 55.0 % 44 / 80
proof_checker.cpp
90.6%90.6%
 90.6 % 29 / 32 100.0 % 3 / 3 38.0 % 19 / 50
rels_utils.cpp
97.1%97.1%
 97.1 % 68 / 70 100.0 % 5 / 5 72.5 % 29 / 40
set_reduction.cpp
97.3%97.3%
 97.3 % 71 / 73 60.0 % 3 / 5 33.3 % 6 / 18
skolem_cache.cpp
80.8%80.8%
 80.8 % 21 / 26 80.0 % 4 / 5 54.2 % 13 / 24
solver_state.cpp
94.3%94.3%
 94.3 % 312 / 331 91.7 % 33 / 36 72.3 % 198 / 274
solver_state.h
100.0%
 100.0 % 1 / 1 100.0 % 1 / 1 - 0 / 0
term_registry.cpp
100.0%
 100.0 % 62 / 62 100.0 % 6 / 6 81.8 % 36 / 44
theory_sets.cpp
88.5%88.5%
 88.5 % 116 / 131 90.9 % 20 / 22 71.7 % 33 / 46
theory_sets.h
75.0%75.0%
 75.0 % 3 / 4 50.0 % 1 / 2 - 0 / 0
theory_sets_private.cpp
94.5%94.5%
 94.5 % 900 / 952 97.8 % 44 / 45 64.5 % 484 / 750
theory_sets_private.h
100.0%
 100.0 % 1 / 1 100.0 % 1 / 1 - 0 / 0
theory_sets_rels.cpp
92.4%92.4%
 92.4 % 857 / 927 95.1 % 39 / 41 75.4 % 427 / 566
theory_sets_rels.h
100.0%
 100.0 % 1 / 1 100.0 % 1 / 1 - 0 / 0
theory_sets_rewriter.cpp
94.9%94.9%
 94.9 % 500 / 527 100.0 % 16 / 16 66.2 % 303 / 458
theory_sets_type_enumerator.cpp
98.3%98.3%
 98.3 % 58 / 59 100.0 % 7 / 7 64.7 % 22 / 34
theory_sets_type_rules.cpp
55.6%55.6%
 55.6 % 330 / 594 57.9 % 33 / 57 38.3 % 223 / 582

Generated by: LCOV version 1.14