LCOV - code coverage report
Current view: top level - atermpp/source Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 323 376 85.9 %
Date: 2020-01-19 00:33:35 Functions: 54 59 91.5 %
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 75.0 % 6 / 8
aterm_io_binary.cpp
98.2%98.2%
98.2 % 111 / 113 93.8 % 15 / 16
aterm_io_text.cpp
74.6%74.6%
74.6 % 138 / 185 95.0 % 19 / 20
function_symbol.cpp
100.0%
100.0 % 13 / 13 100.0 % 5 / 5
function_symbol_pool.cpp
92.9%92.9%
92.9 % 52 / 56 90.0 % 9 / 10

Generated by: LCOV version 1.13