LCOV - code coverage report
Current view: top level - pg/source Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 0 1802 0.0 %
Date: 2024-04-19 03:43:27 Functions: 0 159 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
ParityGameSolver.cpp
0.0%
 0.0 % 0 / 6 0.0 % 0 / 1
LinearLiftingStrategy.cpp
0.0%
 0.0 % 0 / 32 0.0 % 0 / 4
OldMaxMeasureLiftingStrategy.cpp
0.0%
 0.0 % 0 / 32 0.0 % 0 / 6
LiftingStrategy.cpp
0.0%
 0.0 % 0 / 40 0.0 % 0 / 5
ParityGame_verify.cpp
0.0%
 0.0 % 0 / 44 0.0 % 0 / 2
PredecessorLiftingStrategy.cpp
0.0%
 0.0 % 0 / 57 0.0 % 0 / 12
FocusListLiftingStrategy.cpp
0.0%
 0.0 % 0 / 58 0.0 % 0 / 6
DeloopSolver.cpp
0.0%
 0.0 % 0 / 61 0.0 % 0 / 5
ComponentSolver.cpp
0.0%
 0.0 % 0 / 80 0.0 % 0 / 6
RecursiveSolver.cpp
0.0%
 0.0 % 0 / 95 0.0 % 0 / 8
DecycleSolver.cpp
0.0%
 0.0 % 0 / 101 0.0 % 0 / 8
MaxMeasureLiftingStrategy.cpp
0.0%
 0.0 % 0 / 130 0.0 % 0 / 16
PriorityPromotionSolver.cpp
0.0%
 0.0 % 0 / 157 0.0 % 0 / 9
ParityGame_IO.cpp
0.0%
 0.0 % 0 / 158 0.0 % 0 / 8
ParityGame.cpp
0.0%
 0.0 % 0 / 158 0.0 % 0 / 15
Graph.cpp
0.0%
 0.0 % 0 / 272 0.0 % 0 / 18
SmallProgressMeasures.cpp
0.0%
 0.0 % 0 / 321 0.0 % 0 / 30

Generated by: LCOV version 1.14