LCOV - code coverage report

Current view: top level - lts/include/mcrl2/lts/detail - fsm_builder.h (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 114 123 92.7 % Date: 2024-04-26 03:18:02 Functions: 20 20 100.0 % Legend: Lines: hit not hit

Function Name	Hit count
_ZN5mcrl23lts6detail11fsm_builder24add_initial_distributionERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE	4
_ZN5mcrl23lts6detail11fsm_builder16write_parametersEv	61
_ZN5mcrl23lts6detail11fsm_builder5startEv	61
_ZN5mcrl23lts6detail11fsm_builder6finishEv	61
_ZN5mcrl23lts6detail11fsm_builderC2ERNS0_23probabilistic_lts_fsm_tE	61
_ZN5mcrl23lts6detail11fsm_builder13add_parameterERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESA_SA_RKSt6vectorIS8_SaIS8_EE	92
_ZN5mcrl23lts6detail13fsm_parameterC2ERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESA_SA_RKSt6vectorIS8_SaIS8_EE	92
_ZNK5mcrl23lts6detail13fsm_parameter11cardinalityEv	92
_ZNK5mcrl23lts6detail13fsm_parameter4nameB5cxx11Ev	92
_ZNK5mcrl23lts6detail13fsm_parameter4sortB5cxx11Ev	92
_ZNK5mcrl23lts6detail13fsm_parameter6valuesB5cxx11Ev	92
_ZN5mcrl23lts6detail18split_string_untilERNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKS7_SA_	336
_ZN5mcrl23lts6detail11fsm_builder9add_stateERKSt6vectorImSaImEE	414
_ZN5mcrl23lts6detail11fsm_builder14add_transitionERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESA_SA_	837
_ZN5mcrl23lts6detail14fsm_transitionC2ERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESA_SA_	837
_ZN5mcrl23lts6detail11fsm_builder24find_maximal_state_indexERKNS0_19probabilistic_stateImNS0_42probabilistic_arbitrary_precision_fractionEEE	841
_ZN5mcrl23lts6detail18parse_distributionERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE	841
_ZN5mcrl23lts6detail14fsm_transition6sourceEv	1674
_ZN5mcrl23lts6detail14fsm_transition6targetEv	1674
_ZN5mcrl23lts6detail14fsm_transition5labelB5cxx11Ev	2211

Generated by: LCOV version 1.14