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
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