LCOV - code coverage report
Current view:
top level
-
lps/include/mcrl2/lps
- probabilistic_data_expression.h
(
source
/ functions)
Hit
Total
Coverage
Test:
mcrl2_coverage.info.cleaned
Lines:
44
47
93.6 %
Date:
2024-05-01 03:37:31
Functions:
13
13
100.0 %
Legend:
Lines:
hit
not hit
Function Name
Hit count
_ZN5mcrl23lps29probabilistic_data_expression28data_specification_with_realEv
2
_ZN5mcrl23lps29probabilistic_data_expressionC2Ev
56
_ZNKSt4hashIN5mcrl23lps29probabilistic_data_expressionEEclERKS2_
140
_ZNK5mcrl23lps29probabilistic_data_expressionneERKS1_
337
_ZNK5mcrl23lps29probabilistic_data_expressioneqERKS1_
723
_ZNK5mcrl23lps29probabilistic_data_expressionleERKS1_
772
_ZNK5mcrl23lps29probabilistic_data_expressionplERKS1_
772
_ZN5mcrl23lps29probabilistic_data_expressionC2ERKNS_4data15data_expressionE
1002
_ZN5mcrl23lps29probabilistic_data_expression3oneEv
1162
_ZNK5mcrl23lps29probabilistic_data_expressiongtERKS1_
1544
_ZNK5mcrl23lps29probabilistic_data_expressionltERKS1_
1544
_ZN5mcrl23lps29probabilistic_data_expression4zeroEv
1618
_ZN5mcrl23lps29probabilistic_data_expression10m_rewriterEv
3039
Generated by:
LCOV version 1.14