LCOV - code coverage report
Current view: top level - trace/test Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 50 57 87.7 %
Date: 2019-08-22 00:56:55 Functions: 11 11 100.0 %
Legend: Rating: low: < 75 % medium: >= 75 % high: >= 90 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage
read_mcrl2.cpp
85.7%85.7%
85.7 % 30 / 35 100.0 % 5 / 5
read_plain.cpp
90.9%90.9%
90.9 % 20 / 22 100.0 % 6 / 6

Generated by: LCOV version 1.12