LCOV - code coverage report
Current view: top level - pg/source - ParityGame.cpp (source / functions) Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 0 158 0.0 %
Date: 2024-04-26 03:18:02 Functions: 0 15 0.0 %
Legend: Lines: hit not hit

Function Name Sort by function name Hit count Sort by hit count
_ZN10ParityGame11make_randomEmjjN11StaticGraph13EdgeDirectionEi 0
_ZN10ParityGame18propagate_priorityEmPKmS1_ 0
_ZN10ParityGame19compress_prioritiesEPKmb 0
_ZN10ParityGame20propagate_prioritiesEv 0
_ZN10ParityGame25recalculate_cardinalitiesEm 0
_ZN10ParityGame4swapERS_ 0
_ZN10ParityGame5clearEv 0
_ZN10ParityGame5resetEmi 0
_ZN10ParityGame6assignERK11StaticGraphP16ParityGameVertex 0
_ZN10ParityGame6assignERKS_ 0
_ZN10ParityGame7shuffleERKSt6vectorImSaImEE 0
_ZN10ParityGame9make_dualEv 0
_ZN10ParityGameC2Ev 0
_ZN10ParityGameD2Ev 0
_ZNK10ParityGame6properEv 0

Generated by: LCOV version 1.14