LCOV - code coverage report
Current view: top level - atermpp/source Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 330 383 86.2 %
Date: 2020-07-04 00:44:36 Functions: 55 61 90.2 %
Legend: Rating: low: < 75 % medium: >= 75 % high: >= 90 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage
aterm_io_text.cpp
74.6%74.6%
74.6 % 138 / 185 95.0 % 19 / 20
function_symbol_pool.cpp
92.9%92.9%
92.9 % 52 / 56 90.0 % 9 / 10
aterm_io_binary.cpp
98.3%98.3%
98.3 % 117 / 119 93.8 % 15 / 16
aterm_implementation.cpp
100.0%
100.0 % 10 / 10 70.0 % 7 / 10
function_symbol.cpp
100.0%
100.0 % 13 / 13 100.0 % 5 / 5

Generated by: LCOV version 1.13