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
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