LCOV - code coverage report

Current view: top level - lps/include/mcrl2/lps - rewrite.h (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 6 6 100.0 % Date: 2024-05-01 03:37:31 Functions: 7 9 77.8 % Legend: Lines: hit not hit

Function Name	Hit count
_ZN5mcrl23lps7rewriteINS0_13specificationEZN33if_rewriter_with_rewriter_command7executeEvEUlRKNS_4data15data_expressionEE_EEvRT_T0_PNSt9enable_ifIXntsrSt10is_base_ofIN7atermpp5atermES9_E5valueEvE4typeE	0
_ZN5mcrl23lps7rewriteINS0_25stochastic_action_summandENS_4data8rewriterENS3_28mutable_indexed_substitutionINS3_8variableENS3_15data_expressionEEEEEvRT_T0_RKT1_PNSt9enable_ifIXntsrSt10is_base_ofIN7atermpp5atermES9_E5valueEvE4typeE	0
_ZN5mcrl23lps7rewriteINS0_16deadlock_summandENS_4data8rewriterENS3_28mutable_indexed_substitutionINS3_8variableENS3_15data_expressionEEEEEvRT_T0_RKT1_PNSt9enable_ifIXntsrSt10is_base_ofIN7atermpp5atermES9_E5valueEvE4typeE	1
_ZN5mcrl23lps7rewriteINS0_24stochastic_specificationENS_4data8rewriterEEEvRT_T0_PNSt9enable_ifIXntsrSt10is_base_ofIN7atermpp5atermES5_E5valueEvE4typeE	3
_ZN5mcrl23lps7rewriteINS0_13specificationENS_4data8rewriterEEEvRT_T0_PNSt9enable_ifIXntsrSt10is_base_ofIN7atermpp5atermES5_E5valueEvE4typeE	5
_ZN5mcrl23lps7rewriteINS0_13specificationENS_4data8rewriterENS3_24mutable_map_substitutionISt3mapINS3_8variableENS3_15data_expressionESt4lessIS7_ESaISt4pairIKS7_S8_EEEEEEEvRT_T0_RKT1_PNSt9enable_ifIXntsrSt10is_base_ofIN7atermpp5atermESH_E5valueEvE4typeE	11
_ZN5mcrl23lps7rewriteINS0_14action_summandENS_4data8rewriterENS3_28mutable_indexed_substitutionINS3_8variableENS3_15data_expressionEEEEEvRT_T0_RKT1_PNSt9enable_ifIXntsrSt10is_base_ofIN7atermpp5atermES9_E5valueEvE4typeE	13
_ZN5mcrl23lps7rewriteINS0_24stochastic_specificationENS_4data8rewriterENS3_24mutable_map_substitutionISt3mapINS3_8variableENS3_15data_expressionESt4lessIS7_ESaISt4pairIKS7_S8_EEEEEEEvRT_T0_RKT1_PNSt9enable_ifIXntsrSt10is_base_ofIN7atermpp5atermESH_E5valueEvE4typeE	717
_ZN5mcrl23lps7rewriteISt6vectorINS_4data15data_expressionESaIS4_EENS3_8rewriterEEEvRT_T0_PNSt9enable_ifIXntsrSt10is_base_ofIN7atermpp5atermES8_E5valueEvE4typeE	727

Generated by: LCOV version 1.14