LCOV - code coverage report

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

Function Name	Hit count
_ZN5mcrl23lps19decluster_algorithmINS0_13specificationEE17decluster_summandINS0_14action_summandESt20back_insert_iteratorISt6vectorIS5_SaIS5_EEEEEvRKT_RT0_	0
_ZN5mcrl23lps19decluster_algorithmINS0_13specificationEE17decluster_summandINS0_16deadlock_summandESt20back_insert_iteratorISt6vectorIS5_SaIS5_EEEEEvRKT_RT0_	0
_ZN5mcrl23lps19decluster_algorithmINS0_13specificationEE3runEv	0
_ZN5mcrl23lps19decluster_algorithmINS0_13specificationEEC2ERS2_	0
_ZN5mcrl23lps19decluster_algorithmINS0_24stochastic_specificationEE17decluster_summandINS0_16deadlock_summandESt20back_insert_iteratorISt6vectorIS5_SaIS5_EEEEEvRKT_RT0_	0
_ZN5mcrl23lps19decluster_algorithmINS0_24stochastic_specificationEE17decluster_summandINS0_25stochastic_action_summandESt20back_insert_iteratorISt6vectorIS5_SaIS5_EEEEEvRKT_RT0_	0
_ZN5mcrl23lps19decluster_algorithmINS0_24stochastic_specificationEE3runEv	0
_ZN5mcrl23lps19decluster_algorithmINS0_24stochastic_specificationEEC2ERS2_	0

Generated by: LCOV version 1.14