LCOV - code coverage report

Current view: top level - lps/include/mcrl2/lps - action_rename.h (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 275 296 92.9 % Date: 2024-05-04 03:44:52 Functions: 25 25 100.0 % Legend: Lines: hit not hit

Function Name	Hit count
_ZN5mcrl23lps13action_renameERKNSt7__cxx1111basic_regexIcNS1_12regex_traitsIcEEEERKNS1_12basic_stringIcSt11char_traitsIcESaIcEEERKNS0_24stochastic_specificationE	4
_ZN5mcrl23lps13action_renameERKNS0_27action_rename_specificationERKNS0_24stochastic_specificationERKNS_4data8rewriterEb	6
_ZN5mcrl23lps27action_rename_specificationC2ERKNS_4data18data_specificationERKN7atermpp9term_listINS_7process12action_labelEEERKSt6vectorINS0_18action_rename_ruleESaISE_EE	6
_ZN5mcrl23lps27action_rename_specificationC2Ev	6
_ZN5mcrl23lps6detail15normalize_sortsERNS0_27action_rename_specificationE	6
_ZN5mcrl23lps6detail23translate_user_notationERNS0_27action_rename_specificationE	6
_ZNK5mcrl23lps27action_rename_specification5rulesEv	6
_ZN5mcrl23lps6detail21substitute_equalitiesERKNS_4data15data_expressionES5_	7
_ZN5mcrl23lps6detail27rename_renamerule_variablesINS_4data24set_identifier_generatorEEEvRNS3_15data_expressionERNS_7process6actionES9_RT_	10
_ZN5mcrl23lps6detail20fill_replacement_mapERKNS_4data15data_expressionERSt3mapIS3_S3_St4lessIS3_ESaISt4pairIS4_S3_EEE	11
_ZNK5mcrl23lps27action_rename_specification4dataEv	12
_ZN5mcrl23lps18action_rename_rule9conditionEv	20
_ZNK5mcrl23lps18action_rename_rule9conditionEv	20
_ZN5mcrl23lps27action_rename_specification13action_labelsEv	26
_ZN5mcrl23lps18action_rename_rule9variablesEv	30
_ZN5mcrl23lps6detail19rename_action_labelERKNS_7process12action_labelERKNSt7__cxx1111basic_regexIcNS6_12regex_traitsIcEEEERKNS6_12basic_stringIcSt11char_traitsIcESaIcEEE	30
_ZN5mcrl23lps6detail19replace_expressionsERKNS_4data15data_expressionERKSt3mapIS3_S3_St4lessIS3_ESaISt4pairIS4_S3_EEE	30
_ZNK5mcrl23lps18action_rename_rule9variablesEv	30
_ZN5mcrl23lps27action_rename_specification5rulesEv	38
_ZN5mcrl23lps18action_rename_ruleC2ERKN7atermpp9term_listINS_4data8variableEEERKNS4_15data_expressionERKNS_7process6actionERKNSC_18process_expressionE	40
_ZNK5mcrl23lps18action_rename_rule3rhsEv	40
_ZNK5mcrl23lps18action_rename_rule3lhsEv	50
_ZNK5mcrl23lps27action_rename_specification13action_labelsEv	57
_ZN5mcrl23lps27action_rename_specification4dataEv	70
_ZNK5mcrl23lps18action_rename_rule40check_that_rhs_is_tau_delta_or_an_actionEv	80

Generated by: LCOV version 1.14