LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/proof/alethe Hit Total Coverage
Test: coverage.info Lines: 1691 1976 85.6 %
Date: 2026-03-12 10:42:46 Functions: 41 51 80.4 %
Branches: 864 1540 56.1 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage Branches Sort by branch coverage
alethe_let_binding.cpp
87.0%87.0%
 87.0 % 107 / 123 100.0 % 2 / 2 66.7 % 72 / 108
alethe_node_converter.cpp
94.8%94.8%
 94.8 % 200 / 211 77.8 % 7 / 9 67.3 % 105 / 156
alethe_node_converter.h
50.0%50.0%
 50.0 % 4 / 8 33.3 % 2 / 6 - 0 / 0
alethe_post_processor.cpp
87.3%87.3%
 87.3 % 1096 / 1255 93.8 % 15 / 16 53.3 % 507 / 952
alethe_post_processor.h
100.0%
 100.0 % 1 / 1 50.0 % 1 / 2 - 0 / 0
alethe_post_processor_algorithm.cpp
0.0%
 0.0 % 0 / 37 0.0 % 0 / 1 0.0 % 0 / 24
alethe_printer.cpp
94.6%94.6%
 94.6 % 191 / 202 100.0 % 10 / 10 57.6 % 99 / 172
alethe_printer.h
100.0%
 100.0 % 1 / 1 50.0 % 1 / 2 - 0 / 0
alethe_proof_rule.cpp
65.9%65.9%
 65.9 % 91 / 138 100.0 % 3 / 3 63.3 % 81 / 128

Generated by: LCOV version 1.14