LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/theory/sets Hit Total Coverage
Test: coverage.info Lines: 4222 4789 88.2 %
Date: 2024-10-15 12:20:32 Functions: 262 299 87.6 %
Branches: 2402 3889 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.2%92.2%
 92.2 % 177 / 192 100.0 % 7 / 7 52.6 % 130 / 247
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.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.5%94.5%
 94.5 % 898 / 950 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
95.3%95.3%
 95.3 % 502 / 527 100.0 % 16 / 16 66.6 % 305 / 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