LCOV - code coverage report
Current view: top level - pbes/include/mcrl2/pbes/tools Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 7 168 4.2 %
Date: 2019-05-22 00:50:25 Functions: 6 15 40.0 %
Legend: Rating: low: < 75 % medium: >= 75 % high: >= 90 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage
lps2pbes.h
0.0%
0.0 % 0 / 25 0.0 % 0 / 1
lpsbisim2pbes.h
0.0%
0.0 % 0 / 19 0.0 % 0 / 1
pbesconstelm.h
0.0%
0.0 % 0 / 6 0.0 % 0 / 1
pbesinfo.h
0.0%
0.0 % 0 / 18 0.0 % 0 / 1
pbesparelm.h
0.0%
0.0 % 0 / 6 0.0 % 0 / 1
pbespp.h
0.0%
0.0 % 0 / 23 0.0 % 0 / 1
pbesrewr.h
0.0%
0.0 % 0 / 42 0.0 % 0 / 1
pbesstategraph.h
10.0%10.0%
10.0 % 1 / 10 66.7 % 2 / 3
pbesstategraph_options.h
100.0%
100.0 % 5 / 5 100.0 % 2 / 2
txt2pbes.h
7.1%7.1%
7.1 % 1 / 14 66.7 % 2 / 3

Generated by: LCOV version 1.12