LCOV - code coverage report

Current view: top level - data/include/mcrl2/data - rewriter.h (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 50 59 84.7 % Date: 2024-05-01 03:37:31 Functions: 17 22 77.3 % Legend: Lines: hit not hit

Function Name	Hit count
_ZN5mcrl24data14basic_rewriterINS0_15data_expressionEEC2ERKSt10shared_ptrINS0_6detail8RewriterEE	0
_ZN5mcrl24data8rewriter5cloneEv	0
_ZN5mcrl24data8rewriterC2ERKSt10shared_ptrINS0_6detail8RewriterEE	0
_ZNK5mcrl24data8rewriterclINS0_30sequence_sequence_substitutionISt6vectorINS0_8variableESaIS5_EEN7atermpp9term_listINS0_15data_expressionEEEEEEESA_RKSA_RKT_	0
_ZNK5mcrl24data8rewriterclINS0_30sequence_sequence_substitutionISt6vectorINS0_8variableESaIS5_EEN7atermpp9term_listINS0_15data_expressionEEEEEEEvRSA_RKSA_RKT_	0
_ZN5mcrl24data8rewriter21default_specificationEv	12
_ZNK5mcrl24data8rewriterclINS0_24mutable_map_substitutionISt3mapINS0_8variableENS0_15data_expressionESt4lessIS5_ESaISt4pairIKS5_S6_EEEEEEEvRS6_RKS6_RKT_	16
_ZN5mcrl24data14basic_rewriterINS0_15data_expressionEEaSERKS3_	25
_ZN5mcrl24data14basic_rewriterINS0_15data_expressionEEC2ERKNS0_18data_specificationERKNS0_27used_data_equation_selectorENS0_16rewrite_strategyE	50
_ZN5mcrl24data8rewriterC2INS0_27used_data_equation_selectorEEERKNS0_18data_specificationERKT_NS0_16rewrite_strategyE	50
_ZN5mcrl24data8rewriter17thread_initialiseEv	347
_ZNK5mcrl24data8rewriterclINS0_28mutable_indexed_substitutionINS0_8variableENS0_15data_expressionEEEEES5_RKS5_RKT_	427
_ZN5mcrl24data14basic_rewriterINS0_15data_expressionEEC2ERKNS0_18data_specificationENS0_16rewrite_strategyE	1751
_ZN5mcrl24data8rewriterC2ERKNS0_18data_specificationENS0_16rewrite_strategyE	1751
_ZN5mcrl24data14basic_rewriterINS0_15data_expressionEEC2ERKS3_	6651
_ZN5mcrl24data8rewriterC2ERKS1_	6651
_ZN5mcrl24data8rewriterD2Ev	8452
_ZNK5mcrl24data8rewriterclINS0_24mutable_map_substitutionISt3mapINS0_8variableENS0_15data_expressionESt4lessIS5_ESaISt4pairIKS5_S6_EEEEEEES6_RKS6_RKT_	16094
_ZN5mcrl24data8rewriter18empty_substitutionEv	88648
_ZNK5mcrl24data8rewriterclERKNS0_15data_expressionE	88648
_ZNK5mcrl24data8rewriterclERKNS0_15data_expressionERNS0_28mutable_indexed_substitutionINS0_8variableES2_EE	109021
_ZNK5mcrl24data8rewriterclERNS0_15data_expressionERKS2_RNS0_28mutable_indexed_substitutionINS0_8variableES2_EE	269907

Generated by: LCOV version 1.14