LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/theory/sets Hit Total Coverage
Test: coverage.info Lines: 4668 5296 88.1 %
Date: 2026-04-17 10:42:04 Functions: 282 320 88.1 %
Branches: 2808 4459 63.0 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage Branches Sort by branch coverage
cardinality_extension.cpp
91.5%91.5%
 91.5 % 594 / 649 100.0 % 17 / 17 69.6 % 450 / 647
cardinality_extension.h
100.0%
 100.0 % 4 / 4 100.0 % 4 / 4 - 0 / 0
infer_proof_cons.cpp
92.9%92.9%
 92.9 % 197 / 212 100.0 % 7 / 7 51.7 % 153 / 296
infer_proof_cons.h
100.0%
 100.0 % 1 / 1 100.0 % 2 / 2 - 0 / 0
inference_manager.cpp
63.9%63.9%
 63.9 % 69 / 108 90.0 % 9 / 10 55.6 % 40 / 72
normal_form.h
96.4%96.4%
 96.4 % 80 / 83 100.0 % 6 / 6 60.0 % 54 / 90
proof_checker.cpp
91.2%91.2%
 91.2 % 52 / 57 100.0 % 3 / 3 40.5 % 34 / 84
rels_utils.cpp
97.4%97.4%
 97.4 % 75 / 77 100.0 % 5 / 5 75.0 % 33 / 44
set_reduction.cpp
97.4%97.4%
 97.4 % 75 / 77 60.0 % 3 / 5 33.3 % 6 / 18
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 % 330 / 350 92.1 % 35 / 38 71.5 % 216 / 302
solver_state.h
100.0%
 100.0 % 1 / 1 100.0 % 1 / 1 - 0 / 0
term_registry.cpp
100.0%
 100.0 % 70 / 70 100.0 % 6 / 6 82.6 % 38 / 46
theory_sets.cpp
86.3%86.3%
 86.3 % 120 / 139 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
93.8%93.8%
 93.8 % 981 / 1046 98.3 % 57 / 58 64.5 % 617 / 957
theory_sets_private.h
100.0%
 100.0 % 1 / 1 100.0 % 1 / 1 - 0 / 0
theory_sets_rels.cpp
91.0%91.0%
 91.0 % 939 / 1032 95.2 % 40 / 42 77.4 % 517 / 668
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 % 613 / 645 100.0 % 19 / 19 66.2 % 317 / 479
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
58.1%58.1%
 58.1 % 376 / 647 57.6 % 34 / 59 40.6 % 265 / 652

Generated by: LCOV version 1.14