LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/proof/alf Hit Total Coverage
Test: coverage.info Lines: 838 1084 77.3 %
Date: 2025-03-14 11:52:04 Functions: 52 68 76.5 %
Branches: 497 732 67.9 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage Branches Sort by branch coverage
alf_dependent_type_converter.cpp
0.0%
 0.0 % 0 / 48 0.0 % 0 / 3 0.0 % 0 / 13
alf_list_node_converter.cpp
0.0%
 0.0 % 0 / 36 0.0 % 0 / 3 0.0 % 0 / 18
alf_node_converter.cpp
93.5%93.5%
 93.5 % 333 / 356 94.1 % 16 / 17 79.6 % 226 / 284
alf_print_channel.cpp
84.2%84.2%
 84.2 % 85 / 101 73.7 % 14 / 19 66.7 % 44 / 66
alf_print_channel.h
100.0%
 100.0 % 1 / 1 100.0 % 1 / 1 - 0 / 0
alf_printer.cpp
77.3%77.3%
 77.3 % 418 / 541 87.0 % 20 / 23 64.7 % 227 / 351
alf_printer.h
100.0%
 100.0 % 1 / 1 50.0 % 1 / 2 - 0 / 0

Generated by: LCOV version 1.14