LCOV - code coverage report
Current view:
top level
-
data/include/mcrl2/data/substitutions
- sequence_sequence_substitution.h
(
source
/ functions)
Hit
Total
Coverage
Test:
mcrl2_coverage.info.cleaned
Lines:
13
26
50.0 %
Date:
2024-05-01 03:37:31
Functions:
6
10
60.0 %
Legend:
Lines:
hit
not hit
Function Name
Hit count
_ZN5mcrl24data30sequence_sequence_substitutionISt6vectorINS0_8variableESaIS3_EEN7atermpp9term_listINS0_15data_expressionEEEEC2ERKS5_RKS9_
0
_ZN5mcrl24datalsISt6vectorINS0_8variableESaIS3_EEN7atermpp9term_listINS0_15data_expressionEEEEERSoSA_RKNS0_30sequence_sequence_substitutionIT_T0_EE
0
_ZNK5mcrl24data30sequence_sequence_substitutionISt6vectorINS0_8variableESaIS3_EEN7atermpp9term_listINS0_15data_expressionEEEE9to_stringB5cxx11Ev
0
_ZNK5mcrl24data30sequence_sequence_substitutionISt6vectorINS0_8variableESaIS3_EEN7atermpp9term_listINS0_15data_expressionEEEEclERKS3_
0
_ZN5mcrl24data30sequence_sequence_substitutionISt6vectorINS0_8variableESaIS3_EENSt7__cxx114listINS0_15data_expressionESaIS8_EEEEC2ERKS5_RKSA_
2
_ZN5mcrl24data35make_sequence_sequence_substitutionISt6vectorINS0_8variableESaIS3_EENSt7__cxx114listINS0_15data_expressionESaIS8_EEEEENS0_30sequence_sequence_substitutionIT_T0_EERKSC_RKSD_
2
_ZN5mcrl24data30sequence_sequence_substitutionISt6vectorINS0_8variableESaIS3_EES2_INS0_15data_expressionESaIS6_EEEC2ERKS5_RKS8_
3
_ZN5mcrl24data35make_sequence_sequence_substitutionISt6vectorINS0_8variableESaIS3_EES2_INS0_15data_expressionESaIS6_EEEENS0_30sequence_sequence_substitutionIT_T0_EERKSA_RKSB_
3
_ZNK5mcrl24data30sequence_sequence_substitutionISt6vectorINS0_8variableESaIS3_EENSt7__cxx114listINS0_15data_expressionESaIS8_EEEEclERKS3_
8
_ZNK5mcrl24data30sequence_sequence_substitutionISt6vectorINS0_8variableESaIS3_EES2_INS0_15data_expressionESaIS6_EEEclERKS3_
12
Generated by:
LCOV version 1.14