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-04-21 03:44:01 Functions: 0 149 0.0 % Legend: Rating: low: < 75 % medium: >= 75 % high: >= 90 %

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

Generated by: LCOV version 1.14