LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/theory/sets Hit Total Coverage
Test: coverage.info Lines: 4252 4825 88.1 %
Date: 2024-11-13 12:41:07 Functions: 264 301 87.7 %
Branches: 2426 3927 61.8 %

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
92.4%92.4%
 92.4 % 183 / 198 100.0 % 7 / 7 51.5 % 137 / 266
infer_proof_cons.h
100.0%
 100.0 % 1 / 1 100.0 % 2 / 2 - 0 / 0
inference_manager.cpp
64.7%64.7%
 64.7 % 66 / 102 90.0 % 9 / 10 57.1 % 40 / 70
normal_form.h
97.4%97.4%
 97.4 % 76 / 78 100.0 % 6 / 6 58.1 % 50 / 86
proof_checker.cpp
90.6%90.6%
 90.6 % 48 / 53 100.0 % 3 / 3 40.5 % 34 / 84
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
82.1%82.1%
 82.1 % 23 / 28 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.0%94.0%
 94.0 % 912 / 970 97.9 % 46 / 47 64.8 % 494 / 762
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
95.3%95.3%
 95.3 % 509 / 534 100.0 % 16 / 16 66.8 % 308 / 461
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