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-26 03:18:02 Functions: 0 149 0.0 % Legend: Rating: low: < 75 % medium: >= 75 % high: >= 90 %

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

Generated by: LCOV version 1.14