LCOV - code coverage report
Current view:
top level
-
data/include/mcrl2/data/substitutions
- mutable_indexed_substitution.h
(
source
/ functions)
Hit
Total
Coverage
Test:
mcrl2_coverage.info.cleaned
Lines:
66
85
77.6 %
Date:
2024-05-01 03:37:31
Functions:
11
15
73.3 %
Legend:
Lines:
hit
not hit
Function Name
Hit count
_ZN5mcrl24data28mutable_indexed_substitutionINS0_8variableENS0_15data_expressionEE5applyIS3_EEvRKS2_RT_
0
_ZN5mcrl24data28mutable_indexed_substitutionINS0_8variableENS0_15data_expressionEE5cloneEv
0
_ZN5mcrl24data28mutable_indexed_substitutionINS0_8variableENS0_15data_expressionEEC2ERKN7atermpp9utilities13unordered_mapIS2_S3_St4hashINS5_6detail15reference_atermIS2_vEEESt8equal_toISB_ESaISt4pairIKSB_NSA_IS3_vEEEELb0EEEbRKSt8multisetIS2_St4lessIS2_ESaIS2_EE
0
_ZN5mcrl24datalsINS0_8variableENS0_15data_expressionEEERSoS4_RKNS0_28mutable_indexed_substitutionIT_T0_EE
0
_ZNK5mcrl24data28mutable_indexed_substitutionINS0_8variableENS0_15data_expressionEE9to_stringB5cxx11Ev
1
_ZN5mcrl24data22substitution_variablesINS0_8variableENS0_15data_expressionEEESt8multisetIS2_St4lessIS2_ESaIS2_EERKNS0_28mutable_indexed_substitutionIT_T0_EE
218
_ZN5mcrl24data28mutable_indexed_substitutionINS0_8variableENS0_15data_expressionEE24variable_occurs_in_a_rhsERKS2_
3370
_ZNK5mcrl24data28mutable_indexed_substitutionINS0_8variableENS0_15data_expressionEE39variables_occurring_in_right_hand_sidesEv
3588
_ZN5mcrl24data28mutable_indexed_substitutionINS0_8variableENS0_15data_expressionEEC2Ev
20907
_ZNK5mcrl24data28mutable_indexed_substitutionINS0_8variableENS0_15data_expressionEEclERKS2_
25208
_ZN5mcrl24data28mutable_indexed_substitutionINS0_8variableENS0_15data_expressionEE5emptyEv
88648
_ZN5mcrl24data28mutable_indexed_substitutionINS0_8variableENS0_15data_expressionEE10assignmentC2ERKS2_RS4_
220947
_ZN5mcrl24data28mutable_indexed_substitutionINS0_8variableENS0_15data_expressionEE10assignmentaSERKS3_
220947
_ZN5mcrl24data28mutable_indexed_substitutionINS0_8variableENS0_15data_expressionEEixERKS2_
220947
_ZN5mcrl24data28mutable_indexed_substitutionINS0_8variableENS0_15data_expressionEE5applyERKS2_RS3_RN7atermpp6detail17thread_aterm_poolE
488550
Generated by:
LCOV version 1.14