LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/proof Hit Total Coverage
Test: coverage.info Lines: 2532 3486 72.6 %
Date: 2026-01-19 13:01:48 Functions: 284 346 82.1 %
Branches: 1442 2812 51.3 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage Branches Sort by branch coverage
resolution_proofs_util.cpp
9.3%9.3%
 9.3 % 27 / 291 20.0 % 1 / 5 16.3 % 42 / 258
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_node_to_sexpr.cpp
45.3%45.3%
 45.3 % 82 / 181 50.0 % 6 / 12 33.6 % 36 / 107
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
valid_witness_proof_generator.cpp
91.1%91.1%
 91.1 % 72 / 79 90.0 % 9 / 10 46.7 % 28 / 60
unsat_core.cpp
86.4%86.4%
 86.4 % 19 / 22 87.5 % 7 / 8 50.0 % 2 / 4
rewrite_proof_generator.cpp
80.0%80.0%
 80.0 % 16 / 20 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
lazy_proof_chain.cpp
70.9%70.9%
 70.9 % 134 / 189 66.7 % 8 / 12 50.6 % 82 / 162
method_id.cpp
53.8%53.8%
 53.8 % 28 / 52 66.7 % 4 / 6 53.5 % 23 / 43
proof_rule_checker.cpp
87.0%87.0%
 87.0 % 20 / 23 100.0 % 6 / 6 53.8 % 14 / 26
trust_id.cpp
57.8%57.8%
 57.8 % 63 / 109 100.0 % 4 / 4 53.8 % 42 / 78
subtype_elim_proof_converter.cpp
94.0%94.0%
 94.0 % 189 / 201 100.0 % 5 / 5 55.9 % 119 / 213
conv_proof_generator.cpp
82.2%82.2%
 82.2 % 263 / 320 68.4 % 13 / 19 57.5 % 196 / 341
proof_node_manager.cpp
82.6%82.6%
 82.6 % 166 / 201 100.0 % 14 / 14 57.5 % 115 / 200
eager_proof_generator.cpp
88.8%88.8%
 88.8 % 71 / 80 93.8 % 15 / 16 58.3 % 14 / 24
proof.cpp
84.0%84.0%
 84.0 % 210 / 250 95.2 % 20 / 21 59.9 % 145 / 242
proof_node_converter.cpp
88.9%88.9%
 88.9 % 64 / 72 71.4 % 5 / 7 61.3 % 38 / 62
proof_node_updater.cpp
89.9%89.9%
 89.9 % 222 / 247 88.2 % 15 / 17 61.2 % 139 / 227
theory_proof_step_buffer.cpp
88.2%88.2%
 88.2 % 90 / 102 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
90.2%90.2%
 90.2 % 138 / 153 63.6 % 7 / 11 88.1 % 59 / 67
proof_letify.h
100.0%
 100.0 % 1 / 1 50.0 % 1 / 2 - 0 / 0
proof_node.h
100.0%
 100.0 % 3 / 3 100.0 % 2 / 2 - 0 / 0
buffered_proof_generator.h
50.0%50.0%
 50.0 % 1 / 2 33.3 % 1 / 3 - 0 / 0
proof_checker.h
100.0%
 100.0 % 1 / 1 100.0 % 1 / 1 - 0 / 0
unsat_core.h
100.0%
 100.0 % 2 / 2 100.0 % 2 / 2 - 0 / 0
trust_proof_generator.cpp
81.8%81.8%
 81.8 % 9 / 11 80.0 % 4 / 5 - 0 / 0
lazy_tree_proof_generator.h
100.0%
 100.0 % 6 / 6 100.0 % 2 / 2 - 0 / 0
print_expr.h
100.0%
 100.0 % 5 / 5 100.0 % 5 / 5 - 0 / 0
assumption_proof_generator.cpp
71.4%71.4%
 71.4 % 5 / 7 66.7 % 2 / 3 - 0 / 0
theory_proof_step_buffer.h
100.0%
 100.0 % 1 / 1 100.0 % 1 / 1 - 0 / 0
proof_node_to_sexpr.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_generator.h
100.0%
 100.0 % 1 / 1 100.0 % 1 / 1 - 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
subtype_elim_proof_converter.h
100.0%
 100.0 % 1 / 1 50.0 % 1 / 2 - 0 / 0
eager_proof_generator.h
100.0%
 100.0 % 1 / 1 100.0 % 2 / 2 - 0 / 0
trust_node.h
100.0%
 100.0 % 2 / 2 100.0 % 2 / 2 - 0 / 0
proof_rule_checker.h
66.7%66.7%
 66.7 % 2 / 3 50.0 % 2 / 4 - 0 / 0

Generated by: LCOV version 1.14