LCOV - code coverage report

Current view: top level - lps/include/mcrl2/lps - parelm.h (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 96 100 96.0 % Date: 2024-05-04 03:44:52 Functions: 18 19 94.7 % Legend: Lines: hit not hit

Function Name	Hit count
_ZN5mcrl23lps16parelm_algorithmINS0_24stochastic_specificationEE7parelm2Ev	0
_ZN5mcrl23lps16parelm_algorithmINS0_24stochastic_specificationEE20transition_variablesEv	1
_ZN5mcrl23lps16parelm_algorithmINS0_24stochastic_specificationEE3runEb	1
_ZN5mcrl23lps16parelm_algorithmINS0_24stochastic_specificationEE7parelm1Ev	1
_ZN5mcrl23lps16parelm_algorithmINS0_24stochastic_specificationEEC2ERS2_	1
_ZN5mcrl23lps6parelmINS0_24stochastic_specificationEEEvRT_b	1
_ZNK5mcrl23lps16parelm_algorithmINS0_24stochastic_specificationEE14report_resultsERKSt3setINS_4data8variableESt4lessIS6_ESaIS6_EE	1
_ZN5mcrl23lps6detail28collect_transition_variablesERKNS0_16deadlock_summandERSt3setINS_4data8variableESt4lessIS7_ESaIS7_EE	3
_ZN5mcrl23lps16parelm_algorithmINS0_13specificationEE7parelm1Ev	7
_ZN5mcrl23lps16parelm_algorithmINS0_13specificationEE7parelm2Ev	7
_ZN5mcrl23lps6detail28collect_transition_variablesERKNS0_25stochastic_action_summandERSt3setINS_4data8variableESt4lessIS7_ESaIS7_EE	10
_ZN5mcrl23lps16parelm_algorithmINS0_13specificationEE20transition_variablesEv	14
_ZN5mcrl23lps16parelm_algorithmINS0_13specificationEE3runEb	14
_ZN5mcrl23lps16parelm_algorithmINS0_13specificationEEC2ERS2_	14
_ZN5mcrl23lps6parelmINS0_13specificationEEEvRT_b	14
_ZNK5mcrl23lps16parelm_algorithmINS0_13specificationEE14report_resultsERKSt3setINS_4data8variableESt4lessIS6_ESaIS6_EE	14
_ZN5mcrl23lps6detail28collect_transition_variablesERKNS0_14action_summandERSt3setINS_4data8variableESt4lessIS7_ESaIS7_EE	26
_ZZN5mcrl23lps16parelm_algorithmINS0_13specificationEE7parelm1EvENKUlRKNS_4data10assignmentEE_clES7_	27
_ZZN5mcrl23lps16parelm_algorithmINS0_24stochastic_specificationEE7parelm1EvENKUlRKNS_4data10assignmentEE_clES7_	1087

Generated by: LCOV version 1.14