LCOV - code coverage report

Current view: top level - lps/include/mcrl2/lps - state_probability_pair.h (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 20 20 100.0 % Date: 2024-05-04 03:44:52 Functions: 16 17 94.1 % Legend: Lines: hit not hit

Function Name	Hit count
_ZN5mcrl23lps22state_probability_pairImNS0_29probabilistic_data_expressionEEaSERKS3_	0
_ZN5mcrl23lps22state_probability_pairImNS_3lts42probabilistic_arbitrary_precision_fractionEEaSERKS4_	26
_ZNK5mcrl23lps22state_probability_pairImNS0_29probabilistic_data_expressionEEeqERKS3_	78
_ZNKSt4hashIN5mcrl23lps22state_probability_pairImNS1_29probabilistic_data_expressionEEEEclERKS4_	137
_ZN5mcrl23lps22state_probability_pairImNS0_29probabilistic_data_expressionEEC2EOS3_	168
_ZN5mcrl23lps22state_probability_pairImNS0_29probabilistic_data_expressionEEC2ERKmRKS2_	337
_ZNK5mcrl23lps22state_probability_pairImNS0_29probabilistic_data_expressionEE5stateEv	362
_ZN5mcrl23lps22state_probability_pairImNS_3lts42probabilistic_arbitrary_precision_fractionEEC2EOS4_	647
_ZN5mcrl23lps22state_probability_pairImNS0_29probabilistic_data_expressionEEC2ERKS3_	660
_ZN5mcrl23lps22state_probability_pairImNS_3lts42probabilistic_arbitrary_precision_fractionEE5stateEv	1192
_ZNK5mcrl23lps22state_probability_pairImNS_3lts42probabilistic_arbitrary_precision_fractionEEeqERKS4_	1223
_ZNKSt4hashIN5mcrl23lps22state_probability_pairImNS0_3lts42probabilistic_arbitrary_precision_fractionEEEEclERKS5_	1488
_ZN5mcrl23lps22state_probability_pairImNS_3lts42probabilistic_arbitrary_precision_fractionEEC2ERKmRKS3_	1596
_ZNK5mcrl23lps22state_probability_pairImNS0_29probabilistic_data_expressionEE11probabilityEv	2677
_ZN5mcrl23lps22state_probability_pairImNS_3lts42probabilistic_arbitrary_precision_fractionEEC2ERKS4_	5252
_ZNK5mcrl23lps22state_probability_pairImNS_3lts42probabilistic_arbitrary_precision_fractionEE5stateEv	6453
_ZNK5mcrl23lps22state_probability_pairImNS_3lts42probabilistic_arbitrary_precision_fractionEE11probabilityEv	18372

Generated by: LCOV version 1.14