LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/theory/sets Hit Total Coverage
Test: coverage.info Lines: 4746 5363 88.5 %
Date: 2026-10-09 09:35:23 Functions: 297 336 88.4 %
Branches: 2865 4520 63.4 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage Branches Sort by branch coverage
cardinality_extension.cpp
93.5%93.5%
 93.5 % 606 / 648 100.0 % 17 / 17 71.1 % 460 / 647
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 % 214 / 232 100.0 % 7 / 7 50.2 % 167 / 333
infer_proof_cons.h
100.0%
 100.0 % 1 / 1 100.0 % 2 / 2 - 0 / 0
inference_manager.cpp
66.1%66.1%
 66.1 % 76 / 115 90.9 % 10 / 11 57.7 % 45 / 78
normal_form.h
96.4%96.4%
 96.4 % 80 / 83 100.0 % 6 / 6 60.0 % 54 / 90
proof_checker.cpp
90.6%90.6%
 90.6 % 58 / 64 100.0 % 3 / 3 41.0 % 41 / 100
rels_utils.cpp
97.4%97.4%
 97.4 % 75 / 77 100.0 % 5 / 5 75.0 % 33 / 44
set_reduction.cpp
97.6%97.6%
 97.6 % 83 / 85 66.7 % 4 / 6 33.3 % 8 / 24
skolem_cache.cpp
82.8%82.8%
 82.8 % 24 / 29 80.0 % 4 / 5 54.2 % 13 / 24
solver_state.cpp
94.3%94.3%
 94.3 % 333 / 353 92.1 % 35 / 38 72.2 % 231 / 320
solver_state.h
100.0%
 100.0 % 1 / 1 100.0 % 1 / 1 - 0 / 0
strategy.cpp
93.0%93.0%
 93.0 % 53 / 57 83.3 % 5 / 6 66.7 % 16 / 24
term_registry.cpp
100.0%
 100.0 % 70 / 70 100.0 % 6 / 6 82.6 % 38 / 46
theory_sets.cpp
86.8%86.8%
 86.8 % 125 / 144 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.8%94.8%
 94.8 % 976 / 1029 98.4 % 61 / 62 66.6 % 611 / 918
theory_sets_private.h
100.0%
 100.0 % 1 / 1 100.0 % 1 / 1 - 0 / 0
theory_sets_rels.cpp
90.4%90.4%
 90.4 % 930 / 1029 95.7 % 44 / 46 77.0 % 522 / 678
theory_sets_rels.h
100.0%
 100.0 % 1 / 1 100.0 % 1 / 1 - 0 / 0
theory_sets_rewriter.cpp
95.0%95.0%
 95.0 % 602 / 634 100.0 % 19 / 19 65.8 % 312 / 474
theory_sets_type_enumerator.cpp
98.4%98.4%
 98.4 % 62 / 63 100.0 % 7 / 7 64.7 % 22 / 34
theory_sets_type_rules.cpp
57.6%57.6%
 57.6 % 368 / 639 57.6 % 34 / 59 40.5 % 259 / 640

Generated by: LCOV version 1.14