LCOV - code coverage report

Current view: top level - lts/include/mcrl2/lts - lts_builder.h (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 79 148 53.4 % Date: 2024-05-01 03:37:31 Functions: 15 29 51.7 % Legend: Lines: hit not hit

Function Name	Hit count
_ZN5mcrl23lts11lts_builderD0Ev	0
_ZN5mcrl23lts15lts_dot_builder4saveERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE	0
_ZN5mcrl23lts15lts_dot_builderC2ERKNS_4data18data_specificationERKN7atermpp9term_listINS_7process12action_labelEEERKNS7_INS2_8variableEEE	0
_ZN5mcrl23lts16lts_none_builder14add_transitionEmRKNS_3lps12multi_actionEmm	0
_ZN5mcrl23lts16lts_none_builder4saveERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE	0
_ZN5mcrl23lts16lts_none_builder8finalizeERKN7atermpp11indexed_setINS2_18term_balanced_treeINS_4data15data_expressionEEELb1ESt4hashIS7_ESt8equal_toIS7_ESaIS7_ENS2_5dequeIS7_SaINS2_6detail15reference_atermIS7_vEEEEEEEb	0
_ZN5mcrl23lts20lts_aut_disk_builder14add_transitionEmRKNS_3lps12multi_actionEmm	0
_ZN5mcrl23lts20lts_aut_disk_builder4saveERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE	0
_ZN5mcrl23lts20lts_aut_disk_builder8finalizeERKN7atermpp11indexed_setINS2_18term_balanced_treeINS_4data15data_expressionEEELb1ESt4hashIS7_ESt8equal_toIS7_ESaIS7_ENS2_5dequeIS7_SaINS2_6detail15reference_atermIS7_vEEEEEEEb	0
_ZN5mcrl23lts20lts_aut_disk_builderC2ERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE	0
_ZN5mcrl23lts20lts_lts_disk_builder14add_transitionEmRKNS_3lps12multi_actionEmm	0
_ZN5mcrl23lts20lts_lts_disk_builder4saveERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE	0
_ZN5mcrl23lts20lts_lts_disk_builder8finalizeERKN7atermpp11indexed_setINS2_18term_balanced_treeINS_4data15data_expressionEEELb1ESt4hashIS7_ESt8equal_toIS7_ESaIS7_ENS2_5dequeIS7_SaINS2_6detail15reference_atermIS7_vEEEEEEEb	0
_ZN5mcrl23lts20lts_lts_disk_builderC2ERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKNS_4data18data_specificationERKN7atermpp9term_listINS_7process12action_labelEEERKNSF_INSA_8variableEEEb	0
_ZN5mcrl23lts17remove_time_stampERKN7atermpp18term_balanced_treeINS_4data15data_expressionEEE	12
_ZN5mcrl23lts15lts_fsm_builder4saveERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE	54
_ZN5mcrl23lts15lts_fsm_builderC2ERKNS_4data18data_specificationERKN7atermpp9term_listINS_7process12action_labelEEERKNS7_INS2_8variableEEE	54
_ZN5mcrl23lts15lts_lts_builder4saveERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE	54
_ZN5mcrl23lts15lts_aut_builder4saveERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE	66
_ZN5mcrl23lts15lts_aut_builder8finalizeERKN7atermpp11indexed_setINS2_18term_balanced_treeINS_4data15data_expressionEEELb1ESt4hashIS7_ESt8equal_toIS7_ESaIS7_ENS2_5dequeIS7_SaINS2_6detail15reference_atermIS7_vEEEEEEEb	66
_ZN5mcrl23lts15lts_aut_builderC2Ev	66
_ZN5mcrl23lts15lts_lts_builder8finalizeERKN7atermpp11indexed_setINS2_18term_balanced_treeINS_4data15data_expressionEEELb1ESt4hashIS7_ESt8equal_toIS7_ESaIS7_ENS2_5dequeIS7_SaINS2_6detail15reference_atermIS7_vEEEEEEEb	108
_ZN5mcrl23lts15lts_lts_builderC2ERKNS_4data18data_specificationERKN7atermpp9term_listINS_7process12action_labelEEERKNS7_INS2_8variableEEEb	108
_ZN5mcrl23lts11lts_builderC2Ev	174
_ZN5mcrl23lts11lts_builderD2Ev	174
_ZN5mcrl23lts18create_lts_builderERKNS_3lps13specificationERKNS1_16explorer_optionsENS0_8lts_typeERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE	174
_ZN5mcrl23lts15lts_aut_builder14add_transitionEmRKNS_3lps12multi_actionEmm	814
_ZN5mcrl23lts15lts_lts_builder14add_transitionEmRKNS_3lps12multi_actionEmm	1532
_ZN5mcrl23lts11lts_builder10add_actionERKNS_3lps12multi_actionE	2346

Generated by: LCOV version 1.14