LCOV - code coverage report

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

Function Name	Hit count
_ZN5mcrl23lts23parse_fsm_specificationERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERNS0_23probabilistic_lts_fsm_tE	3
_ZN5mcrl23lts6detail17simple_fsm_parser26parse_initial_distributionERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE	4
_ZN5mcrl23lts23parse_fsm_specificationERSiRNS0_23probabilistic_lts_fsm_tE	61
_ZN5mcrl23lts6detail17simple_fsm_parser3runERSi	61
_ZN5mcrl23lts6detail17simple_fsm_parserC2ERNS0_23probabilistic_lts_fsm_tE	61
_ZN5mcrl23lts6detail17simple_fsm_parser15parse_parameterERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE	92
_ZN5mcrl23lts6detail17simple_fsm_parser19parse_domain_valuesERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE	92
_ZN5mcrl23lts6detail17simple_fsm_parser10next_stateENS2_6statesE	126
_ZN5mcrl23lts6detail17simple_fsm_parser11parse_stateERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE	414
_ZN5mcrl23lts6detail17simple_fsm_parser16parse_transitionERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE	837

Generated by: LCOV version 1.14