LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/theory/uf Hit Total Coverage
Test: coverage.info Lines: 6022 7085 85.0 %
Date: 2026-04-27 10:45:38 Functions: 386 442 87.3 %
Branches: 3884 6375 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
79.1%79.1%
 79.1 % 888 / 1122 80.6 % 54 / 67 58.3 % 623 / 1068
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 % 51 / 51 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.4%80.4%
 80.4 % 618 / 769 77.8 % 7 / 9 54.6 % 429 / 786
eq_proof.h
100.0%
 100.0 % 1 / 1 100.0 % 1 / 1 - 0 / 0
equality_engine.cpp
88.6%88.6%
 88.6 % 1410 / 1591 93.8 % 60 / 64 63.4 % 863 / 1362
equality_engine.h
89.4%89.4%
 89.4 % 42 / 47 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
85.5%85.5%
 85.5 % 59 / 69 92.3 % 24 / 26 45.5 % 10 / 22
function_const.cpp
93.0%93.0%
 93.0 % 227 / 244 90.0 % 9 / 10 64.2 % 176 / 274
ho_extension.cpp
87.2%87.2%
 87.2 % 468 / 537 93.8 % 15 / 16 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
82.1%82.1%
 82.1 % 439 / 535 86.4 % 19 / 22 60.4 % 268 / 444
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 % 306 / 358 96.3 % 26 / 27 73.7 % 241 / 327
theory_uf.h
94.7%94.7%
 94.7 % 18 / 19 80.0 % 4 / 5 50.0 % 3 / 6
theory_uf_model.cpp
65.9%65.9%
 65.9 % 85 / 129 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.7%98.7%
 98.7 % 381 / 386 100.0 % 16 / 16 75.1 % 269 / 358
theory_uf_type_rules.cpp
65.0%65.0%
 65.0 % 115 / 177 72.7 % 16 / 22 43.7 % 62 / 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