LCOV - code coverage report
Current view: top level - lts/source - liblts_aut.cpp (source / functions) Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 216 282 76.6 %
Date: 2024-03-08 02:52:28 Functions: 19 22 86.4 %
Legend: Lines: hit not hit

Function Name Sort by function name Hit count Sort by hit count
_ZL12write_to_autRKN5mcrl23lts23probabilistic_lts_aut_tERSo 0
_ZL25write_probabilistic_stateRKN5mcrl23lts19probabilistic_stateImNS0_42probabilistic_arbitrary_precision_fractionEEERSo 0
_ZNK5mcrl23lts23probabilistic_lts_aut_t4saveERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE 0
_ZN5mcrl23lts23probabilistic_lts_aut_t4loadERSi 8
_ZN5mcrl23lts23probabilistic_lts_aut_t4loadERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE 10
_ZL13read_from_autRN5mcrl23lts23probabilistic_lts_aut_tERSi 18
_ZL12write_to_autRKN5mcrl23lts9lts_aut_tERSo 66
_ZN5mcrl23lts9lts_aut_t4loadERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE 66
_ZNK5mcrl23lts9lts_aut_t4saveERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE 66
_Z16find_label_indexIN5mcrl23lts23probabilistic_lts_aut_tEEmRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERNS0_9utilities13unordered_mapINS1_19action_label_stringEmSt4hashISD_ESt8equal_toISD_ESaISD_ELb0ELb1EEERT_ 379
_ZL19read_aut_transitionRSiRmRNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERN5mcrl23lts19probabilistic_stateImNS9_42probabilistic_arbitrary_precision_fractionEEEm 397
_ZN5mcrl23lts9lts_aut_t4loadERSi 458
_ZL13read_from_autRN5mcrl23lts9lts_aut_tERSi 524
_ZL15read_aut_headerRSiRN5mcrl23lts19probabilistic_stateImNS1_42probabilistic_arbitrary_precision_fractionEEERmS6_ 542
_ZL12check_statesRN5mcrl23lts19probabilistic_stateImNS0_42probabilistic_arbitrary_precision_fractionEEEmm 921
_ZL24read_probabilistic_stateRSiRN5mcrl23lts19probabilistic_stateImNS1_42probabilistic_arbitrary_precision_fractionEEEm 921
_ZL29read_natural_number_to_stringRSiRNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEm 1694
_Z16find_label_indexIN5mcrl23lts9lts_aut_tEEmRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERNS0_9utilities13unordered_mapINS1_19action_label_stringEmSt4hashISD_ESt8equal_toISD_ESaISD_ELb0ELb1EEERT_ 3335
_ZL19read_aut_transitionRSiRmRNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES0_m 3859
_ZL12read_newlineRSim 4256
_ZL38read_initial_part_of_an_aut_transitionRSiRmRNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEm 4256
_ZL11check_statemmm 8241

Generated by: LCOV version 1.14