LCOV - code coverage report
Current view: top level - pg/source Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 0 1761 0.0 %
Date: 2019-05-18 00:50:05 Functions: 0 194 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 / 76 0.0 % 0 / 8
DecycleSolver.cpp
0.0%
0.0 % 0 / 98 0.0 % 0 / 11
DeloopSolver.cpp
0.0%
0.0 % 0 / 60 0.0 % 0 / 7
FocusListLiftingStrategy.cpp
0.0%
0.0 % 0 / 58 0.0 % 0 / 8
Graph.cpp
0.0%
0.0 % 0 / 267 0.0 % 0 / 20
LiftingStrategy.cpp
0.0%
0.0 % 0 / 40 0.0 % 0 / 7
LinearLiftingStrategy.cpp
0.0%
0.0 % 0 / 31 0.0 % 0 / 6
MaxMeasureLiftingStrategy.cpp
0.0%
0.0 % 0 / 125 0.0 % 0 / 18
OldMaxMeasureLiftingStrategy.cpp
0.0%
0.0 % 0 / 31 0.0 % 0 / 8
ParityGame.cpp
0.0%
0.0 % 0 / 159 0.0 % 0 / 17
ParityGameSolver.cpp
0.0%
0.0 % 0 / 6 0.0 % 0 / 3
ParityGame_IO.cpp
0.0%
0.0 % 0 / 156 0.0 % 0 / 10
ParityGame_verify.cpp
0.0%
0.0 % 0 / 44 0.0 % 0 / 4
PredecessorLiftingStrategy.cpp
0.0%
0.0 % 0 / 57 0.0 % 0 / 14
PriorityPromotionSolver.cpp
0.0%
0.0 % 0 / 157 0.0 % 0 / 11
RecursiveSolver.cpp
0.0%
0.0 % 0 / 92 0.0 % 0 / 10
SmallProgressMeasures.cpp
0.0%
0.0 % 0 / 304 0.0 % 0 / 32

Generated by: LCOV version 1.12