LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/proof/alethe Hit Total Coverage
Test: coverage.info Lines: 1972 2257 87.4 %
Date: 2026-06-10 10:33:01 Functions: 47 56 83.9 %
Branches: 994 1715 58.0 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage Branches Sort by branch coverage
alethe_node_converter.h
60.0%60.0%
 60.0 % 6 / 10 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
82.4%82.4%
 82.4 % 220 / 267 80.0 % 8 / 10 55.0 % 116 / 211
alethe_post_processor.cpp
89.9%89.9%
 89.9 % 1315 / 1463 95.0 % 19 / 20 56.5 % 597 / 1057
alethe_post_processor_algorithm.cpp
97.3%97.3%
 97.3 % 36 / 37 100.0 % 1 / 1 91.7 % 22 / 24
alethe_let_binding.cpp
87.0%87.0%
 87.0 % 107 / 123 100.0 % 2 / 2 66.7 % 72 / 108
alethe_proof_rule.cpp
62.1%62.1%
 62.1 % 95 / 153 100.0 % 3 / 3 61.5 % 88 / 143
alethe_printer.cpp
94.6%94.6%
 94.6 % 191 / 202 100.0 % 10 / 10 57.6 % 99 / 172

Generated by: LCOV version 1.14