LCOV - code coverage report

Current view: top level - lts/source - liblts_aut.cpp (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 219 285 76.8 % Date: 2024-04-26 03:18:02 Functions: 20 23 87.0 % Legend: Lines: hit not hit

Function Name	Hit count
_Z16find_label_indexIN5mcrl23lts23probabilistic_lts_aut_tEEmRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERNS0_9utilities13unordered_mapINS1_19action_label_stringEmSt4hashISD_ESt8equal_toISD_ESaISD_ELb0ELb1EEERT_	379
_Z16find_label_indexIN5mcrl23lts9lts_aut_tEEmRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERNS0_9utilities13unordered_mapINS1_19action_label_stringEmSt4hashISD_ESt8equal_toISD_ESaISD_ELb0ELb1EEERT_	3360
_ZL11check_statemmm	8291
_ZL12check_statesRN5mcrl23lts19probabilistic_stateImNS0_42probabilistic_arbitrary_precision_fractionEEEmm	925
_ZL12read_newlineRSim	4285
_ZL12write_to_autRKN5mcrl23lts23probabilistic_lts_aut_tERSo	0
_ZL12write_to_autRKN5mcrl23lts9lts_aut_tERSo	66
_ZL13read_from_autRN5mcrl23lts23probabilistic_lts_aut_tERSi	18
_ZL13read_from_autRN5mcrl23lts9lts_aut_tERSi	528
_ZL15read_aut_headerRSiRN5mcrl23lts19probabilistic_stateImNS1_42probabilistic_arbitrary_precision_fractionEEERmS6_	546
_ZL19read_aut_transitionRSiRmRNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERN5mcrl23lts19probabilistic_stateImNS9_42probabilistic_arbitrary_precision_fractionEEEm	397
_ZL19read_aut_transitionRSiRmRNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES0_m	3888
_ZL22add_probablistic_stateRN5mcrl23lts19probabilistic_stateImNS0_42probabilistic_arbitrary_precision_fractionEEERNS0_23probabilistic_lts_aut_tERNS_9utilities13unordered_mapImmSt4hashImESt8equal_toImESaImELb0ELb1EEERNS8_IS3_mS9_IS3_ESB_IS3_ESaIS3_ELb0ELb1EEE	379
_ZL24read_probabilistic_stateRSiRN5mcrl23lts19probabilistic_stateImNS1_42probabilistic_arbitrary_precision_fractionEEEm	925
_ZL25write_probabilistic_stateRKN5mcrl23lts19probabilistic_stateImNS0_42probabilistic_arbitrary_precision_fractionEEERSo	0
_ZL29read_natural_number_to_stringRSiRNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEm	1694
_ZL38read_initial_part_of_an_aut_transitionRSiRmRNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEm	4285
_ZN5mcrl23lts23probabilistic_lts_aut_t4loadERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE	10
_ZN5mcrl23lts23probabilistic_lts_aut_t4loadERSi	8
_ZN5mcrl23lts9lts_aut_t4loadERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE	66
_ZN5mcrl23lts9lts_aut_t4loadERSi	462
_ZNK5mcrl23lts23probabilistic_lts_aut_t4saveERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE	0
_ZNK5mcrl23lts9lts_aut_t4saveERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE	66

Generated by: LCOV version 1.14