LCOV - code coverage report

Current view: top level - lts/source - liblts_lts.cpp (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 210 236 89.0 % Date: 2024-04-26 03:18:02 Functions: 29 31 93.5 % Legend: Lines: hit not hit

Function Name	Hit count
_ZN5mcrl23lts17write_state_labelERN7atermpp13aterm_ostreamERKNS0_15state_label_ltsE	0
_ZN5mcrl23lts19write_initial_stateERN7atermpp13aterm_ostreamEm	0
_ZN5mcrl23lts23probabilistic_lts_lts_t4loadERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE	4
_ZN5mcrl23lts6detail19write_initial_stateERN7atermpp13aterm_ostreamERKNS0_23probabilistic_lts_lts_tE	4
_ZN5mcrl23lts6detailL12write_to_ltsINS0_23probabilistic_lts_lts_tEEEvRKT_RKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE	4
_ZN5mcrl23lts6detailL13read_from_ltsINS0_23probabilistic_lts_lts_tEEEvRT_RKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE	4
_ZN5mcrl23lts6detailL17set_initial_stateERNS0_23probabilistic_lts_lts_tERKNS0_19probabilistic_stateImNS_3lps29probabilistic_data_expressionEEE	4
_ZN5mcrl23lts6detailL8read_ltsINS0_23probabilistic_lts_lts_tEEEvRN7atermpp13aterm_istreamERT_	4
_ZN5mcrl23lts6detailL9write_ltsINS0_23probabilistic_lts_lts_tEEEvRN7atermpp13aterm_ostreamERKT_	4
_ZN5mcrl23ltslsERN7atermpp13aterm_ostreamERKNS0_23probabilistic_lts_lts_tE	4
_ZN5mcrl23ltsrsERN7atermpp13aterm_istreamERNS0_23probabilistic_lts_lts_tE	4
_ZNK5mcrl23lts23probabilistic_lts_lts_t4saveERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE	4
_ZN5mcrl23lts16write_transitionERN7atermpp13aterm_ostreamEmRKNS_3lps12multi_actionERKNS0_19probabilistic_stateImNS4_29probabilistic_data_expressionEEE	54
_ZN5mcrl23lts6detail19write_initial_stateERN7atermpp13aterm_ostreamERKNS0_9lts_lts_tE	59
_ZN5mcrl23lts6detailL12write_to_ltsINS0_9lts_lts_tEEEvRKT_RKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE	59
_ZN5mcrl23lts6detailL13read_from_ltsINS0_9lts_lts_tEEEvRT_RKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE	59
_ZN5mcrl23lts6detailL17set_initial_stateERNS0_9lts_lts_tERKNS0_19probabilistic_stateImNS_3lps29probabilistic_data_expressionEEE	59
_ZN5mcrl23lts6detailL8read_ltsINS0_9lts_lts_tEEEvRN7atermpp13aterm_istreamERT_	59
_ZN5mcrl23lts6detailL9write_ltsINS0_9lts_lts_tEEEvRN7atermpp13aterm_ostreamERKT_	59
_ZN5mcrl23lts9lts_lts_t4loadERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE	59
_ZN5mcrl23ltslsERN7atermpp13aterm_ostreamERKNS0_9lts_lts_tE	59
_ZN5mcrl23ltsrsERN7atermpp13aterm_istreamERNS0_9lts_lts_tE	59
_ZNK5mcrl23lts9lts_lts_t4saveERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE	59
_ZN5mcrl23lts16write_lts_headerERN7atermpp13aterm_ostreamERKNS_4data18data_specificationERKNS1_9term_listINS4_8variableEEERKNS8_INS_7process12action_labelEEE	63
_ZN5mcrl23ltslsERN7atermpp13aterm_ostreamERKNS0_19probabilistic_stateImNS_3lps29probabilistic_data_expressionEEE	115
_ZN5mcrl23ltsrsERN7atermpp13aterm_istreamERNS0_19probabilistic_stateImNS_3lps29probabilistic_data_expressionEEE	115
_ZN5mcrl23lts6detailL18initial_state_markEv	126
_ZN5mcrl23lts6detailL31labelled_transition_system_markEv	126
_ZN5mcrl23lts6detailL29probabilistic_transition_markEv	605
_ZN5mcrl23lts16write_transitionERN7atermpp13aterm_ostreamEmRKNS_3lps12multi_actionEm	774
_ZN5mcrl23lts6detailL15transition_markEv	2101

Generated by: LCOV version 1.14