LCOV - code coverage report
Current view: top level - pg/source - DecycleSolver.cpp (source / functions) Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 0 101 0.0 %
Date: 2024-04-19 03:43:27 Functions: 0 8 0.0 %
Legend: Lines: hit not hit

Function Name Sort by function name Hit count Sort by hit count
_ZN11CycleFinder3runERSt6vectorImSaImEER8DenseSetImSaIbEERSt5dequeImS1_E 0
_ZN11CycleFinderC2ERK10ParityGamemRKSt6vectorImSaImEE 0
_ZN11CycleFinderclEPKmm 0
_ZN13DecycleSolver5solveEv 0
_ZN13DecycleSolverC2ERK10ParityGameR23ParityGameSolverFactoryPKmm 0
_ZN13DecycleSolverD0Ev 0
_ZN13DecycleSolverD2Ev 0
_ZN20DecycleSolverFactory6createERK10ParityGamePKmm 0

Generated by: LCOV version 1.14