LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/proof/alethe Hit Total Coverage
Test: coverage.info Lines: 695 1625 42.8 %
Date: 2024-08-31 11:49:51 Functions: 35 47 74.5 %
Branches: 322 1098 29.3 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage Branches Sort by branch coverage
alethe_let_binding.cpp
83.5%83.5%
 83.5 % 96 / 115 100.0 % 2 / 2 59.8 % 55 / 92
alethe_node_converter.cpp
12.5%12.5%
 12.5 % 17 / 136 42.9 % 3 / 7 9.6 % 5 / 52
alethe_node_converter.h
44.4%44.4%
 44.4 % 4 / 9 33.3 % 2 / 6 - 0 / 0
alethe_post_processor.cpp
36.6%36.6%
 36.6 % 383 / 1047 86.7 % 13 / 15 22.7 % 154 / 677
alethe_post_processor.h
100.0%
 100.0 % 1 / 1 50.0 % 1 / 2 - 0 / 0
alethe_printer.cpp
86.5%86.5%
 86.5 % 160 / 185 100.0 % 10 / 10 52.6 % 82 / 156
alethe_printer.h
100.0%
 100.0 % 1 / 1 50.0 % 1 / 2 - 0 / 0
alethe_proof_rule.cpp
25.2%25.2%
 25.2 % 33 / 131 100.0 % 3 / 3 21.5 % 26 / 121

Generated by: LCOV version 1.14