LCOV - code coverage report

Current view: top level - lps/include/mcrl2/lps - suminst.h (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 76 85 89.4 % Date: 2024-05-01 03:37:31 Functions: 11 21 52.4 % Legend: Lines: hit not hit

Function Name	Hit count
_ZN5mcrl23lps17suminst_algorithmINS_4data8rewriterENS0_24stochastic_specificationEE16must_instantiateERKNS0_16deadlock_summandE	0
_ZN5mcrl23lps17suminst_algorithmINS_4data8rewriterENS0_24stochastic_specificationEE16must_instantiateERKNS0_25stochastic_action_summandE	0
_ZN5mcrl23lps17suminst_algorithmINS_4data8rewriterENS0_24stochastic_specificationEE19instantiate_summandINS0_16deadlock_summandESt6vectorIS7_SaIS7_EEEEmRKT_RT0_	0
_ZN5mcrl23lps17suminst_algorithmINS_4data8rewriterENS0_24stochastic_specificationEE19instantiate_summandINS0_25stochastic_action_summandESt6vectorIS7_SaIS7_EEEEmRKT_RT0_	0
_ZN5mcrl23lps17suminst_algorithmINS_4data8rewriterENS0_24stochastic_specificationEE3runEv	0
_ZN5mcrl23lps17suminst_algorithmINS_4data8rewriterENS0_24stochastic_specificationEE3runISt6vectorINS0_16deadlock_summandESaIS8_EESA_EEvRKT_RT0_	0
_ZN5mcrl23lps17suminst_algorithmINS_4data8rewriterENS0_24stochastic_specificationEE3runISt6vectorINS0_25stochastic_action_summandESaIS8_EESA_EEvRKT_RT0_	0
_ZN5mcrl23lps17suminst_algorithmINS_4data8rewriterENS0_24stochastic_specificationEEC2ERS4_RS3_St3setINS2_15sort_expressionESt4lessIS9_ESaIS9_EEb	0
_ZZN5mcrl23lps17suminst_algorithmINS_4data8rewriterENS0_24stochastic_specificationEE19instantiate_summandINS0_16deadlock_summandESt6vectorIS7_SaIS7_EEEEmRKT_RT0_ENKUlRKNS2_41enumerator_list_element_with_substitutionINS2_15data_expressionEEEE_clESK_	0
_ZZN5mcrl23lps17suminst_algorithmINS_4data8rewriterENS0_24stochastic_specificationEE19instantiate_summandINS0_25stochastic_action_summandESt6vectorIS7_SaIS7_EEEEmRKT_RT0_ENKUlRKNS2_41enumerator_list_element_with_substitutionINS2_15data_expressionEEEE_clESK_	0
_ZZN5mcrl23lps17suminst_algorithmINS_4data8rewriterENS0_13specificationEE19instantiate_summandINS0_16deadlock_summandESt6vectorIS7_SaIS7_EEEEmRKT_RT0_ENKUlRKNS2_41enumerator_list_element_with_substitutionINS2_15data_expressionEEEE_clESK_	1
_ZN5mcrl23lps17suminst_algorithmINS_4data8rewriterENS0_13specificationEE16must_instantiateERKNS0_16deadlock_summandE	2
_ZN5mcrl23lps17suminst_algorithmINS_4data8rewriterENS0_13specificationEE19instantiate_summandINS0_16deadlock_summandESt6vectorIS7_SaIS7_EEEEmRKT_RT0_	2
_ZN5mcrl23lps12finite_sortsERKNS_4data18data_specificationE	5
_ZN5mcrl23lps17suminst_algorithmINS_4data8rewriterENS0_13specificationEE3runEv	6
_ZN5mcrl23lps17suminst_algorithmINS_4data8rewriterENS0_13specificationEE3runISt6vectorINS0_14action_summandESaIS8_EESA_EEvRKT_RT0_	6
_ZN5mcrl23lps17suminst_algorithmINS_4data8rewriterENS0_13specificationEE3runISt6vectorINS0_16deadlock_summandESaIS8_EESA_EEvRKT_RT0_	6
_ZN5mcrl23lps17suminst_algorithmINS_4data8rewriterENS0_13specificationEEC2ERS4_RS3_St3setINS2_15sort_expressionESt4lessIS9_ESaIS9_EEb	6
_ZN5mcrl23lps17suminst_algorithmINS_4data8rewriterENS0_13specificationEE19instantiate_summandINS0_14action_summandESt6vectorIS7_SaIS7_EEEEmRKT_RT0_	7
_ZN5mcrl23lps17suminst_algorithmINS_4data8rewriterENS0_13specificationEE16must_instantiateERKNS0_14action_summandE	8
_ZZN5mcrl23lps17suminst_algorithmINS_4data8rewriterENS0_13specificationEE19instantiate_summandINS0_14action_summandESt6vectorIS7_SaIS7_EEEEmRKT_RT0_ENKUlRKNS2_41enumerator_list_element_with_substitutionINS2_15data_expressionEEEE_clESK_	13

Generated by: LCOV version 1.14