LCOV - code coverage report
Current view:
top level
-
modal_formula/include/mcrl2/modal_formula
- regular_formula.h
(
source
/ functions)
Hit
Total
Coverage
Test:
mcrl2_coverage.info.cleaned
Lines:
78
102
76.5 %
Date:
2024-05-01 03:37:31
Functions:
32
56
57.1 %
Legend:
Lines:
hit
not hit
Function Name
Hit count
_ZN5mcrl216regular_formulas10make_transIJZNS0_20add_data_expressionsINS_15action_formulas23data_expression_builderENS_14state_formulas6detail47state_formula_data_variable_name_clash_resolverEE5applyINS0_15regular_formulaEEEvRT_RKNS0_5transEEUlRSA_E_EEEvRN7atermpp9term_applINSI_5atermEEEDpRKT_
0
_ZN5mcrl216regular_formulas10make_transIJZNS0_20add_data_expressionsINS_15action_formulas23data_expression_builderENS_4core20update_apply_builderINS_14state_formulas23data_expression_builderENS_4data6detail32translate_user_notation_functionEEEE5applyINS0_15regular_formulaEEEvRT_RKNS0_5transEEUlRSF_E_EEEvRN7atermpp9term_applINSN_5atermEEEDpRKT_
0
_ZN5mcrl216regular_formulas10make_transIJZNS0_20add_sort_expressionsINS_15action_formulas23sort_expression_builderENS_14state_formulas37state_formula_variable_rename_builderEE5applyINS0_15regular_formulaEEEvRT_RKNS0_5transEEUlRS9_E_EEEvRN7atermpp9term_applINSH_5atermEEEDpRKT_
0
_ZN5mcrl216regular_formulas10make_transIJZNS0_20add_sort_expressionsINS_15action_formulas23sort_expression_builderENS_4core20update_apply_builderINS_14state_formulas23sort_expression_builderENS_4data6detail24normalize_sorts_functionEEEE5applyINS0_15regular_formulaEEEvRT_RKNS0_5transEEUlRSF_E_EEEvRN7atermpp9term_applINSN_5atermEEEDpRKT_
0
_ZN5mcrl216regular_formulas10make_transIJZNS0_31add_regular_formula_expressionsINS0_28regular_formula_builder_baseENS0_6detail17typecheck_builderEE5applyINS0_15regular_formulaEEEvRT_RKNS0_5transEEUlRS8_E_EEEvRN7atermpp9term_applINSG_5atermEEEDpRKT_
0
_ZN5mcrl216regular_formulas15regular_formulaC2ERKNS_4data15data_expressionE
0
_ZN5mcrl216regular_formulas17make_trans_or_nilIJZNS0_20add_data_expressionsINS_15action_formulas23data_expression_builderENS_14state_formulas6detail47state_formula_data_variable_name_clash_resolverEE5applyINS0_15regular_formulaEEEvRT_RKNS0_12trans_or_nilEEUlRSA_E_EEEvRN7atermpp9term_applINSI_5atermEEEDpRKT_
0
_ZN5mcrl216regular_formulas17make_trans_or_nilIJZNS0_20add_sort_expressionsINS_15action_formulas23sort_expression_builderENS_14state_formulas37state_formula_variable_rename_builderEE5applyINS0_15regular_formulaEEEvRT_RKNS0_12trans_or_nilEEUlRS9_E_EEEvRN7atermpp9term_applINSH_5atermEEEDpRKT_
0
_ZN5mcrl216regular_formulas28make_untyped_regular_formulaIJN7atermpp12aterm_stringEZNS0_20add_data_expressionsINS_15action_formulas23data_expression_builderENS_14state_formulas6detail47state_formula_data_variable_name_clash_resolverEE5applyINS0_15regular_formulaEEEvRT_RKNS0_23untyped_regular_formulaEEUlRSC_E_ZNSB_ISC_EEvSE_SH_EUlSI_E0_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_
0
_ZN5mcrl216regular_formulas28make_untyped_regular_formulaIJN7atermpp12aterm_stringEZNS0_20add_data_expressionsINS_15action_formulas23data_expression_builderENS_4core20update_apply_builderINS_14state_formulas23data_expression_builderENS_4data6detail32translate_user_notation_functionEEEE5applyINS0_15regular_formulaEEEvRT_RKNS0_23untyped_regular_formulaEEUlRSH_E_ZNSG_ISH_EEvSJ_SM_EUlSN_E0_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_
0
_ZN5mcrl216regular_formulas28make_untyped_regular_formulaIJN7atermpp12aterm_stringEZNS0_20add_sort_expressionsINS_15action_formulas23sort_expression_builderENS_14state_formulas37state_formula_variable_rename_builderEE5applyINS0_15regular_formulaEEEvRT_RKNS0_23untyped_regular_formulaEEUlRSB_E_ZNSA_ISB_EEvSD_SG_EUlSH_E0_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_
0
_ZN5mcrl216regular_formulas5transC2ERKN7atermpp5atermE
0
_ZN5mcrl216regular_formulas5transC2ERKNS0_15regular_formulaE
0
_ZN5mcrl216regular_formulas8make_altIJZNS0_20add_data_expressionsINS_15action_formulas23data_expression_builderENS_14state_formulas6detail47state_formula_data_variable_name_clash_resolverEE5applyINS0_15regular_formulaEEEvRT_RKNS0_3altEEUlRSA_E_ZNS9_ISA_EEvSC_SF_EUlSG_E0_EEEvRN7atermpp9term_applINSJ_5atermEEEDpRKT_
0
_ZN5mcrl216regular_formulas8make_altIJZNS0_20add_data_expressionsINS_15action_formulas23data_expression_builderENS_4core20update_apply_builderINS_14state_formulas23data_expression_builderENS_4data6detail32translate_user_notation_functionEEEE5applyINS0_15regular_formulaEEEvRT_RKNS0_3altEEUlRSF_E_ZNSE_ISF_EEvSH_SK_EUlSL_E0_EEEvRN7atermpp9term_applINSO_5atermEEEDpRKT_
0
_ZN5mcrl216regular_formulas8make_altIJZNS0_20add_sort_expressionsINS_15action_formulas23sort_expression_builderENS_14state_formulas37state_formula_variable_rename_builderEE5applyINS0_15regular_formulaEEEvRT_RKNS0_3altEEUlRS9_E_ZNS8_IS9_EEvSB_SE_EUlSF_E0_EEEvRN7atermpp9term_applINSI_5atermEEEDpRKT_
0
_ZN5mcrl216regular_formulas8make_altIJZNS0_20add_sort_expressionsINS_15action_formulas23sort_expression_builderENS_4core20update_apply_builderINS_14state_formulas23sort_expression_builderENS_4data6detail24normalize_sorts_functionEEEE5applyINS0_15regular_formulaEEEvRT_RKNS0_3altEEUlRSF_E_ZNSE_ISF_EEvSH_SK_EUlSL_E0_EEEvRN7atermpp9term_applINSO_5atermEEEDpRKT_
0
_ZN5mcrl216regular_formulas8make_altIJZNS0_31add_regular_formula_expressionsINS0_28regular_formula_builder_baseENS0_6detail17typecheck_builderEE5applyINS0_15regular_formulaEEEvRT_RKNS0_3altEEUlRS8_E_ZNS7_IS8_EEvSA_SD_EUlSE_E0_EEEvRN7atermpp9term_applINSH_5atermEEEDpRKT_
0
_ZN5mcrl216regular_formulas8make_seqIJZNS0_20add_data_expressionsINS_15action_formulas23data_expression_builderENS_14state_formulas6detail47state_formula_data_variable_name_clash_resolverEE5applyINS0_15regular_formulaEEEvRT_RKNS0_3seqEEUlRSA_E_ZNS9_ISA_EEvSC_SF_EUlSG_E0_EEEvRN7atermpp9term_applINSJ_5atermEEEDpRKT_
0
_ZN5mcrl216regular_formulas8make_seqIJZNS0_20add_data_expressionsINS_15action_formulas23data_expression_builderENS_4core20update_apply_builderINS_14state_formulas23data_expression_builderENS_4data6detail32translate_user_notation_functionEEEE5applyINS0_15regular_formulaEEEvRT_RKNS0_3seqEEUlRSF_E_ZNSE_ISF_EEvSH_SK_EUlSL_E0_EEEvRN7atermpp9term_applINSO_5atermEEEDpRKT_
0
_ZN5mcrl216regular_formulas8make_seqIJZNS0_20add_sort_expressionsINS_15action_formulas23sort_expression_builderENS_14state_formulas37state_formula_variable_rename_builderEE5applyINS0_15regular_formulaEEEvRT_RKNS0_3seqEEUlRS9_E_ZNS8_IS9_EEvSB_SE_EUlSF_E0_EEEvRN7atermpp9term_applINSI_5atermEEEDpRKT_
0
_ZN5mcrl216regular_formulas8make_seqIJZNS0_20add_sort_expressionsINS_15action_formulas23sort_expression_builderENS_4core20update_apply_builderINS_14state_formulas23sort_expression_builderENS_4data6detail24normalize_sorts_functionEEEE5applyINS0_15regular_formulaEEEvRT_RKNS0_3seqEEUlRSF_E_ZNSE_ISF_EEvSH_SK_EUlSL_E0_EEEvRN7atermpp9term_applINSO_5atermEEEDpRKT_
0
_ZN5mcrl216regular_formulas8make_seqIJZNS0_31add_regular_formula_expressionsINS0_28regular_formula_builder_baseENS0_6detail17typecheck_builderEE5applyINS0_15regular_formulaEEEvRT_RKNS0_3seqEEUlRS8_E_ZNS7_IS8_EEvSA_SD_EUlSE_E0_EEEvRN7atermpp9term_applINSH_5atermEEEDpRKT_
0
_ZNK5mcrl216regular_formulas5trans7operandEv
0
_ZN5mcrl216regular_formulas18is_regular_formulaERKN7atermpp9term_applINS1_5atermEEE
1
_ZN5mcrl216regular_formulas17make_trans_or_nilIJZNS0_20add_data_expressionsINS_15action_formulas23data_expression_builderENS_4core20update_apply_builderINS_14state_formulas23data_expression_builderENS_4data6detail32translate_user_notation_functionEEEE5applyINS0_15regular_formulaEEEvRT_RKNS0_12trans_or_nilEEUlRSF_E_EEEvRN7atermpp9term_applINSN_5atermEEEDpRKT_
2
_ZN5mcrl216regular_formulas3seqC2ERKNS0_15regular_formulaES4_
3
_ZN5mcrl216regular_formulas3altC2ERKNS0_15regular_formulaES4_
4
_ZN5mcrl216regular_formulas23untyped_regular_formulaC2ERKN7atermpp12aterm_stringERKNS0_15regular_formulaES8_
5
_ZN5mcrl216regular_formulas28make_untyped_regular_formulaIJN7atermpp12aterm_stringEZNS0_20add_sort_expressionsINS_15action_formulas23sort_expression_builderENS_4core20update_apply_builderINS_14state_formulas23sort_expression_builderENS_4data6detail24normalize_sorts_functionEEEE5applyINS0_15regular_formulaEEEvRT_RKNS0_23untyped_regular_formulaEEUlRSH_E_ZNSG_ISH_EEvSJ_SM_EUlSN_E0_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_
5
_ZNK5mcrl216regular_formulas3alt4leftEv
8
_ZNK5mcrl216regular_formulas3alt5rightEv
8
_ZNK5mcrl216regular_formulas3seq4leftEv
9
_ZNK5mcrl216regular_formulas3seq5rightEv
9
_ZN5mcrl216regular_formulas23untyped_regular_formulaC2ERKN7atermpp5atermE
10
_ZN5mcrl216regular_formulas26is_untyped_regular_formulaERKN7atermpp9term_applINS1_5atermEEE
10
_ZN5mcrl216regular_formulas3altC2ERKN7atermpp5atermE
10
_ZNK5mcrl216regular_formulas23untyped_regular_formula4leftEv
10
_ZNK5mcrl216regular_formulas23untyped_regular_formula4nameEv
10
_ZNK5mcrl216regular_formulas23untyped_regular_formula5rightEv
10
_ZN5mcrl216regular_formulas3seqC2ERKN7atermpp5atermE
12
_ZN5mcrl216regular_formulas17make_trans_or_nilIJZNS0_20add_sort_expressionsINS_15action_formulas23sort_expression_builderENS_4core20update_apply_builderINS_14state_formulas23sort_expression_builderENS_4data6detail24normalize_sorts_functionEEEE5applyINS0_15regular_formulaEEEvRT_RKNS0_12trans_or_nilEEUlRSF_E_EEEvRN7atermpp9term_applINSN_5atermEEEDpRKT_
33
_ZN5mcrl216regular_formulas17make_trans_or_nilIJZNS0_31add_regular_formula_expressionsINS0_28regular_formula_builder_baseENS0_6detail17typecheck_builderEE5applyINS0_15regular_formulaEEEvRT_RKNS0_12trans_or_nilEEUlRS8_E_EEEvRN7atermpp9term_applINSG_5atermEEEDpRKT_
33
_ZN5mcrl216regular_formulas15regular_formulaC2EOS1_
40
_ZN5mcrl216regular_formulas12trans_or_nilC2ERKNS0_15regular_formulaE
41
_ZNK5mcrl216regular_formulas12trans_or_nil7operandEv
174
_ZN5mcrl216regular_formulas12trans_or_nilC2ERKN7atermpp5atermE
176
_ZN5mcrl216regular_formulas15regular_formulaC2Ev
235
_ZN5mcrl216regular_formulas15regular_formulaC2ERKS1_
297
_ZN5mcrl216regular_formulas15is_trans_or_nilERKN7atermpp9term_applINS1_5atermEEE
415
_ZN5mcrl216regular_formulas8is_transERKN7atermpp9term_applINS1_5atermEEE
415
_ZN5mcrl216regular_formulas6is_altERKN7atermpp9term_applINS1_5atermEEE
423
_ZN5mcrl216regular_formulas6is_seqERKN7atermpp9term_applINS1_5atermEEE
432
_ZN5mcrl216regular_formulas15regular_formulaaSEOS1_
604
_ZN5mcrl216regular_formulas15regular_formulaC2ERKNS_15action_formulas14action_formulaE
842
_ZN5mcrl216regular_formulas15regular_formulaC2ERKN7atermpp5atermE
4231
Generated by:
LCOV version 1.14