LCOV - code coverage report
Current view: top level - bes/source Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 64 86 74.4 %
Date: 2019-05-22 00:50:25 Functions: 12 19 63.2 %
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
53.3%53.3%
53.3 % 8 / 15 46.2 % 6 / 13
pgsolver.cpp
78.9%78.9%
78.9 % 56 / 71 100.0 % 6 / 6

Generated by: LCOV version 1.12