LCOV - code coverage report
Current view: top level - atermpp/source Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 323 367 88.0 %
Date: 2019-09-14 00:54:39 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
function_symbol_pool.cpp
93.0%93.0%
93.0 % 53 / 57 90.0 % 9 / 10
aterm_io_binary.cpp
98.3%98.3%
98.3 % 113 / 115 93.8 % 15 / 16
aterm_io_text.cpp
78.2%78.2%
78.2 % 136 / 174 95.0 % 19 / 20
function_symbol.cpp
100.0%
100.0 % 12 / 12 100.0 % 5 / 5

Generated by: LCOV version 1.12