LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/theory/uf Hit Total Coverage
Test: coverage.info Lines: 4998 5977 83.6 %
Date: 2024-12-21 13:21:27 Functions: 359 413 86.9 %
Branches: 3337 5625 59.3 %

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
78.9%78.9%
 78.9 % 588 / 745 77.8 % 7 / 9 53.9 % 405 / 752
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
88.6%88.6%
 88.6 % 101 / 114 100.0 % 2 / 2 48.0 % 94 / 196
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
87.5%87.5%
 87.5 % 266 / 304 96.0 % 24 / 25 72.0 % 224 / 311
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 % 205 / 208 100.0 % 12 / 12 67.6 % 125 / 185
theory_uf_type_rules.cpp
55.6%55.6%
 55.6 % 80 / 144 68.4 % 13 / 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