LCOV - code coverage report

Current view: top level - lts/include/mcrl2/lts - lts_fsm.h (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 33 38 86.8 % Date: 2024-04-26 03:18:02 Functions: 11 13 84.6 % Legend: Lines: hit not hit

Function Name	Hit count
_ZN5mcrl23lts15state_label_fsmC2ERKS1_	2802
_ZN5mcrl23lts15state_label_fsmC2ERKSt6vectorImSaImEE	414
_ZN5mcrl23lts15state_label_fsmC2Ev	1278
_ZN5mcrl23lts15state_label_fsmaSERKS1_	0
_ZN5mcrl23lts6detail12lts_fsm_base21add_process_parameterERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESA_	180
_ZN5mcrl23lts6detail12lts_fsm_base23add_state_element_valueEmRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE	456
_ZN5mcrl23lts6detail12lts_fsm_base24clear_process_parametersEv	58
_ZN5mcrl23lts6detail12lts_fsm_base4swapERS2_	54
_ZNK5mcrl23lts15state_label_fsmplERKS1_	0
_ZNK5mcrl23lts6detail12lts_fsm_base17process_parameterB5cxx11Em	184
_ZNK5mcrl23lts6detail12lts_fsm_base18process_parametersB5cxx11Ev	153
_ZNK5mcrl23lts6detail12lts_fsm_base20state_element_valuesB5cxx11Em	92
_ZNK5mcrl23lts6detail12lts_fsm_base4typeEv	58

Generated by: LCOV version 1.14