LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/theory/uf Hit Total Coverage
Test: coverage.info Lines: 4967 5945 83.5 %
Date: 2024-10-02 12:19:03 Functions: 354 406 87.2 %
Branches: 3323 5612 59.2 %

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 % 802 / 1025 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 % 47 / 47 100.0 % 6 / 6 65.6 % 21 / 32
eq_proof.cpp
78.9%78.9%
 78.9 % 587 / 744 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 % 379 / 440 100.0 % 13 / 13 64.4 % 248 / 385
lambda_lift.cpp
85.6%85.6%
 85.6 % 101 / 118 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
88.1%88.1%
 88.1 % 318 / 361 96.0 % 24 / 25 70.9 % 256 / 361
theory_uf.h
94.4%94.4%
 94.4 % 17 / 18 80.0 % 4 / 5 50.0 % 3 / 6
theory_uf_model.cpp
66.4%66.4%
 66.4 % 77 / 116 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
97.8%97.8%
 97.8 % 180 / 184 100.0 % 11 / 11 66.3 % 114 / 172
theory_uf_type_rules.cpp
55.9%55.9%
 55.9 % 81 / 145 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