LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/theory/uf Hit Total Coverage
Test: coverage.info Lines: 5852 6848 85.5 %
Date: 2026-02-27 11:41:18 Functions: 376 433 86.8 %
Branches: 3871 6361 60.9 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage Branches Sort by branch coverage
cardinality_extension.cpp
80.2%80.2%
 80.2 % 862 / 1075 80.6 % 54 / 67 58.1 % 623 / 1072
cardinality_extension.h
96.1%96.1%
 96.1 % 49 / 51 93.8 % 30 / 32 58.3 % 14 / 24
conversions_solver.cpp
100.0%
 100.0 % 50 / 50 100.0 % 6 / 6 69.4 % 25 / 36
diamonds_proof_generator.cpp
93.5%93.5%
 93.5 % 115 / 123 66.7 % 4 / 6 59.2 % 84 / 142
distinct_extension.cpp
92.6%92.6%
 92.6 % 189 / 204 90.9 % 10 / 11 61.9 % 99 / 160
eq_proof.cpp
80.3%80.3%
 80.3 % 617 / 768 77.8 % 7 / 9 54.5 % 425 / 780
eq_proof.h
100.0%
 100.0 % 1 / 1 100.0 % 1 / 1 - 0 / 0
equality_engine.cpp
90.4%90.4%
 90.4 % 1297 / 1434 93.7 % 59 / 63 63.5 % 863 / 1360
equality_engine.h
95.0%95.0%
 95.0 % 38 / 40 95.0 % 19 / 20 42.9 % 6 / 14
equality_engine_iterator.cpp
77.6%77.6%
 77.6 % 45 / 58 68.8 % 11 / 16 41.5 % 34 / 82
equality_engine_notify.h
63.6%63.6%
 63.6 % 7 / 11 62.5 % 5 / 8 - 0 / 0
equality_engine_types.h
75.3%75.3%
 75.3 % 61 / 81 92.3 % 24 / 26 45.5 % 10 / 22
function_const.cpp
93.0%93.0%
 93.0 % 227 / 244 85.7 % 6 / 7 64.2 % 176 / 274
ho_extension.cpp
87.1%87.1%
 87.1 % 465 / 534 100.0 % 14 / 14 68.3 % 327 / 479
lambda_lift.cpp
88.1%88.1%
 88.1 % 140 / 159 92.3 % 12 / 13 58.9 % 63 / 107
proof_checker.cpp
91.4%91.4%
 91.4 % 117 / 128 100.0 % 2 / 2 50.0 % 97 / 194
proof_checker.h
100.0%
 100.0 % 2 / 2 66.7 % 2 / 3 - 0 / 0
proof_equality_engine.cpp
77.1%77.1%
 77.1 % 215 / 279 87.5 % 14 / 16 52.5 % 128 / 244
proof_equality_engine.h
100.0%
 100.0 % 1 / 1 100.0 % 2 / 2 - 0 / 0
symmetry_breaker.cpp
83.4%83.4%
 83.4 % 423 / 507 86.4 % 19 / 22 61.1 % 265 / 434
symmetry_breaker.h
100.0%
 100.0 % 5 / 5 100.0 % 2 / 2 50.0 % 1 / 2
theory_uf.cpp
85.5%85.5%
 85.5 % 307 / 359 96.3 % 26 / 27 73.7 % 241 / 327
theory_uf.h
94.4%94.4%
 94.4 % 17 / 18 80.0 % 4 / 5 50.0 % 3 / 6
theory_uf_model.cpp
67.7%67.7%
 67.7 % 84 / 124 60.0 % 6 / 10 60.2 % 53 / 88
theory_uf_model.h
100.0%
 100.0 % 14 / 14 100.0 % 6 / 6 83.3 % 5 / 6
theory_uf_rewriter.cpp
98.4%98.4%
 98.4 % 380 / 386 100.0 % 14 / 14 74.9 % 268 / 358
theory_uf_type_rules.cpp
61.6%61.6%
 61.6 % 109 / 177 61.9 % 13 / 21 40.1 % 57 / 142
type_enumerator.cpp
100.0%
 100.0 % 14 / 14 100.0 % 3 / 3 50.0 % 4 / 8
type_enumerator.h
100.0%
 100.0 % 1 / 1 100.0 % 1 / 1 - 0 / 0

Generated by: LCOV version 1.14