LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/proof/alf Hit Total Coverage
Test: coverage.info Lines: 772 1006 76.7 %
Date: 2025-02-09 13:32:29 Functions: 50 66 75.8 %
Branches: 457 674 67.8 %

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
95.3%95.3%
 95.3 % 301 / 316 93.8 % 15 / 16 80.7 % 197 / 244
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
76.3%76.3%
 76.3 % 384 / 503 86.4 % 19 / 22 64.9 % 216 / 333
alf_printer.h
100.0%
 100.0 % 1 / 1 50.0 % 1 / 2 - 0 / 0

Generated by: LCOV version 1.14