LCOV - code coverage report
Current view: top level - pg/include/mcrl2/pg Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 0 469 0.0 %
Date: 2024-03-08 02:52:28 Functions: 0 149 0.0 %
Legend: Rating: low: < 75 % medium: >= 75 % high: >= 90 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage
Abortable.h
0.0%
0.0 % 0 / 2 0.0 % 0 / 2
ComponentSolver.h
0.0%
0.0 % 0 / 3 0.0 % 0 / 3
DecycleSolver.h
0.0%
0.0 % 0 / 1 0.0 % 0 / 2
DeloopSolver.h
0.0%
0.0 % 0 / 1 0.0 % 0 / 2
DenseMap.h
0.0%
0.0 % 0 / 26 0.0 % 0 / 8
DenseSet.h
0.0%
0.0 % 0 / 48 0.0 % 0 / 17
FocusListLiftingStrategy.h
0.0%
0.0 % 0 / 4 0.0 % 0 / 1
Graph.h
0.0%
0.0 % 0 / 18 0.0 % 0 / 10
Graph_impl.h
0.0%
0.0 % 0 / 59 0.0 % 0 / 6
LiftingStrategy.h
0.0%
0.0 % 0 / 5 0.0 % 0 / 6
LinPredLiftingStrategy.h
0.0%
0.0 % 0 / 22 0.0 % 0 / 4
LinearLiftingStrategy.h
0.0%
0.0 % 0 / 2 0.0 % 0 / 1
MaxMeasureLiftingStrategy.h
0.0%
0.0 % 0 / 2 0.0 % 0 / 1
OldMaxMeasureLiftingStrategy.h
0.0%
0.0 % 0 / 2 0.0 % 0 / 1
ParityGame.h
0.0%
0.0 % 0 / 18 0.0 % 0 / 9
ParityGameSolver.h
0.0%
0.0 % 0 / 5 0.0 % 0 / 6
ParityGameSolver_impl.h
0.0%
0.0 % 0 / 5 0.0 % 0 / 2
ParityGame_impl.h
0.0%
0.0 % 0 / 12 0.0 % 0 / 3
PredecessorLiftingStrategy.h
0.0%
0.0 % 0 / 2 0.0 % 0 / 2
RecursiveSolver.h
0.0%
0.0 % 0 / 25 0.0 % 0 / 8
RefCounted.h
0.0%
0.0 % 0 / 8 0.0 % 0 / 5
SCC.h
0.0%
0.0 % 0 / 8 0.0 % 0 / 7
SCC_impl.h
0.0%
0.0 % 0 / 46 0.0 % 0 / 16
SmallProgressMeasures.h
0.0%
0.0 % 0 / 17 0.0 % 0 / 15
SmallProgressMeasures_impl.h
0.0%
0.0 % 0 / 74 0.0 % 0 / 7
attractor_impl.h
0.0%
0.0 % 0 / 49 0.0 % 0 / 4
shuffle.h
0.0%
0.0 % 0 / 5 0.0 % 0 / 1

Generated by: LCOV version 1.14