LCOV - code coverage report
Current view:
top level
-
data/include/mcrl2/data/detail/prover
- manipulator.h
(
source
/ functions)
Hit
Total
Coverage
Test:
mcrl2_coverage.info.cleaned
Lines:
72
79
91.1 %
Date:
2024-05-04 03:44:52
Functions:
10
10
100.0 %
Legend:
Lines:
hit
not hit
Function Name
Hit count
_ZN5mcrl24data6detail11ManipulatorC2ERKNS1_4InfoE
18
_ZN5mcrl24data6detail11Manipulator25make_reduced_if_then_elseERKNS0_15data_expressionES5_S5_
145
_ZNK5mcrl24data6detail11Manipulator8set_trueERKNS0_15data_expressionES5_
145
_ZNK5mcrl24data6detail11Manipulator9set_falseERKNS0_15data_expressionES5_
145
_ZZN5mcrl24data6detail11Manipulator6orientERKNS0_15data_expressionEENKUlS5_E_clES5_
951
_ZN5mcrl24data6detail11Manipulator6orientERKNS0_15data_expressionE
1322
_ZZNK5mcrl24data6detail11Manipulator18set_true_auxiliaryERKNS0_15data_expressionES5_RSt13unordered_mapIS3_S3_St4hashIS3_ESt8equal_toIS3_ESaISt4pairIS4_S3_EEEENKUlS5_E_clES5_
1993
_ZZNK5mcrl24data6detail11Manipulator19set_false_auxiliaryERKNS0_15data_expressionES5_RSt13unordered_mapIS3_S3_St4hashIS3_ESt8equal_toIS3_ESaISt4pairIS4_S3_EEEENKUlS5_E_clES5_
1993
_ZNK5mcrl24data6detail11Manipulator18set_true_auxiliaryERKNS0_15data_expressionES5_RSt13unordered_mapIS3_S3_St4hashIS3_ESt8equal_toIS3_ESaISt4pairIS4_S3_EEE
2138
_ZNK5mcrl24data6detail11Manipulator19set_false_auxiliaryERKNS0_15data_expressionES5_RSt13unordered_mapIS3_S3_St4hashIS3_ESt8equal_toIS3_ESaISt4pairIS4_S3_EEE
2138
Generated by:
LCOV version 1.14