LCOV - code coverage report

Current view: top level - lts/include/mcrl2/lts/detail - lts_convert.h (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 98 128 76.6 % Date: 2024-04-21 03:44:01 Functions: 16 24 66.7 % Legend: Lines: hit not hit

Function Name	Hit count
_ZN5mcrl23lts6detail11lts_convertINS0_15state_label_ltsENS0_16action_label_ltsENS1_12lts_lts_baseENS0_15state_label_dotENS0_19action_label_stringENS1_12lts_dot_baseEEEvRKNS0_3ltsIT_T0_T1_EERNS9_IT2_T3_T4_EE	0
_ZN5mcrl23lts6detail15lts_convert_auxINS0_15state_label_ltsENS0_16action_label_ltsENS1_12lts_lts_baseENS0_15state_label_dotENS0_19action_label_stringENS1_12lts_dot_baseEEEvRKNS0_3ltsIT_T0_T1_EERNS9_IT2_T3_T4_EE	0
_ZN5mcrl23lts6detail22lts_convert_base_classERKNS1_12lts_aut_baseERNS1_12lts_lts_baseE	0
_ZN5mcrl23lts6detail22lts_convert_base_classERKNS1_12lts_lts_baseERNS1_12lts_dot_baseE	0
_ZN5mcrl23lts6detail27lts_convert_translate_labelERKNS0_16action_label_ltsERNS1_9convertorINS1_12lts_lts_baseENS1_12lts_dot_baseEEE	0
_ZN5mcrl23lts6detail27lts_convert_translate_stateERKNS0_15state_label_ltsERNS0_15state_label_dotERNS1_9convertorINS1_12lts_lts_baseENS1_12lts_dot_baseEEE	0
_ZN5mcrl23lts6detail27lts_convert_translate_stateERKNS0_17state_label_emptyERNS0_15state_label_ltsERNS1_9convertorINS1_12lts_aut_baseENS1_12lts_lts_baseEEE	0
_ZN5mcrl23lts6detail9convertorINS1_12lts_lts_baseENS1_12lts_dot_baseEEC2ERKS3_RS4_	0
_ZN5mcrl23lts6detail11lts_convertINS0_15state_label_ltsENS0_16action_label_ltsENS0_19probabilistic_stateImNS_3lps29probabilistic_data_expressionEEENS1_12lts_lts_baseENS0_15state_label_fsmENS0_19action_label_stringENS5_ImNS0_42probabilistic_arbitrary_precision_fractionEEENS1_12lts_fsm_baseEEEvRKNS0_17probabilistic_ltsIT_T0_T1_T2_EERNSF_IT3_T4_T5_T6_EE	4
_ZN5mcrl23lts6detail11lts_convertINS0_17state_label_emptyENS0_19action_label_stringENS1_12lts_aut_baseENS0_15state_label_ltsENS0_16action_label_ltsENS1_12lts_lts_baseEEEvRKNS0_3ltsIT_T0_T1_EERNS9_IT2_T3_T4_EERKNS_4data18data_specificationERKN7atermpp9term_listINS_7process12action_labelEEERKNSQ_INSL_8variableEEEb	4
_ZN5mcrl23lts6detail15lts_convert_auxINS0_17state_label_emptyENS0_19action_label_stringENS1_12lts_aut_baseENS0_15state_label_ltsENS0_16action_label_ltsENS1_12lts_lts_baseEEEvRKNS0_3ltsIT_T0_T1_EERNS9_IT2_T3_T4_EE	4
_ZN5mcrl23lts6detail22lts_convert_base_classERKNS1_12lts_aut_baseERNS1_12lts_lts_baseERKNS_4data18data_specificationERKN7atermpp9term_listINS_7process12action_labelEEERKNSC_INS7_8variableEEEb	4
_ZN5mcrl23lts6detail28translate_probability_labelsINS0_15state_label_ltsENS0_16action_label_ltsENS0_19probabilistic_stateImNS_3lps29probabilistic_data_expressionEEENS1_12lts_lts_baseENS0_15state_label_fsmENS0_19action_label_stringENS5_ImNS0_42probabilistic_arbitrary_precision_fractionEEENS1_12lts_fsm_baseEEEvRKNS0_17probabilistic_ltsIT_T0_T1_T2_EERNSF_IT3_T4_T5_T6_EE	4
_ZN5mcrl23lts6detail9convertorINS1_12lts_aut_baseENS1_12lts_lts_baseEEC2ERKS3_RKS4_	4
_ZN5mcrl23lts6detail19translate_label_auxERKNS0_19action_label_stringERKNS_4data18data_specificationERNS_3lps25multi_action_type_checkerE	12
_ZN5mcrl23lts6detail27lts_convert_translate_labelERKNS0_19action_label_stringERNS1_9convertorINS1_12lts_aut_baseENS1_12lts_lts_baseEEE	12
_ZN5mcrl23lts6detail11lts_convertINS0_15state_label_ltsENS0_16action_label_ltsENS1_12lts_lts_baseENS0_15state_label_fsmENS0_19action_label_stringENS1_12lts_fsm_baseEEEvRKNS0_3ltsIT_T0_T1_EERNS9_IT2_T3_T4_EE	58
_ZN5mcrl23lts6detail15lts_convert_auxINS0_15state_label_ltsENS0_16action_label_ltsENS1_12lts_lts_baseENS0_15state_label_fsmENS0_19action_label_stringENS1_12lts_fsm_baseEEEvRKNS0_3ltsIT_T0_T1_EERNS9_IT2_T3_T4_EE	58
_ZN5mcrl23lts6detail22lts_convert_base_classERKNS1_12lts_lts_baseERNS1_12lts_fsm_baseE	58
_ZN5mcrl23lts6detail31lts_convert_probabilistic_stateINS0_19probabilistic_stateImNS_3lps29probabilistic_data_expressionEEENS3_ImNS0_42probabilistic_arbitrary_precision_fractionEEEEET0_RKT_	58
_ZN5mcrl23lts6detail9convertorINS1_12lts_lts_baseENS1_12lts_fsm_baseEEC2ERKS3_RS4_	58
_ZN5mcrl23lts6detail31translate_probability_data_probERKNS_4data15data_expressionE	112
_ZN5mcrl23lts6detail27lts_convert_translate_stateERKNS0_15state_label_ltsERNS0_15state_label_fsmERNS1_9convertorINS1_12lts_lts_baseENS1_12lts_fsm_baseEEE	432
_ZN5mcrl23lts6detail27lts_convert_translate_labelERKNS0_16action_label_ltsERNS1_9convertorINS1_12lts_lts_baseENS1_12lts_fsm_baseEEE	508

Generated by: LCOV version 1.14