LCOV - code coverage report
Current view: top level - pg/include/mcrl2/pg Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 0 476 0.0 %
Date: 2019-05-18 00:50:05 Functions: 0 193 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 / 3 0.0 % 0 / 3
ComponentSolver.h
0.0%
0.0 % 0 / 1 0.0 % 0 / 2
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 / 9
DenseSet.h
0.0%
0.0 % 0 / 47 0.0 % 0 / 17
FocusListLiftingStrategy.h
0.0%
0.0 % 0 / 4 0.0 % 0 / 5
Graph.h
0.0%
0.0 % 0 / 18 0.0 % 0 / 10
Graph_impl.h
0.0%
0.0 % 0 / 53 0.0 % 0 / 6
LiftingStrategy.h
0.0%
0.0 % 0 / 8 0.0 % 0 / 9
LinPredLiftingStrategy.h
0.0%
0.0 % 0 / 24 0.0 % 0 / 9
LinearLiftingStrategy.h
0.0%
0.0 % 0 / 4 0.0 % 0 / 5
MaxMeasureLiftingStrategy.h
0.0%
0.0 % 0 / 3 0.0 % 0 / 3
OldMaxMeasureLiftingStrategy.h
0.0%
0.0 % 0 / 3 0.0 % 0 / 4
ParityGame.h
0.0%
0.0 % 0 / 15 0.0 % 0 / 9
ParityGameSolver.h
0.0%
0.0 % 0 / 6 0.0 % 0 / 7
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 / 3 0.0 % 0 / 4
PriorityPromotionSolver.h
0.0%
0.0 % 0 / 2 0.0 % 0 / 4
RecursiveSolver.h
0.0%
0.0 % 0 / 27 0.0 % 0 / 11
RefCounted.h
0.0%
0.0 % 0 / 8 0.0 % 0 / 5
SCC.h
0.0%
0.0 % 0 / 9 0.0 % 0 / 9
SCC_impl.h
0.0%
0.0 % 0 / 47 0.0 % 0 / 20
SmallProgressMeasures.h
0.0%
0.0 % 0 / 20 0.0 % 0 / 21
SmallProgressMeasures_impl.h
0.0%
0.0 % 0 / 73 0.0 % 0 / 7
attractor_impl.h
0.0%
0.0 % 0 / 48 0.0 % 0 / 4
shuffle.h
0.0%
0.0 % 0 / 5 0.0 % 0 / 1

Generated by: LCOV version 1.12