LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/proof/alethe Hit Total Coverage
Test: coverage.info Lines: 1686 1972 85.5 %
Date: 2026-02-23 11:51:46 Functions: 41 51 80.4 %
Branches: 862 1539 56.0 %

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.4%87.4%
 87.4 % 1092 / 1250 93.8 % 15 / 16 53.2 % 506 / 951
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 / 42 0.0 % 0 / 1 0.0 % 0 / 28
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
67.2%67.2%
 67.2 % 90 / 134 100.0 % 3 / 3 64.5 % 80 / 124

Generated by: LCOV version 1.14