LCOV - code coverage report
Current view: top level - lts/include/mcrl2/lts - probabilistic_arbitrary_precision_fraction.h (source / functions) Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 119 119 100.0 %
Date: 2024-03-08 02:52:28 Functions: 25 25 100.0 %
Legend: Lines: hit not hit

Function Name Sort by function name Hit count Sort by hit count
_ZNK5mcrl23lts42probabilistic_arbitrary_precision_fractiondvERKS1_ 7
_ZNK5mcrl23lts42probabilistic_arbitrary_precision_fractionmlERKS1_ 28
_ZN5mcrl23lts2ppB5cxx11ERKNS0_42probabilistic_arbitrary_precision_fractionE 126
_ZN5mcrl23ltslsERSoRKNS0_42probabilistic_arbitrary_precision_fractionE 126
_ZNK5mcrl23lts42probabilistic_arbitrary_precision_fractionmiERKS1_ 862
_ZN5mcrl23lts42probabilistic_arbitrary_precision_fractionC2ERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES9_ 1087
_ZNKSt4hashIN5mcrl23lts42probabilistic_arbitrary_precision_fractionEEclERKS2_ 1515
_ZNK5mcrl23lts42probabilistic_arbitrary_precision_fraction10enumeratorEv 1641
_ZNK5mcrl23lts42probabilistic_arbitrary_precision_fraction11denominatorEv 1641
_ZNK5mcrl23lts42probabilistic_arbitrary_precision_fractionneERKS1_ 1818
_ZN5mcrl23lts42probabilistic_arbitrary_precision_fractionC2Ev 1928
_ZNK5mcrl23lts42probabilistic_arbitrary_precision_fractioneqERKS1_ 4969
_ZNK5mcrl23lts42probabilistic_arbitrary_precision_fractionleERKS1_ 5321
_ZNK5mcrl23lts42probabilistic_arbitrary_precision_fractionplERKS1_ 5842
_ZN5mcrl23lts42probabilistic_arbitrary_precision_fraction21remove_common_factorsERNS_9utilities18big_natural_numberES4_ 6739
_ZN5mcrl23lts42probabilistic_arbitrary_precision_fractionC2ERKNS_9utilities18big_natural_numberES5_ 6746
_ZN5mcrl23lts42probabilistic_arbitrary_precision_fraction23greatest_common_divisorENS_9utilities18big_natural_numberES3_ 6771
_ZN5mcrl23lts42probabilistic_arbitrary_precision_fraction3oneEv 7766
_ZNK5mcrl23lts42probabilistic_arbitrary_precision_fractiongtERKS1_ 10650
_ZN5mcrl23lts42probabilistic_arbitrary_precision_fraction4zeroEv 13381
_ZNK5mcrl23lts42probabilistic_arbitrary_precision_fractionltERKS1_ 13398
_ZN5mcrl23lts42probabilistic_arbitrary_precision_fraction35greatest_common_divisor_destructiveERNS_9utilities18big_natural_numberES4_S4_S4_S4_ 13510
_ZN5mcrl23lts42probabilistic_arbitrary_precision_fraction7buffer3Ev 56916
_ZN5mcrl23lts42probabilistic_arbitrary_precision_fraction7buffer1Ev 88761
_ZN5mcrl23lts42probabilistic_arbitrary_precision_fraction7buffer2Ev 102169

Generated by: LCOV version 1.14