LCOV - code coverage report
Current view:
top level
-
data/include/mcrl2/data/detail/rewrite
- strategy_rule.h
(
source
/ functions)
Hit
Total
Coverage
Test:
mcrl2_coverage.info.cleaned
Lines:
39
39
100.0 %
Date:
2024-04-19 03:43:27
Functions:
13
13
100.0 %
Legend:
Lines:
hit
not hit
Function Name
Hit count
_ZNK5mcrl24data6detail13strategy_rule16rewrite_cpp_codeEv
320
_ZN5mcrl24data6detail13strategy_ruleC2ESt8functionIFNS0_15data_expressionERKS4_EE
3373
_ZN5mcrl24data6detail8strategyC2EmRKSt6vectorINS1_13strategy_ruleESaIS4_EE
273423
_ZN5mcrl24data6detail13strategy_ruleC2Em
358894
_ZN5mcrl24data6detail13strategy_ruleC2ERKNS0_13data_equationE
582881
_ZNK5mcrl24data6detail8strategy19number_of_variablesEv
716056
_ZN5mcrl24data6detail8strategyC2Ev
763637
_ZNK5mcrl24data6detail13strategy_rule13rewrite_indexEv
1203328
_ZNK5mcrl24data6detail8strategy5rulesEv
1848437
_ZNK5mcrl24data6detail13strategy_rule11is_equationEv
2886264
_ZNK5mcrl24data6detail13strategy_rule8equationEv
2886264
_ZNK5mcrl24data6detail13strategy_rule11is_cpp_codeEv
2886904
_ZNK5mcrl24data6detail13strategy_rule16is_rewrite_indexEv
5293479
Generated by:
LCOV version 1.14