LCOV - code coverage report

Current view: top level - lts/include/mcrl2/lts - probabilistic_lts.h (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 38 38 100.0 % Date: 2024-04-19 03:43:27 Functions: 27 33 81.8 % Legend: Lines: hit not hit

Function Name	Hit count
_ZN5mcrl23lts17probabilistic_ltsINS0_15state_label_dotENS0_19action_label_stringENS0_19probabilistic_stateImNS0_42probabilistic_arbitrary_precision_fractionEEENS0_6detail12lts_dot_baseEE17set_initial_stateEm	0
_ZN5mcrl23lts17probabilistic_ltsINS0_15state_label_dotENS0_19action_label_stringENS0_19probabilistic_stateImNS0_42probabilistic_arbitrary_precision_fractionEEENS0_6detail12lts_dot_baseEE23add_probabilistic_stateERKS6_	0
_ZN5mcrl23lts17probabilistic_ltsINS0_15state_label_dotENS0_19action_label_stringENS0_19probabilistic_stateImNS0_42probabilistic_arbitrary_precision_fractionEEENS0_6detail12lts_dot_baseEE31set_initial_probabilistic_stateERKS6_	0
_ZN5mcrl23lts17probabilistic_ltsINS0_15state_label_dotENS0_19action_label_stringENS0_19probabilistic_stateImNS0_42probabilistic_arbitrary_precision_fractionEEENS0_6detail12lts_dot_baseEEC2Ev	0
_ZNK5mcrl23lts17probabilistic_ltsINS0_15state_label_dotENS0_19action_label_stringENS0_19probabilistic_stateImNS0_42probabilistic_arbitrary_precision_fractionEEENS0_6detail12lts_dot_baseEE19probabilistic_stateEm	0
_ZNK5mcrl23lts17probabilistic_ltsINS0_15state_label_dotENS0_19action_label_stringENS0_19probabilistic_stateImNS0_42probabilistic_arbitrary_precision_fractionEEENS0_6detail12lts_dot_baseEE27initial_probabilistic_stateEv	0
_ZN5mcrl23lts17probabilistic_ltsINS0_15state_label_fsmENS0_19action_label_stringENS0_19probabilistic_stateImNS0_42probabilistic_arbitrary_precision_fractionEEENS0_6detail12lts_fsm_baseEE26clear_probabilistic_statesEv	4
_ZN5mcrl23lts17probabilistic_ltsINS0_17state_label_emptyENS0_19action_label_stringENS0_19probabilistic_stateImNS0_42probabilistic_arbitrary_precision_fractionEEENS0_6detail12lts_aut_baseEE5clearEv	6
_ZNK5mcrl23lts17probabilistic_ltsINS0_17state_label_emptyENS0_19action_label_stringENS0_19probabilistic_stateImNS0_42probabilistic_arbitrary_precision_fractionEEENS0_6detail12lts_aut_baseEEeqERKS9_	7
_ZNK5mcrl23lts17probabilistic_ltsINS0_15state_label_ltsENS0_16action_label_ltsENS0_19probabilistic_stateImNS_3lps29probabilistic_data_expressionEEENS0_6detail12lts_lts_baseEE27initial_probabilistic_stateEv	8
_ZN5mcrl23lts17probabilistic_ltsINS0_15state_label_ltsENS0_16action_label_ltsENS0_19probabilistic_stateImNS_3lps29probabilistic_data_expressionEEENS0_6detail12lts_lts_baseEE17set_initial_stateEm	12
_ZN5mcrl23lts17probabilistic_ltsINS0_15state_label_ltsENS0_16action_label_ltsENS0_19probabilistic_stateImNS_3lps29probabilistic_data_expressionEEENS0_6detail12lts_lts_baseEE31set_initial_probabilistic_stateERKS7_	12
_ZN5mcrl23lts17probabilistic_ltsINS0_15state_label_ltsENS0_16action_label_ltsENS0_19probabilistic_stateImNS_3lps29probabilistic_data_expressionEEENS0_6detail12lts_lts_baseEEC2Ev	12
_ZN5mcrl23lts17probabilistic_ltsINS0_17state_label_emptyENS0_19action_label_stringENS0_19probabilistic_stateImNS0_42probabilistic_arbitrary_precision_fractionEEENS0_6detail12lts_aut_baseEE26clear_probabilistic_statesEv	14
_ZN5mcrl23lts17probabilistic_ltsINS0_17state_label_emptyENS0_19action_label_stringENS0_19probabilistic_stateImNS0_42probabilistic_arbitrary_precision_fractionEEENS0_6detail12lts_aut_baseEEC2Ev	18
_ZN5mcrl23lts17probabilistic_ltsINS0_17state_label_emptyENS0_19action_label_stringENS0_19probabilistic_stateImNS0_42probabilistic_arbitrary_precision_fractionEEENS0_6detail12lts_aut_baseEEC2ERKS9_	19
_ZN5mcrl23lts17probabilistic_ltsINS0_17state_label_emptyENS0_19action_label_stringENS0_19probabilistic_stateImNS0_42probabilistic_arbitrary_precision_fractionEEENS0_6detail12lts_aut_baseEE17set_initial_stateEm	32
_ZN5mcrl23lts17probabilistic_ltsINS0_17state_label_emptyENS0_19action_label_stringENS0_19probabilistic_stateImNS0_42probabilistic_arbitrary_precision_fractionEEENS0_6detail12lts_aut_baseEE31set_initial_probabilistic_stateERKS6_	32
_ZNK5mcrl23lts17probabilistic_ltsINS0_17state_label_emptyENS0_19action_label_stringENS0_19probabilistic_stateImNS0_42probabilistic_arbitrary_precision_fractionEEENS0_6detail12lts_aut_baseEE27initial_probabilistic_stateEv	32
_ZNK5mcrl23lts17probabilistic_ltsINS0_15state_label_ltsENS0_16action_label_ltsENS0_19probabilistic_stateImNS_3lps29probabilistic_data_expressionEEENS0_6detail12lts_lts_baseEE24num_probabilistic_statesEv	58
_ZN5mcrl23lts17probabilistic_ltsINS0_15state_label_fsmENS0_19action_label_stringENS0_19probabilistic_stateImNS0_42probabilistic_arbitrary_precision_fractionEEENS0_6detail12lts_fsm_baseEE5clearEv	61
_ZN5mcrl23lts17probabilistic_ltsINS0_17state_label_emptyENS0_19action_label_stringENS0_19probabilistic_stateImNS0_42probabilistic_arbitrary_precision_fractionEEENS0_6detail12lts_aut_baseEE23add_probabilistic_stateERKS6_	86
_ZNK5mcrl23lts17probabilistic_ltsINS0_15state_label_ltsENS0_16action_label_ltsENS0_19probabilistic_stateImNS_3lps29probabilistic_data_expressionEEENS0_6detail12lts_lts_baseEE19probabilistic_stateEm	108
_ZN5mcrl23lts17probabilistic_ltsINS0_15state_label_fsmENS0_19action_label_stringENS0_19probabilistic_stateImNS0_42probabilistic_arbitrary_precision_fractionEEENS0_6detail12lts_fsm_baseEE17set_initial_stateEm	119
_ZN5mcrl23lts17probabilistic_ltsINS0_15state_label_fsmENS0_19action_label_stringENS0_19probabilistic_stateImNS0_42probabilistic_arbitrary_precision_fractionEEENS0_6detail12lts_fsm_baseEE31set_initial_probabilistic_stateERKS6_	119
_ZN5mcrl23lts17probabilistic_ltsINS0_15state_label_fsmENS0_19action_label_stringENS0_19probabilistic_stateImNS0_42probabilistic_arbitrary_precision_fractionEEENS0_6detail12lts_fsm_baseEEC2Ev	119
_ZN5mcrl23lts17probabilistic_ltsINS0_17state_label_emptyENS0_19action_label_stringENS0_19probabilistic_stateImNS0_42probabilistic_arbitrary_precision_fractionEEENS0_6detail12lts_aut_baseEE33add_and_reset_probabilistic_stateERS6_	129
_ZN5mcrl23lts17probabilistic_ltsINS0_15state_label_ltsENS0_16action_label_ltsENS0_19probabilistic_stateImNS_3lps29probabilistic_data_expressionEEENS0_6detail12lts_lts_baseEE23add_probabilistic_stateERKS7_	134
_ZNK5mcrl23lts17probabilistic_ltsINS0_17state_label_emptyENS0_19action_label_stringENS0_19probabilistic_stateImNS0_42probabilistic_arbitrary_precision_fractionEEENS0_6detail12lts_aut_baseEE24num_probabilistic_statesEv	253
_ZNK5mcrl23lts17probabilistic_ltsINS0_15state_label_fsmENS0_19action_label_stringENS0_19probabilistic_stateImNS0_42probabilistic_arbitrary_precision_fractionEEENS0_6detail12lts_fsm_baseEE27initial_probabilistic_stateEv	295
_ZN5mcrl23lts17probabilistic_ltsINS0_15state_label_fsmENS0_19action_label_stringENS0_19probabilistic_stateImNS0_42probabilistic_arbitrary_precision_fractionEEENS0_6detail12lts_fsm_baseEE23add_probabilistic_stateERKS6_	1271
_ZNK5mcrl23lts17probabilistic_ltsINS0_17state_label_emptyENS0_19action_label_stringENS0_19probabilistic_stateImNS0_42probabilistic_arbitrary_precision_fractionEEENS0_6detail12lts_aut_baseEE19probabilistic_stateEm	1427
_ZNK5mcrl23lts17probabilistic_ltsINS0_15state_label_fsmENS0_19action_label_stringENS0_19probabilistic_stateImNS0_42probabilistic_arbitrary_precision_fractionEEENS0_6detail12lts_fsm_baseEE19probabilistic_stateEm	2369

Generated by: LCOV version 1.14