LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/proof Hit Total Coverage
Test: coverage.info Lines: 2489 3258 76.4 %
Date: 2025-01-06 12:36:47 Functions: 279 330 84.5 %
Branches: 1429 2616 54.6 %

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

Generated by: LCOV version 1.14