LCOV - code coverage report

Current view: top level - lts/include/mcrl2/lts - lts_lts.h (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 59 103 57.3 % Date: 2024-04-21 03:44:01 Functions: 23 25 92.0 % Legend: Lines: hit not hit

Function Name	Hit count
_ZN5mcrl23lts2ppB5cxx11ERKNS0_15state_label_ltsE	0
_ZNK5mcrl23lts15state_label_ltsplERKS1_	0
_ZN5mcrl23lts16parse_lts_actionERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKNS_4data18data_specificationERNS_3lps25multi_action_type_checkerE	12
_ZN5mcrl23lts23probabilistic_lts_lts_tC2Ev	12
_ZN5mcrl23lts6detail12lts_lts_base4typeEv	58
_ZNK5mcrl23lts6detail12lts_lts_base25action_label_declarationsEv	74
_ZNK5mcrl23lts6detail12lts_lts_base4dataEv	76
_ZN5mcrl23lts9lts_lts_tC2Ev	176
_ZNK5mcrl23lts6detail12lts_lts_base18process_parametersEv	179
_ZN5mcrl23lts6detail12lts_lts_base22set_process_parametersERKN7atermpp9term_listINS_4data8variableEEE	183
_ZN5mcrl23lts6detail12lts_lts_base29set_action_label_declarationsERKN7atermpp9term_listINS_7process12action_labelEEE	186
_ZN5mcrl23lts6detail12lts_lts_base8set_dataERKNS_4data18data_specificationE	186
_ZN5mcrl23lts6detail12lts_lts_baseC2Ev	188
_ZN5mcrl23lts2ppB5cxx11ERKNS0_16action_label_ltsE	508
_ZN5mcrl23lts15state_label_ltsC2ERKN7atermpp18term_balanced_treeINS_4data15data_expressionEEE	870
_ZN5mcrl23lts16action_label_lts17sort_multiactionsERKNS_3lps12multi_actionE	1034
_ZN5mcrl23lts16action_label_ltsC2ERKNS_3lps12multi_actionE	1034
_ZNKSt4hashIN5mcrl23lts16action_label_ltsEEclERKS2_	1271
_ZN5mcrl23lts15state_label_ltsaSERKS1_	1296
_ZN5mcrl23lts16action_label_ltsaSERKS1_	1535
_ZN5mcrl23lts16action_label_ltsC2Ev	1554
_ZN5mcrl23lts15state_label_ltsC2Ev	1750
_ZN5mcrl23lts15state_label_ltsC2ERKS1_	1938
_ZN5mcrl23lts16action_label_lts10tau_actionEv	2486
_ZN5mcrl23lts16action_label_ltsC2ERKS1_	2963

Generated by: LCOV version 1.14