LCOV - code coverage report
Current view:
top level
-
data/include/mcrl2/data/detail/rewrite
- match_tree.h
(
source
/ functions)
Hit
Total
Coverage
Test:
mcrl2_coverage.info.cleaned
Lines:
239
249
96.0 %
Date:
2024-04-26 03:18:02
Functions:
78
78
100.0 %
Legend:
Lines:
hit
not hit
Function Name
Hit count
_ZN5mcrl24data6detail12match_tree_CC2ERKNS0_15data_expressionERKNS1_10match_treeES8_
92
_ZN5mcrl24data6detail12match_tree_CC2ERKN7atermpp5atermE
116
_ZNK5mcrl24data6detail12match_tree_C10false_treeEv
116
_ZNK5mcrl24data6detail12match_tree_C9conditionEv
116
_ZNK5mcrl24data6detail12match_tree_C9true_treeEv
116
_ZN5mcrl24data6detail14match_tree_CReC2ERKNS0_15data_expressionES5_RKN7atermpp9term_listINS1_18variable_or_numberEEESB_
332
_ZN5mcrl24data6detail14match_tree_CReC2ERKN7atermpp5atermE
336
_ZNK5mcrl24data6detail14match_tree_CRe16variables_resultEv
336
_ZNK5mcrl24data6detail14match_tree_CRe19variables_conditionEv
336
_ZNK5mcrl24data6detail14match_tree_CRe6resultEv
336
_ZNK5mcrl24data6detail14match_tree_CRe9conditionEv
336
_ZN5mcrl24data6detail13match_tree_MeC2ERKNS0_8variableEm
532
_ZN5mcrl24data6detail10build_parsC2Ev
1080
_ZN5mcrl24data6detail12match_tree_DC2ERKN7atermpp5atermE
1168
_ZNK5mcrl24data6detail12match_tree_D7subtreeEv
1168
_ZN5mcrl24data6detail13match_tree_MeC2ERKN7atermpp5atermE
1198
_ZNK5mcrl24data6detail13match_tree_Me14match_variableEv
1198
_ZNK5mcrl24data6detail13match_tree_Me14variable_indexEv
1198
_ZNK5mcrl24data6detail12match_tree_M10false_treeEv
1268
_ZNK5mcrl24data6detail12match_tree_M9true_treeEv
1268
_ZN5mcrl24data6detail12match_tree_AC2Em
1288
_ZN5mcrl24data6detail12match_tree_MC2ERKN7atermpp5atermE
1410
_ZNK5mcrl24data6detail12match_tree_M14match_variableEv
1410
_ZNK5mcrl24data6detail12match_tree_F10false_treeEv
1704
_ZNK5mcrl24data6detail12match_tree_F9true_treeEv
1704
_ZN5mcrl24data6detail12match_tree_MC2ERKNS0_8variableERKNS1_10match_treeES8_
1722
_ZN5mcrl24data6detail12match_tree_XC2Ev
1776
_ZN5mcrl24data6detail12match_tree_AC2ERKN7atermpp5atermE
1906
_ZNK5mcrl24data6detail12match_tree_A14variable_indexEv
1906
_ZN5mcrl24data6detail12match_tree_RC2ERKN7atermpp5atermE
2502
_ZN5mcrl24data6detail12match_tree_NC2ERKN7atermpp5atermE
3442
_ZNK5mcrl24data6detail12match_tree_N7subtreeEv
3442
_ZNK5mcrl24data6detail12match_tree_R6resultEv
3753
_ZN5mcrl24data6detail12match_tree_RC2ERKNS0_15data_expressionE
3808
_ZNK5mcrl24data6detail12match_tree_S7subtreeEv
4581
_ZN5mcrl24data6detail12match_tree_FC2ERKN7atermpp5atermE
4918
_ZN5mcrl24data6detail12match_tree_DC2ERKNS1_10match_treeEm
5110
_ZNK5mcrl24data6detail12match_tree_F8functionEv
5882
_ZN5mcrl24data6detail18variable_or_numberC2ERKN7atermpp5atermE
6392
_ZN5mcrl24data6detail12match_tree_FC2ERKNS0_15function_symbolERKNS1_10match_treeES8_
6488
_ZN5mcrl24data6detail12match_tree_NC2ERKNS1_10match_treeEm
7592
_ZN5mcrl24data6detaillsERSoRKNS1_10match_treeE
7750
_ZN5mcrl24data6detail13match_tree_ReC2ERKNS0_15data_expressionERKN7atermpp9term_listINS1_18variable_or_numberEEE
7892
_ZNK5mcrl24data6detail10match_tree4isMeEv
7930
_ZN5mcrl24data6detail12match_tree_SC2ERKNS0_8variableERKNS1_10match_treeE
8209
_ZNK5mcrl24data6detail10match_tree6afunMeEv
8462
_ZNK5mcrl24data6detail13match_tree_Re6resultEv
9028
_ZNK5mcrl24data6detail13match_tree_Re9variablesEv
9028
_ZN5mcrl24data6detail13match_tree_ReC2ERKN7atermpp5atermE
9182
_ZN5mcrl24data6detail13match_tree_ReC2Ev
13290
_ZN5mcrl24data6detail12match_tree_SC2ERKN7atermpp5atermE
18379
_ZNK5mcrl24data6detail10match_tree3isXEv
23916
_ZNK5mcrl24data6detail12match_tree_S15target_variableEv
24391
_ZNK5mcrl24data6detail10match_tree5afunXEv
25692
_ZNK5mcrl24data6detail10match_tree3isCEv
26394
_ZNK5mcrl24data6detail10match_tree5afunCEv
26486
_ZNK5mcrl24data6detail10match_tree5isCReEv
29453
_ZNK5mcrl24data6detail10match_tree7afunCReEv
29785
_ZN5mcrl24data6detail10match_treeC2Ev
30997
_ZNK5mcrl24data6detail10match_tree3isREv
39734
_ZNK5mcrl24data6detail10match_tree5afunREv
43542
_ZNK5mcrl24data6detail10match_tree4isReEv
59099
_ZNK5mcrl24data6detail10match_tree6afunReEv
66991
_ZNK5mcrl24data6detail10match_tree3isDEv
73943
_ZNK5mcrl24data6detail10match_tree5afunDEv
79053
_ZNK5mcrl24data6detail10match_tree3isNEv
85625
_ZNK5mcrl24data6detail10match_tree3isAEv
85671
_ZNK5mcrl24data6detail10match_tree3isFEv
86623
_ZNK5mcrl24data6detail10match_tree5afunAEv
86959
_ZNK5mcrl24data6detail10match_tree5afunFEv
93111
_ZNK5mcrl24data6detail10match_tree5afunNEv
93217
_ZN5mcrl24data6detail10match_treeC2ERKN7atermpp5atermE
104765
_ZNK5mcrl24data6detail10match_tree3isMEv
111312
_ZNK5mcrl24data6detail10match_tree5afunMEv
113034
_ZNK5mcrl24data6detail10match_tree10is_definedEv
118055
_ZNK5mcrl24data6detail10match_tree3isSEv
147416
_ZNK5mcrl24data6detail10match_tree13afunUndefinedEv
149052
_ZNK5mcrl24data6detail10match_tree5afunSEv
155625
Generated by:
LCOV version 1.14