LCOV - code coverage report
Current view:
top level
-
pbes/include/mcrl2/pbes/rewriters
- one_point_rule_rewriter.h
(
source
/ functions)
Hit
Total
Coverage
Test:
mcrl2_coverage.info.cleaned
Lines:
61
68
89.7 %
Date:
2024-04-21 03:44:01
Functions:
6
6
100.0 %
Legend:
Lines:
hit
not hit
Function Name
Hit count
_ZN5mcrl211pbes_system6detail30one_point_rule_rewrite_builderINS_4core13apply_builderIS2_EEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_4not_E
2
_ZN5mcrl211pbes_system6detail30one_point_rule_rewrite_builderINS_4core13apply_builderIS2_EEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_6forallE
119
_ZN5mcrl211pbes_system6detail30one_point_rule_rewrite_builderINS_4core13apply_builderIS2_EEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_6existsE
126
_ZN5mcrl211pbes_system6detail30one_point_rule_rewrite_builderINS_4core13apply_builderIS2_EEE7derivedEv
247
_ZNK5mcrl211pbes_system23one_point_rule_rewriterclERKNS0_15pbes_expressionE
710
_ZN5mcrl211pbes_system6detail30one_point_rule_rewrite_builderINS_4core13apply_builderIS2_EEE5applyINS0_15pbes_expressionEEEvRT_RKNS_4data15data_expressionE
1378
Generated by:
LCOV version 1.14