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 Sort by function name Hit count Sort by 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