LCOV - code coverage report
Current view:
top level
-
data/include/mcrl2/data/substitutions
- mutable_map_substitution.h
(
source
/ functions)
Hit
Total
Coverage
Test:
mcrl2_coverage.info.cleaned
Lines:
56
57
98.2 %
Date:
2024-05-01 03:37:31
Functions:
26
26
100.0 %
Legend:
Lines:
hit
not hit
Function Name
Hit count
_ZN5mcrl24data24mutable_map_substitutionISt3mapINS0_8variableENS0_15data_expressionESt4lessIS3_ESaISt4pairIKS3_S4_EEEE10assignmentaSIN7atermpp6detail15reference_atermIS4_vEEEERSD_RKT_
1
_ZN5mcrl24data24mutable_map_substitutionISt3mapINS0_8variableENS0_15data_expressionESt4lessIS3_ESaISt4pairIKS3_S4_EEEE10assignmentaSINS0_11applicationEEERSD_RKT_
1
_ZN5mcrl24data24mutable_map_substitutionISt3mapINS0_8variableENS0_15data_expressionESt4lessIS3_ESaISt4pairIKS3_S4_EEEEC2ERKSB_
1
_ZN5mcrl24data24mutable_map_substitutionISt3mapINS0_8variableENS0_15data_expressionESt4lessIS3_ESaISt4pairIKS3_S4_EEEEC2ISt6vectorIS3_SaIS3_EESE_IS4_SaIS4_EEEERKT_RKT0_
1
_ZN5mcrl24data29make_mutable_map_substitutionISt6vectorINS0_8variableESaIS3_EES2_INS0_15data_expressionESaIS6_EEEENS0_24mutable_map_substitutionISt3mapINT_10value_typeENT0_10value_typeESt4lessISC_ESaISt4pairIKSC_SE_EEEEERKSB_RKSD_
1
_ZN5mcrl24data24mutable_map_substitutionISt3mapINS_7process18process_identifierES4_St4lessIS4_ESaISt4pairIKS4_S4_EEEE10assignmentC2ES4_RSB_
4
_ZN5mcrl24data24mutable_map_substitutionISt3mapINS_7process18process_identifierES4_St4lessIS4_ESaISt4pairIKS4_S4_EEEE10assignmentaSIS4_EERSD_RKT_
4
_ZN5mcrl24data24mutable_map_substitutionISt3mapINS_7process18process_identifierES4_St4lessIS4_ESaISt4pairIKS4_S4_EEEEC2Ev
4
_ZN5mcrl24data24mutable_map_substitutionISt3mapINS_7process18process_identifierES4_St4lessIS4_ESaISt4pairIKS4_S4_EEEEixERS8_
4
_ZN5mcrl24data24mutable_map_substitutionISt3mapINS0_8variableENS0_15data_expressionESt4lessIS3_ESaISt4pairIKS3_S4_EEEE10assignmentaSINS0_15function_symbolEEERSD_RKT_
5
_ZNK5mcrl24data24mutable_map_substitutionISt3mapINS_7process18process_identifierES4_St4lessIS4_ESaISt4pairIKS4_S4_EEEEclERS8_
7
_ZN5mcrl24datalsISt3mapINS0_8variableENS0_15data_expressionESt4lessIS3_ESaISt4pairIKS3_S4_EEEEERSoSC_RKNS0_24mutable_map_substitutionIT_EE
113
_ZNK5mcrl24data24mutable_map_substitutionISt3mapINS0_8variableENS0_15data_expressionESt4lessIS3_ESaISt4pairIKS3_S4_EEEE9to_stringB5cxx11Ev
113
_ZN5mcrl24data24mutable_map_substitutionISt3mapINS0_8variableENS0_15data_expressionESt4lessIS3_ESaISt4pairIKS3_S4_EEEE5clearEv
137
_ZN5mcrl24data24mutable_map_substitutionISt3mapINS0_8variableENS0_15data_expressionESt4lessIS3_ESaISt4pairIKS3_S4_EEEE5emptyEv
274
_ZN5mcrl24data22is_simple_substitutionISt3mapINS0_8variableENS0_15data_expressionESt4lessIS3_ESaISt4pairIKS3_S4_EEEEEbRKNS0_24mutable_map_substitutionIT_EE
415
_ZN5mcrl24data24mutable_map_substitutionISt3mapINS0_8variableENS0_15data_expressionESt4lessIS3_ESaISt4pairIKS3_S4_EEEE5beginEv
1609
_ZN5mcrl24data24mutable_map_substitutionISt3mapINS0_8variableENS0_15data_expressionESt4lessIS3_ESaISt4pairIKS3_S4_EEEE3endEv
1969
_ZN5mcrl24data24mutable_map_substitutionISt3mapINS0_8variableENS0_15data_expressionESt4lessIS3_ESaISt4pairIKS3_S4_EEEE10assignmentaSIS3_EERSD_RKT_
6537
_ZNK5mcrl24data24mutable_map_substitutionISt3mapINS0_8variableENS0_15data_expressionESt4lessIS3_ESaISt4pairIKS3_S4_EEEE5beginEv
9361
_ZNK5mcrl24data24mutable_map_substitutionISt3mapINS0_8variableENS0_15data_expressionESt4lessIS3_ESaISt4pairIKS3_S4_EEEE3endEv
10436
_ZN5mcrl24data24mutable_map_substitutionISt3mapINS0_8variableENS0_15data_expressionESt4lessIS3_ESaISt4pairIKS3_S4_EEEE10assignmentaSIS4_EERSD_RKT_
25270
_ZN5mcrl24data24mutable_map_substitutionISt3mapINS0_8variableENS0_15data_expressionESt4lessIS3_ESaISt4pairIKS3_S4_EEEE10assignmentC2ES3_RSB_
31814
_ZN5mcrl24data24mutable_map_substitutionISt3mapINS0_8variableENS0_15data_expressionESt4lessIS3_ESaISt4pairIKS3_S4_EEEEixERS8_
31814
_ZN5mcrl24data24mutable_map_substitutionISt3mapINS0_8variableENS0_15data_expressionESt4lessIS3_ESaISt4pairIKS3_S4_EEEEC2Ev
47253
_ZNK5mcrl24data24mutable_map_substitutionISt3mapINS0_8variableENS0_15data_expressionESt4lessIS3_ESaISt4pairIKS3_S4_EEEEclERS8_
163629
Generated by:
LCOV version 1.14