LCOV - code coverage report
Current view: top level - bes/source Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 135 205 65.9 %
Date: 2019-09-14 00:54:39 Functions: 24 33 72.7 %
Legend: Rating: low: < 75 % medium: >= 75 % high: >= 90 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage
io.cpp
57.5%57.5%
57.5 % 65 / 113 84.6 % 11 / 13
bes.cpp
66.7%66.7%
66.7 % 14 / 21 50.0 % 7 / 14
pgsolver.cpp
78.9%78.9%
78.9 % 56 / 71 100.0 % 6 / 6

Generated by: LCOV version 1.12