LCOV - code coverage report
Current view: top level - pg/include/mcrl2/pg - SmallProgressMeasures.h (source / functions) Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 0 17 0.0 %
Date: 2024-05-04 03:44:52 Functions: 0 15 0.0 %
Legend: Lines: hit not hit

Function Name Sort by function name Hit count Sort by hit count
_ZN21SmallProgressMeasures6decr_MEi 0
_ZN27SmallProgressMeasuresSolver16SetToTopIteratorC2ER21SmallProgressMeasures 0
_ZN27SmallProgressMeasuresSolver16SetToTopIteratoraSEm 0
_ZN27SmallProgressMeasuresSolver16SetToTopIteratordeEv 0
_ZN27SmallProgressMeasuresSolver16SetToTopIteratorppEi 0
_ZNK21SmallProgressMeasures12get_min_succEm 0
_ZNK21SmallProgressMeasures13get_successorEm 0
_ZNK21SmallProgressMeasures14compare_strictEm 0
_ZNK21SmallProgressMeasures3lenEm 0
_ZNK21SmallProgressMeasures4gameEv 0
_ZNK21SmallProgressMeasures6is_topEPKm 0
_ZNK21SmallProgressMeasures6is_topEm 0
_ZNK21SmallProgressMeasures8is_dirtyEm 0
_ZNK21SmallProgressMeasures8take_maxEm 0
_ZNK8DenseSPM3vecEm 0

Generated by: LCOV version 1.14