LCOV - code coverage report
Current view: top level - pbes/include/mcrl2/pbes/tools Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 14 206 6.8 %
Date: 2024-03-08 02:52:28 Functions: 2 12 16.7 %
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 / 36 0.0 % 0 / 2
lpsbisim2pbes.h
0.0%
0.0 % 0 / 23 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 / 24 0.0 % 0 / 1
pbesrewr.h
0.0%
0.0 % 0 / 56 0.0 % 0 / 1
pbesstategraph.h
0.0%
0.0 % 0 / 9 0.0 % 0 / 1
pbesstategraph_options.h
100.0%
100.0 % 14 / 14 100.0 % 2 / 2
txt2pbes.h
0.0%
0.0 % 0 / 14 0.0 % 0 / 1

Generated by: LCOV version 1.14