LCOV - code coverage report
Current view: top level - atermpp/source Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 493 553 89.2 %
Date: 2019-07-19 02:46:18 Functions: 74 78 94.9 %
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 % 7 / 7 100.0 % 4 / 4
aterm_io_binary.cpp
97.2%97.2%
97.2 % 281 / 289 100.0 % 38 / 38
aterm_io_text.cpp
74.5%74.5%
74.5 % 140 / 188 85.7 % 18 / 21
function_symbol.cpp
100.0%
100.0 % 12 / 12 100.0 % 5 / 5
function_symbol_pool.cpp
93.0%93.0%
93.0 % 53 / 57 90.0 % 9 / 10

Generated by: LCOV version 1.12