LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/proof Hit Total Coverage
Test: coverage.info Lines: 2948 3702 79.6 %
Date: 2026-02-26 11:40:56 Functions: 288 346 83.2 %
Branches: 1693 3011 56.2 %

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
70.0%70.0%
 70.0 % 42 / 60 100.0 % 4 / 4 45.2 % 19 / 42
buffered_proof_generator.h
50.0%50.0%
 50.0 % 1 / 2 33.3 % 1 / 3 - 0 / 0
conv_proof_generator.cpp
82.4%82.4%
 82.4 % 286 / 347 68.4 % 13 / 19 57.4 % 197 / 343
conv_seq_proof_generator.cpp
68.7%68.7%
 68.7 % 57 / 83 100.0 % 8 / 8 46.7 % 28 / 60
eager_proof_generator.cpp
88.5%88.5%
 88.5 % 77 / 87 93.8 % 15 / 16 58.3 % 14 / 24
eager_proof_generator.h
100.0%
 100.0 % 1 / 1 100.0 % 2 / 2 - 0 / 0
lazy_proof.cpp
95.5%95.5%
 95.5 % 106 / 111 100.0 % 8 / 8 65.0 % 78 / 120
lazy_proof_chain.cpp
70.5%70.5%
 70.5 % 141 / 200 66.7 % 8 / 12 51.8 % 86 / 166
lazy_tree_proof_generator.cpp
82.3%82.3%
 82.3 % 65 / 79 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
53.8%53.8%
 53.8 % 28 / 52 66.7 % 4 / 6 53.5 % 23 / 43
print_expr.cpp
100.0%
 100.0 % 19 / 19 100.0 % 6 / 6 50.0 % 6 / 12
print_expr.h
100.0%
 100.0 % 5 / 5 100.0 % 5 / 5 - 0 / 0
proof.cpp
85.2%85.2%
 85.2 % 230 / 270 100.0 % 21 / 21 60.5 % 150 / 248
proof_checker.cpp
49.4%49.4%
 49.4 % 79 / 160 92.9 % 13 / 14 33.6 % 43 / 128
proof_checker.h
100.0%
 100.0 % 1 / 1 100.0 % 1 / 1 - 0 / 0
proof_ensure_closed.cpp
71.4%71.4%
 71.4 % 55 / 77 60.0 % 3 / 5 46.9 % 46 / 98
proof_generator.cpp
46.2%46.2%
 46.2 % 12 / 26 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
84.8%84.8%
 84.8 % 39 / 46 75.0 % 3 / 4 62.0 % 31 / 50
proof_letify.h
100.0%
 100.0 % 1 / 1 50.0 % 1 / 2 - 0 / 0
proof_node.cpp
94.7%94.7%
 94.7 % 72 / 76 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
88.8%88.8%
 88.8 % 142 / 160 63.6 % 7 / 11 88.1 % 59 / 67
proof_node_converter.cpp
90.7%90.7%
 90.7 % 68 / 75 71.4 % 5 / 7 60.6 % 40 / 66
proof_node_manager.cpp
83.4%83.4%
 83.4 % 181 / 217 100.0 % 14 / 14 58.3 % 120 / 206
proof_node_manager.h
100.0%
 100.0 % 1 / 1 100.0 % 1 / 1 - 0 / 0
proof_node_to_sexpr.cpp
45.3%45.3%
 45.3 % 87 / 192 50.0 % 6 / 12 33.6 % 36 / 107
proof_node_to_sexpr.h
100.0%
 100.0 % 1 / 1 100.0 % 1 / 1 - 0 / 0
proof_node_updater.cpp
90.3%90.3%
 90.3 % 232 / 257 88.2 % 15 / 17 62.6 % 147 / 235
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
63.2%63.2%
 63.2 % 48 / 76 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
87.1%87.1%
 87.1 % 264 / 303 80.0 % 4 / 5 62.8 % 221 / 352
rewrite_proof_generator.cpp
81.0%81.0%
 81.0 % 17 / 21 80.0 % 4 / 5 50.0 % 2 / 4
subtype_elim_proof_converter.cpp
94.4%94.4%
 94.4 % 219 / 232 100.0 % 5 / 5 57.4 % 147 / 256
subtype_elim_proof_converter.h
100.0%
 100.0 % 1 / 1 50.0 % 1 / 2 - 0 / 0
theory_proof_step_buffer.cpp
89.0%89.0%
 89.0 % 97 / 109 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
58.7%58.7%
 58.7 % 64 / 109 100.0 % 4 / 4 55.1 % 43 / 78
trust_node.cpp
73.9%73.9%
 73.9 % 51 / 69 82.6 % 19 / 23 45.5 % 10 / 22
trust_node.h
100.0%
 100.0 % 2 / 2 100.0 % 2 / 2 - 0 / 0
trust_proof_generator.cpp
83.3%83.3%
 83.3 % 10 / 12 80.0 % 4 / 5 - 0 / 0
unsat_core.cpp
86.4%86.4%
 86.4 % 19 / 22 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
91.9%91.9%
 91.9 % 79 / 86 90.0 % 9 / 10 46.9 % 30 / 64

Generated by: LCOV version 1.14