LCOV - code coverage report
Current view: top level - bes/source Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 164 234 70.1 %
Date: 2020-09-16 00:45:56 Functions: 28 37 75.7 %
Legend: Rating: low: < 75 % medium: >= 75 % high: >= 90 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage
bes.cpp
66.7%66.7%
66.7 % 14 / 21 50.0 % 7 / 14
io.cpp
65.7%65.7%
65.7 % 94 / 143 88.2 % 15 / 17
pgsolver.cpp
80.0%80.0%
80.0 % 56 / 70 100.0 % 6 / 6

Generated by: LCOV version 1.13