LCOV - code coverage report
Current view: top level - atermpp/source Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 364 434 83.9 %
Date: 2024-03-08 02:52:28 Functions: 49 55 89.1 %
Legend: Rating: low: < 75 % medium: >= 75 % high: >= 90 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage
aterm_implementation.cpp
100.0%
100.0 % 9 / 9 62.5 % 5 / 8
aterm_io_binary.cpp
96.3%96.3%
96.3 % 129 / 134 88.2 % 15 / 17
aterm_io_text.cpp
74.1%74.1%
74.1 % 146 / 197 94.4 % 17 / 18
function_symbol.cpp
100.0%
100.0 % 9 / 9 100.0 % 3 / 3
function_symbol_pool.cpp
83.5%83.5%
83.5 % 71 / 85 100.0 % 9 / 9

Generated by: LCOV version 1.14