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 Sort by function name Hit count Sort by 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