LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/proof/alethe Hit Total Coverage
Test: coverage.info Lines: 1624 1898 85.6 %
Date: 2026-02-16 11:40:47 Functions: 41 51 80.4 %
Branches: 844 1501 56.2 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage Branches Sort by branch coverage
alethe_post_processor_algorithm.cpp
0.0%
 0.0 % 0 / 37 0.0 % 0 / 1 0.0 % 0 / 28
alethe_node_converter.h
50.0%50.0%
 50.0 % 4 / 8 33.3 % 2 / 6 - 0 / 0
alethe_printer.h
100.0%
 100.0 % 1 / 1 50.0 % 1 / 2 - 0 / 0
alethe_post_processor.h
100.0%
 100.0 % 1 / 1 50.0 % 1 / 2 - 0 / 0
alethe_node_converter.cpp
94.3%94.3%
 94.3 % 183 / 194 77.8 % 7 / 9 68.0 % 102 / 150
alethe_post_processor.cpp
87.4%87.4%
 87.4 % 1065 / 1218 93.8 % 15 / 16 53.6 % 496 / 925
alethe_let_binding.cpp
87.3%87.3%
 87.3 % 103 / 118 100.0 % 2 / 2 65.4 % 68 / 104
alethe_proof_rule.cpp
67.2%67.2%
 67.2 % 90 / 134 100.0 % 3 / 3 64.5 % 80 / 124
alethe_printer.cpp
94.7%94.7%
 94.7 % 177 / 187 100.0 % 10 / 10 57.6 % 98 / 170

Generated by: LCOV version 1.14