LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/theory/uf Hit Total Coverage
Test: coverage.info Lines: 5064 6044 83.8 %
Date: 2025-01-29 12:48:36 Functions: 359 414 86.7 %
Branches: 3381 5677 59.6 %

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
90.4%90.4%
 90.4 % 66 / 73 66.7 % 4 / 6 70.0 % 35 / 50
eq_proof.cpp
79.6%79.6%
 79.6 % 594 / 746 77.8 % 7 / 9 54.1 % 413 / 764
eq_proof.h
100.0%
 100.0 % 1 / 1 100.0 % 1 / 1 - 0 / 0
equality_engine.cpp
88.7%88.7%
 88.7 % 1231 / 1388 93.7 % 59 / 63 63.3 % 842 / 1330
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
55.6%55.6%
 55.6 % 5 / 9 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.1%86.1%
 86.1 % 378 / 439 100.0 % 13 / 13 64.4 % 248 / 385
lambda_lift.cpp
85.2%85.2%
 85.2 % 98 / 115 90.9 % 10 / 11 56.7 % 34 / 60
proof_checker.cpp
90.5%90.5%
 90.5 % 105 / 116 100.0 % 2 / 2 49.5 % 92 / 186
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.0%86.0%
 86.0 % 271 / 315 96.2 % 25 / 26 72.4 % 223 / 308
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.9%98.9%
 98.9 % 258 / 261 100.0 % 12 / 12 68.9 % 164 / 238
theory_uf_type_rules.cpp
54.2%54.2%
 54.2 % 78 / 144 63.2 % 12 / 19 33.9 % 38 / 112
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