LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/theory/uf Hit Total Coverage
Test: coverage.info Lines: 5469 6462 84.6 %
Date: 2026-02-13 11:44:11 Functions: 376 433 86.8 %
Branches: 3656 6090 60.0 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage Branches Sort by branch coverage
cardinality_extension.cpp
78.2%78.2%
 78.2 % 800 / 1023 80.6 % 54 / 67 57.9 % 609 / 1052
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 % 46 / 46 100.0 % 6 / 6 65.6 % 21 / 32
diamonds_proof_generator.cpp
93.2%93.2%
 93.2 % 109 / 117 66.7 % 4 / 6 54.0 % 68 / 126
distinct_extension.cpp
92.2%92.2%
 92.2 % 166 / 180 90.9 % 10 / 11 60.6 % 86 / 142
eq_proof.cpp
79.9%79.9%
 79.9 % 599 / 750 77.8 % 7 / 9 54.3 % 415 / 764
eq_proof.h
100.0%
 100.0 % 1 / 1 100.0 % 1 / 1 - 0 / 0
equality_engine.cpp
89.1%89.1%
 89.1 % 1237 / 1388 93.7 % 59 / 63 63.4 % 851 / 1342
equality_engine.h
95.0%95.0%
 95.0 % 38 / 40 95.0 % 19 / 20 42.9 % 6 / 14
equality_engine_iterator.cpp
78.0%78.0%
 78.0 % 46 / 59 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
74.7%74.7%
 74.7 % 59 / 79 92.3 % 24 / 26 45.5 % 10 / 22
function_const.cpp
93.4%93.4%
 93.4 % 212 / 227 85.7 % 6 / 7 61.1 % 154 / 252
ho_extension.cpp
86.9%86.9%
 86.9 % 417 / 480 100.0 % 14 / 14 66.1 % 277 / 419
lambda_lift.cpp
88.7%88.7%
 88.7 % 126 / 142 92.3 % 12 / 13 58.3 % 56 / 96
proof_checker.cpp
90.7%90.7%
 90.7 % 107 / 118 100.0 % 2 / 2 50.0 % 94 / 188
proof_checker.h
100.0%
 100.0 % 2 / 2 66.7 % 2 / 3 - 0 / 0
proof_equality_engine.cpp
77.2%77.2%
 77.2 % 200 / 259 87.5 % 14 / 16 52.6 % 123 / 234
proof_equality_engine.h
100.0%
 100.0 % 1 / 1 100.0 % 2 / 2 - 0 / 0
symmetry_breaker.cpp
82.6%82.6%
 82.6 % 400 / 484 86.4 % 19 / 22 60.4 % 255 / 422
symmetry_breaker.h
100.0%
 100.0 % 5 / 5 100.0 % 2 / 2 50.0 % 1 / 2
theory_uf.cpp
86.6%86.6%
 86.6 % 284 / 328 96.3 % 26 / 27 72.9 % 231 / 317
theory_uf.h
94.4%94.4%
 94.4 % 17 / 18 80.0 % 4 / 5 50.0 % 3 / 6
theory_uf_model.cpp
66.1%66.1%
 66.1 % 76 / 115 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.6%98.6%
 98.6 % 340 / 345 100.0 % 14 / 14 73.0 % 235 / 322
theory_uf_type_rules.cpp
58.8%58.8%
 58.8 % 97 / 165 61.9 % 13 / 21 39.2 % 51 / 130
type_enumerator.cpp
100.0%
 100.0 % 13 / 13 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