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

Function Name Sort by function name Hit count Sort by hit count
_ZN11Substrategy4swapERS_ 0
_ZN11Substrategy6winnerEm8player_t 0
_ZN11Substrategy9ReferenceC2ERS_m 0
_ZN11Substrategy9ReferenceaSEm 0
_ZN11SubstrategyC2ERKS_St6vectorImSaImEE 0
_ZN11SubstrategyC2ERSt6vectorImSaImEE 0
_ZN11SubstrategyixEm 0
_ZNK11Substrategy6globalEm 0

Generated by: LCOV version 1.14