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