LCOV - code coverage report
Current view:
top level
-
lts/include/mcrl2/lts
- probabilistic_state.h
(
source
/ functions)
Hit
Total
Coverage
Test:
mcrl2_coverage.info.cleaned
Lines:
81
86
94.2 %
Date:
2024-03-08 02:52:28
Functions:
32
32
100.0 %
Legend:
Lines:
hit
not hit
Function Name
Hit count
_ZN5mcrl23lts19probabilistic_stateImNS_3lps29probabilistic_data_expressionEEaSERKS4_
46
_ZN5mcrl23lts19probabilistic_stateImNS_3lps29probabilistic_data_expressionEE5clearEv
56
_ZN5mcrl23lts19probabilistic_stateImNS_3lps29probabilistic_data_expressionEEC2ERKm
62
_ZN5mcrl23lts19probabilistic_stateImNS_3lps29probabilistic_data_expressionEE3setERKm
63
_ZNK5mcrl23lts19probabilistic_stateImNS_3lps29probabilistic_data_expressionEEeqERKS4_
65
_ZNKSt4hashIN5mcrl23lts19probabilistic_stateImNS0_3lps29probabilistic_data_expressionEEEEclERKS5_
72
_ZN5mcrl23lts19probabilistic_stateImNS0_42probabilistic_arbitrary_precision_fractionEEC2IN9__gnu_cxx17__normal_iteratorIPNS_3lps22state_probability_pairImS2_EESt6vectorIS9_SaIS9_EEEEEET_SF_
112
_ZNK5mcrl23lts19probabilistic_stateImNS_3lps29probabilistic_data_expressionEE3endEv
112
_ZNK5mcrl23lts19probabilistic_stateImNS_3lps29probabilistic_data_expressionEE5beginEv
112
_ZNK5mcrl23lts19probabilistic_stateImNS_3lps29probabilistic_data_expressionEE3getEv
122
_ZN5mcrl23lts19probabilistic_stateImNS0_42probabilistic_arbitrary_precision_fractionEE4swapERS3_
129
_ZN5mcrl23lts19probabilistic_stateImNS_3lps29probabilistic_data_expressionEEC2Ev
282
_ZN5mcrl23lts19probabilistic_stateImNS_3lps29probabilistic_data_expressionEE3addERKmRKS3_
337
_ZN5mcrl23lts19probabilistic_stateImNS_3lps29probabilistic_data_expressionEEC2ERKS4_
351
_ZN5mcrl23lts19probabilistic_stateImNS0_42probabilistic_arbitrary_precision_fractionEE5clearEv
397
_ZNK5mcrl23lts19probabilistic_stateImNS_3lps29probabilistic_data_expressionEE4sizeEv
398
_ZNK5mcrl23lts19probabilistic_stateImNS0_42probabilistic_arbitrary_precision_fractionEEeqERKS3_
449
_ZN5mcrl23lts19probabilistic_stateImNS_3lps29probabilistic_data_expressionEE13shrink_to_fitEv
453
_ZNKSt4hashIN5mcrl23lts19probabilistic_stateImNS1_42probabilistic_arbitrary_precision_fractionEEEEclERKS4_
461
_ZN5mcrl23lts19probabilistic_stateImNS0_42probabilistic_arbitrary_precision_fractionEE3setERKm
648
_ZN5mcrl23lts19probabilistic_stateImNS0_42probabilistic_arbitrary_precision_fractionEE3endEv
988
_ZN5mcrl23lts19probabilistic_stateImNS0_42probabilistic_arbitrary_precision_fractionEE5beginEv
988
_ZN5mcrl23lts19probabilistic_stateImNS0_42probabilistic_arbitrary_precision_fractionEEaSERKS3_
1089
_ZNK5mcrl23lts19probabilistic_stateImNS0_42probabilistic_arbitrary_precision_fractionEE3endEv
1272
_ZN5mcrl23lts19probabilistic_stateImNS0_42probabilistic_arbitrary_precision_fractionEEC2ERKm
1275
_ZNK5mcrl23lts19probabilistic_stateImNS0_42probabilistic_arbitrary_precision_fractionEE5beginEv
1276
_ZN5mcrl23lts19probabilistic_stateImNS0_42probabilistic_arbitrary_precision_fractionEE3addERKmRKS2_
1372
_ZN5mcrl23lts19probabilistic_stateImNS0_42probabilistic_arbitrary_precision_fractionEEC2Ev
1905
_ZNK5mcrl23lts19probabilistic_stateImNS0_42probabilistic_arbitrary_precision_fractionEE3getEv
3234
_ZN5mcrl23lts19probabilistic_stateImNS0_42probabilistic_arbitrary_precision_fractionEEC2ERKS3_
5199
_ZNK5mcrl23lts19probabilistic_stateImNS0_42probabilistic_arbitrary_precision_fractionEE4sizeEv
6275
_ZN5mcrl23lts19probabilistic_stateImNS0_42probabilistic_arbitrary_precision_fractionEE13shrink_to_fitEv
6400
Generated by:
LCOV version 1.14