LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/proof Hit Total Coverage
Test: coverage.info Lines: 2452 3191 76.8 %
Date: 2024-11-18 12:41:18 Functions: 275 324 84.9 %
Branches: 1405 2579 54.5 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage Branches Sort by branch coverage
subtype_elim_proof_converter.cpp
14.1%14.1%
 14.1 % 20 / 142 75.0 % 3 / 4 9.6 % 8 / 83
proof_generator.cpp
44.0%44.0%
 44.0 % 11 / 25 50.0 % 3 / 6 29.2 % 7 / 24
proof_checker.cpp
49.3%49.3%
 49.3 % 75 / 152 92.9 % 13 / 14 32.8 % 40 / 122
proof_step_buffer.cpp
61.6%61.6%
 61.6 % 45 / 73 69.2 % 9 / 13 42.9 % 12 / 28
proof_ensure_closed.cpp
69.7%69.7%
 69.7 % 53 / 76 60.0 % 3 / 5 43.5 % 40 / 92
trust_node.cpp
72.3%72.3%
 72.3 % 47 / 65 82.6 % 19 / 23 45.0 % 9 / 20
conv_seq_proof_generator.cpp
69.2%69.2%
 69.2 % 54 / 78 100.0 % 8 / 8 46.7 % 28 / 60
proof_node_to_sexpr.cpp
65.5%65.5%
 65.5 % 131 / 200 75.0 % 9 / 12 49.1 % 55 / 112
unsat_core.cpp
87.0%87.0%
 87.0 % 20 / 23 87.5 % 7 / 8 50.0 % 2 / 4
rewrite_proof_generator.cpp
78.9%78.9%
 78.9 % 15 / 19 80.0 % 4 / 5 50.0 % 2 / 4
print_expr.cpp
100.0%
 100.0 % 19 / 19 100.0 % 6 / 6 50.0 % 5 / 10
buffered_proof_generator.cpp
69.2%69.2%
 69.2 % 36 / 52 100.0 % 4 / 4 50.0 % 18 / 36
lazy_tree_proof_generator.cpp
81.8%81.8%
 81.8 % 63 / 77 83.3 % 10 / 12 50.0 % 24 / 48
proof_node_converter.cpp
92.1%92.1%
 92.1 % 58 / 63 100.0 % 3 / 3 52.1 % 25 / 48
lazy_proof_chain.cpp
78.8%78.8%
 78.8 % 149 / 189 75.0 % 9 / 12 52.9 % 91 / 172
proof_rule_checker.cpp
87.0%87.0%
 87.0 % 20 / 23 100.0 % 6 / 6 53.8 % 14 / 26
conv_proof_generator.cpp
79.7%79.7%
 79.7 % 251 / 315 66.7 % 12 / 18 55.7 % 190 / 341
trust_id.cpp
70.7%70.7%
 70.7 % 29 / 41 100.0 % 4 / 4 57.1 % 16 / 28
proof_node_manager.cpp
82.6%82.6%
 82.6 % 166 / 201 100.0 % 14 / 14 57.5 % 115 / 200
method_id.cpp
67.3%67.3%
 67.3 % 35 / 52 100.0 % 6 / 6 58.1 % 25 / 43
eager_proof_generator.cpp
94.6%94.6%
 94.6 % 70 / 74 100.0 % 15 / 15 59.1 % 13 / 22
proof_node_updater.cpp
85.6%85.6%
 85.6 % 155 / 181 80.0 % 12 / 15 59.5 % 94 / 158
proof.cpp
84.4%84.4%
 84.4 % 211 / 250 100.0 % 21 / 21 59.5 % 144 / 242
resolution_proofs_util.cpp
86.6%86.6%
 86.6 % 253 / 292 80.0 % 4 / 5 61.5 % 209 / 340
theory_proof_step_buffer.cpp
88.1%88.1%
 88.1 % 89 / 101 85.7 % 6 / 7 62.9 % 39 / 62
proof_letify.cpp
86.7%86.7%
 86.7 % 39 / 45 75.0 % 3 / 4 63.0 % 29 / 46
lazy_proof.cpp
95.1%95.1%
 95.1 % 98 / 103 100.0 % 8 / 8 64.4 % 76 / 118
proof_node.cpp
93.1%93.1%
 93.1 % 67 / 72 91.7 % 11 / 12 67.9 % 19 / 28
proof_node_algorithm.cpp
92.1%92.1%
 92.1 % 129 / 140 70.0 % 7 / 10 90.3 % 56 / 62
proof_checker.h
100.0%
 100.0 % 1 / 1 100.0 % 1 / 1 - 0 / 0
trust_node.h
100.0%
 100.0 % 2 / 2 100.0 % 2 / 2 - 0 / 0
unsat_core.h
100.0%
 100.0 % 2 / 2 100.0 % 2 / 2 - 0 / 0
assumption_proof_generator.cpp
71.4%71.4%
 71.4 % 5 / 7 66.7 % 2 / 3 - 0 / 0
proof_node_to_sexpr.h
100.0%
 100.0 % 1 / 1 100.0 % 1 / 1 - 0 / 0
buffered_proof_generator.h
50.0%50.0%
 50.0 % 1 / 2 33.3 % 1 / 3 - 0 / 0
proof_letify.h
100.0%
 100.0 % 1 / 1 50.0 % 1 / 2 - 0 / 0
proof_set.h
100.0%
 100.0 % 7 / 7 100.0 % 6 / 6 - 0 / 0
proof_step_buffer.h
100.0%
 100.0 % 1 / 1 100.0 % 1 / 1 - 0 / 0
proof_node_manager.h
100.0%
 100.0 % 1 / 1 100.0 % 1 / 1 - 0 / 0
proof_node.h
100.0%
 100.0 % 3 / 3 100.0 % 2 / 2 - 0 / 0
proof_rule_checker.h
66.7%66.7%
 66.7 % 2 / 3 50.0 % 2 / 4 - 0 / 0
proof_node_converter.h
100.0%
 100.0 % 2 / 2 66.7 % 2 / 3 - 0 / 0
print_expr.h
100.0%
 100.0 % 5 / 5 100.0 % 5 / 5 - 0 / 0
eager_proof_generator.h
100.0%
 100.0 % 1 / 1 100.0 % 2 / 2 - 0 / 0
lazy_tree_proof_generator.h
100.0%
 100.0 % 6 / 6 100.0 % 2 / 2 - 0 / 0
subtype_elim_proof_converter.h
100.0%
 100.0 % 1 / 1 50.0 % 1 / 2 - 0 / 0
theory_proof_step_buffer.h
100.0%
 100.0 % 1 / 1 100.0 % 1 / 1 - 0 / 0
proof_generator.h
100.0%
 100.0 % 1 / 1 100.0 % 1 / 1 - 0 / 0

Generated by: LCOV version 1.14