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-03-08 02:52:28 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
ComponentSolver.cpp
0.0%
0.0 % 0 / 80 0.0 % 0 / 6
DecycleSolver.cpp
0.0%
0.0 % 0 / 101 0.0 % 0 / 8
DeloopSolver.cpp
0.0%
0.0 % 0 / 61 0.0 % 0 / 5
FocusListLiftingStrategy.cpp
0.0%
0.0 % 0 / 58 0.0 % 0 / 6
Graph.cpp
0.0%
0.0 % 0 / 272 0.0 % 0 / 18
LiftingStrategy.cpp
0.0%
0.0 % 0 / 40 0.0 % 0 / 5
LinearLiftingStrategy.cpp
0.0%
0.0 % 0 / 32 0.0 % 0 / 4
MaxMeasureLiftingStrategy.cpp
0.0%
0.0 % 0 / 130 0.0 % 0 / 16
OldMaxMeasureLiftingStrategy.cpp
0.0%
0.0 % 0 / 32 0.0 % 0 / 6
ParityGame.cpp
0.0%
0.0 % 0 / 158 0.0 % 0 / 15
ParityGameSolver.cpp
0.0%
0.0 % 0 / 6 0.0 % 0 / 1
ParityGame_IO.cpp
0.0%
0.0 % 0 / 158 0.0 % 0 / 8
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
PriorityPromotionSolver.cpp
0.0%
0.0 % 0 / 157 0.0 % 0 / 9
RecursiveSolver.cpp
0.0%
0.0 % 0 / 95 0.0 % 0 / 8
SmallProgressMeasures.cpp
0.0%
0.0 % 0 / 321 0.0 % 0 / 30

Generated by: LCOV version 1.14