LCOV - code coverage report
Current view: top level - process/source Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 72 114 63.2 %
Date: 2020-08-12 00:34:17 Functions: 24 65 36.9 %
Legend: Rating: low: < 75 % medium: >= 75 % high: >= 90 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage
process.cpp
63.2%63.2%
63.2 % 72 / 114 36.9 % 24 / 65

Generated by: LCOV version 1.13