LCOV - code coverage report

Current view: top level - pg/include/mcrl2/pg - ParityGame_impl.h (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 0 12 0.0 % Date: 2024-05-04 03:44:52 Functions: 0 3 0.0 % Legend: Lines: hit not hit

Function Name	Hit count
_ZN10ParityGame12make_subgameIN9__gnu_cxx17__normal_iteratorIPKmSt6vectorImSaImEEEEEEvRKS_T_SB_bN11StaticGraph13EdgeDirectionE	0
_ZN10ParityGame12make_subgameIN9__gnu_cxx17__normal_iteratorIPmSt6vectorImSaImEEEEEEvRKS_T_SA_bN11StaticGraph13EdgeDirectionE	0
_ZNK10ParityGame6winnerISt6vectorImSaImEEEE8player_tRKT_m	0

Generated by: LCOV version 1.14