LCOV - code coverage report
Current view: top level - data/include/mcrl2/data - rewrite.h (source / functions) Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 17 17 100.0 %
Date: 2024-05-01 03:37:31 Functions: 9 12 75.0 %
Legend: Lines: hit not hit

Function Name Sort by function name Hit count Sort by hit count
_ZN5mcrl24data6detail32rewrite_data_expressions_builderINS_3lps23data_expression_builderEZN33if_rewriter_with_rewriter_command7executeEvEUlRKNS0_15data_expressionEE_E5applyIS6_EEvRT_S8_ 0
_ZN5mcrl24data6detail32rewrite_data_expressions_builderINS_3lps23data_expression_builderEZN33if_rewriter_with_rewriter_command7executeEvEUlRKNS0_15data_expressionEE_EC2ES9_ 0
_ZN5mcrl24data6detail37make_rewrite_data_expressions_builderINS_3lps23data_expression_builderEZN33if_rewriter_with_rewriter_command7executeEvEUlRKNS0_15data_expressionEE_EENS1_32rewrite_data_expressions_builderIT_T0_EESC_ 0
_ZN5mcrl24data6detail50rewrite_data_expressions_with_substitution_builderINS_3lps23data_expression_builderENS0_8rewriterENS0_28mutable_indexed_substitutionINS0_8variableENS0_15data_expressionEEEEC2ES5_S9_ 14
_ZN5mcrl24data6detail55make_rewrite_data_expressions_with_substitution_builderINS_3lps23data_expression_builderENS0_8rewriterENS0_28mutable_indexed_substitutionINS0_8variableENS0_15data_expressionEEEEENS1_50rewrite_data_expressions_with_substitution_builderIT_T0_T1_EESC_SD_ 14
_ZN5mcrl24data6detail50rewrite_data_expressions_with_substitution_builderINS_3lps23data_expression_builderENS0_8rewriterENS0_28mutable_indexed_substitutionINS0_8variableENS0_15data_expressionEEEE5applyIS8_EEvRT_RKS8_ 34
_ZN5mcrl24data6detail50rewrite_data_expressions_with_substitution_builderINS_3lps23data_expression_builderENS0_8rewriterENS0_24mutable_map_substitutionISt3mapINS0_8variableENS0_15data_expressionESt4lessIS8_ESaISt4pairIKS8_S9_EEEEEEC2ES5_SH_ 728
_ZN5mcrl24data6detail55make_rewrite_data_expressions_with_substitution_builderINS_3lps23data_expression_builderENS0_8rewriterENS0_24mutable_map_substitutionISt3mapINS0_8variableENS0_15data_expressionESt4lessIS8_ESaISt4pairIKS8_S9_EEEEEEENS1_50rewrite_data_expressions_with_substitution_builderIT_T0_T1_EESK_SL_ 728
_ZN5mcrl24data6detail32rewrite_data_expressions_builderINS_3lps23data_expression_builderENS0_8rewriterEEC2ES5_ 735
_ZN5mcrl24data6detail37make_rewrite_data_expressions_builderINS_3lps23data_expression_builderENS0_8rewriterEEENS1_32rewrite_data_expressions_builderIT_T0_EES8_ 735
_ZN5mcrl24data6detail32rewrite_data_expressions_builderINS_3lps23data_expression_builderENS0_8rewriterEE5applyINS0_15data_expressionEEEvRT_RKS8_ 1047
_ZN5mcrl24data6detail50rewrite_data_expressions_with_substitution_builderINS_3lps23data_expression_builderENS0_8rewriterENS0_24mutable_map_substitutionISt3mapINS0_8variableENS0_15data_expressionESt4lessIS8_ESaISt4pairIKS8_S9_EEEEEE5applyIS9_EEvRT_RKS9_ 7380

Generated by: LCOV version 1.14