LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/proof Hit Total Coverage
Test: coverage.info Lines: 2344 3164 74.1 %
Date: 2024-10-10 10:22:32 Functions: 261 318 82.1 %
Branches: 1361 2537 53.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
79.7%79.7%
 79.7 % 251 / 315 66.7 % 12 / 18 55.7 % 190 / 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
94.6%94.6%
 94.6 % 70 / 74 100.0 % 15 / 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
68.6%68.6%
 68.6 % 35 / 51 100.0 % 6 / 6 59.5 % 25 / 42
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
83.2%83.2%
 83.2 % 208 / 250 100.0 % 21 / 21 59.3 % 140 / 236
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
91.9%91.9%
 91.9 % 125 / 136 66.7 % 6 / 9 90.3 % 56 / 62
proof_node_converter.cpp
0.0%
 0.0 % 0 / 63 0.0 % 0 / 3 0.0 % 0 / 26
proof_node_converter.h
0.0%
 0.0 % 0 / 2 0.0 % 0 / 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 49.1 % 55 / 112
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 % 253 / 292 80.0 % 4 / 5 61.2 % 208 / 340
subtype_elim_proof_converter.cpp
0.0%
 0.0 % 0 / 142 0.0 % 0 / 4 0.0 % 0 / 77
subtype_elim_proof_converter.h
0.0%
 0.0 % 0 / 1 0.0 % 0 / 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
63.2%63.2%
 63.2 % 24 / 38 100.0 % 4 / 4 48.0 % 12 / 25
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

Generated by: LCOV version 1.14