LCOV - code coverage report
Current view: top level - data/source/detail/rewrite - rewrite.cpp (source / functions) Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 179 291 61.5 %
Date: 2024-03-08 02:52:28 Functions: 17 23 73.9 %
Legend: Lines: hit not hit

Function Name Sort by function name Hit count Sort by hit count
_ZN5mcrl24data6detail18isValidRewriteRuleERKNS0_13data_equationE 0
_ZN5mcrl24data6detail8Rewriter13rewrite_whereERKNS0_12where_clauseERNS0_28mutable_indexed_substitutionINS0_8variableENS0_15data_expressionEEE 0
_ZN5mcrl24data6detail8Rewriter26rewrite_lambda_applicationERNS0_15data_expressionERKS3_RNS0_28mutable_indexed_substitutionINS0_8variableES3_EE 0
_ZN5mcrl24data6detailL11occur_checkERKNS0_8variableERKN7atermpp9term_applINS5_5atermEEE 0
_ZNK5mcrl24data6detail13is_a_variableclERKN7atermpp5atermE 0
_ZZN5mcrl24data6detail8Rewriter26rewrite_lambda_applicationERNS0_15data_expressionERKNS0_11abstractionERKNS0_11applicationERNS0_28mutable_indexed_substitutionINS0_8variableES3_EEENKUlRKS3_E_clESG_ 0
_ZN5mcrl24data6detail8Rewriter13rewrite_whereERNS0_15data_expressionERKNS0_12where_clauseERNS0_28mutable_indexed_substitutionINS0_8variableES3_EE 45
_ZN5mcrl24data6detailL4nposEv 243
_ZN5mcrl24data6detail8Rewriter34existential_quantifier_enumerationERNS0_15data_expressionERKN7atermpp9term_listINS0_8variableEEERKS3_bRNS0_28mutable_indexed_substitutionIS7_S3_EE 335
_ZN5mcrl24data6detail8Rewriter34existential_quantifier_enumerationERNS0_15data_expressionERKNS0_11abstractionERNS0_28mutable_indexed_substitutionINS0_8variableES3_EE 335
_ZN5mcrl24data6detail8Rewriter32universal_quantifier_enumerationERNS0_15data_expressionERKN7atermpp9term_listINS0_8variableEEERKS3_bRNS0_28mutable_indexed_substitutionIS7_S3_EE 451
_ZN5mcrl24data6detail8Rewriter32universal_quantifier_enumerationERNS0_15data_expressionERKNS0_11abstractionERNS0_28mutable_indexed_substitutionINS0_8variableES3_EE 451
_ZZN5mcrl24data6detail8Rewriter22quantifier_enumerationERNS0_15data_expressionERKN7atermpp9term_listINS0_8variableEEERKS3_bRNS0_28mutable_indexed_substitutionIS7_S3_EERKNS0_11binder_typeEPFS3_SC_SC_ESC_SC_EN6is_notC2ESC_ 566
_ZN5mcrl24data6detail8Rewriter22quantifier_enumerationERNS0_15data_expressionERKN7atermpp9term_listINS0_8variableEEERKS3_bRNS0_28mutable_indexed_substitutionIS7_S3_EERKNS0_11binder_typeEPFS3_SC_SC_ESC_SC_ 786
_ZN5mcrl24data6detail14createRewriterERKNS0_18data_specificationERKNS0_27used_data_equation_selectorENS0_16rewrite_strategyE 1779
_ZN5mcrl24data6detail8Rewriter21rewrite_single_lambdaERNS0_15data_expressionERKN7atermpp9term_listINS0_8variableEEERKS3_bRNS0_28mutable_indexed_substitutionIS7_S3_EE 1833
_ZN5mcrl24data6detail8Rewriter26rewrite_lambda_applicationERNS0_15data_expressionERKNS0_11abstractionERKNS0_11applicationERNS0_28mutable_indexed_substitutionINS0_8variableES3_EE 2410
_ZZN5mcrl24data6detail8Rewriter22quantifier_enumerationERNS0_15data_expressionERKN7atermpp9term_listINS0_8variableEEERKS3_bRNS0_28mutable_indexed_substitutionIS7_S3_EERKNS0_11binder_typeEPFS3_SC_SC_ESC_SC_EN6is_notclESC_ 34609
_ZN5mcrl24data6detail16CheckRewriteRuleERKNS0_13data_equationE 577295
_ZN5mcrl24data6detailL12checkPatternEN7atermpp18term_appl_iteratorINS0_15data_expressionEEERKS5_ 940099
_ZN5mcrl24data6detailL10check_varsEN7atermpp18term_appl_iteratorINS0_15data_expressionEEERKS5_RKSt3setINS0_8variableESt4lessIS9_ESaIS9_EERSD_ 1765178
_ZN5mcrl24data6detailL12checkPatternERKNS0_15data_expressionE 3250889
_ZN5mcrl24data6detailL10check_varsERKNS0_15data_expressionERKSt3setINS0_8variableESt4lessIS6_ESaIS6_EERSA_ 6636444

Generated by: LCOV version 1.14