LCOV - code coverage report
Current view: top level - pg/source - SmallProgressMeasures.cpp (source / functions) Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 0 321 0.0 %
Date: 2024-03-08 02:52:28 Functions: 0 30 0.0 %
Legend: Lines: hit not hit

Function Name Sort by function name Hit count Sort by hit count
_ZN17LiftingStatistics11record_liftEmb 0
_ZN17LiftingStatisticsC2ERK10ParityGamex 0
_ZN21SmallProgressMeasures10solve_someER15LiftingStrategyx 0
_ZN21SmallProgressMeasures10solve_someER16LiftingStrategy2x 0
_ZN21SmallProgressMeasures16initialize_loopsEv 0
_ZN21SmallProgressMeasures27initialize_lifting_strategyER16LiftingStrategy2 0
_ZN21SmallProgressMeasures7lift_toEmPKmb 0
_ZN21SmallProgressMeasures9less_thanEmPKmb 0
_ZN21SmallProgressMeasures9solve_oneER15LiftingStrategy 0
_ZN21SmallProgressMeasures9solve_oneER16LiftingStrategy2 0
_ZN21SmallProgressMeasuresC2ERK10ParityGame8player_tP17LiftingStatisticsPKmm 0
_ZN21SmallProgressMeasuresD0Ev 0
_ZN21SmallProgressMeasuresD2Ev 0
_ZN27SmallProgressMeasuresSolver12solve_normalEv 0
_ZN27SmallProgressMeasuresSolver15preprocess_gameER10ParityGame 0
_ZN27SmallProgressMeasuresSolver15solve_alternateEv 0
_ZN27SmallProgressMeasuresSolver5solveEv 0
_ZN27SmallProgressMeasuresSolverC2ERK10ParityGameSt10shared_ptrI22LiftingStrategyFactoryEbP17LiftingStatisticsPKmm 0
_ZN28SmallProgressMeasuresSolver212solve_normalEv 0
_ZN28SmallProgressMeasuresSolver215solve_alternateEv 0
_ZN28SmallProgressMeasuresSolver2C2ERK10ParityGameSt10shared_ptrI22LiftingStrategyFactoryEbP17LiftingStatisticsPKmm 0
_ZN34SmallProgressMeasuresSolverFactory6createERK10ParityGamePKmm 0
_ZN34SmallProgressMeasuresSolverFactoryC2ESt10shared_ptrI22LiftingStrategyFactoryEibP17LiftingStatistics 0
_ZN8DenseSPM14set_vec_to_topEm 0
_ZN8DenseSPM7set_vecEmPKmb 0
_ZN8DenseSPMC2ERK10ParityGame8player_tP17LiftingStatisticsPKmm 0
_ZN8DenseSPMD0Ev 0
_ZN8DenseSPMD2Ev 0
_ZNK21SmallProgressMeasures12get_strategyERSt6vectorImSaImEE 0
_ZNK21SmallProgressMeasures12get_strategyEm 0

Generated by: LCOV version 1.14