LCOV - code coverage report

Current view: top level - data/source/detail/rewrite - jittyc.cpp (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 1245 1502 82.9 % Date: 2024-05-04 03:44:52 Functions: 79 87 90.8 % Legend: Lines: hit not hit

Function Name	Hit count
_ZN5mcrl24data6detail22RewriterCompilingJitty11getStrategyEv	0
_ZN5mcrl24data6detail22RewriterCompilingJitty13ImplementTree15implement_treeCERSoRKNS1_12match_tree_CERNS1_18bracket_level_dataERKSt3mapINS0_8variableENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4lessISB_ESaISt4pairIKSB_SH_EEE	0
_ZN5mcrl24data6detail22RewriterCompilingJitty13ImplementTree15implement_treeRERSoRKNS1_12match_tree_REmRKSt3mapINS0_8variableENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4lessIS9_ESaISt4pairIKS9_SF_EEE	0
_ZN5mcrl24data6detail22RewriterCompilingJitty13ImplementTree28calc_inner_term_where_clauseERSoRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKNS0_12where_clauseEmbS4_RKSt3mapINS0_8variableESA_St4lessISH_ESaISt4pairIKSH_SA_EEE	0
_ZN5mcrl24data6detail22RewriterCompilingJitty13ImplementTree39calc_inner_term_appl_lambda_abstractionERSoRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKNS0_11applicationERKNS0_11abstractionEmbS4_RKSt3mapINS0_8variableESA_St4lessISK_ESaISt4pairIKSK_SA_EEE	0
_ZN5mcrl24data6detail22RewriterCompilingJitty13ImplementTree7padding5resetEv	0
_ZN5mcrl24data6detail22RewriterCompilingJitty13ImplementTree7padding7restoreEm	0
_ZN5mcrl24data6detail22RewriterCompilingJitty7rewriteERKNS0_15data_expressionERNS0_28mutable_indexed_substitutionINS0_8variableES3_EE	0
_ZN5mcrl24data6detail22RewriterCompilingJitty13ImplementTree44implement_body_of_cplusplus_defined_functionEmRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESB_RKNS0_13function_sortERm	2
_ZN5mcrl24data6detail22RewriterCompilingJitty13ImplementTree17implemented_rewrsEv	5
_ZN5mcrl24data6detail22RewriterCompilingJitty13ImplementTree23generate_rewr_functionsERSoRKNS0_18data_specificationE	5
_ZN5mcrl24data6detail22RewriterCompilingJitty13ImplementTree38generate_delayed_application_functionsERSo	5
_ZN5mcrl24data6detail22RewriterCompilingJitty13ImplementTree7paddingC2Em	5
_ZN5mcrl24data6detail22RewriterCompilingJitty13ImplementTreeC2ERS2_RSt6vectorINS0_15function_symbolESaIS6_EE	5
_ZN5mcrl24data6detail22RewriterCompilingJitty13generate_codeERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE	5
_ZN5mcrl24data6detail22RewriterCompilingJitty18BuildRewriteSystemEv	5
_ZN5mcrl24data6detail22RewriterCompilingJittyC2ERKNS0_18data_specificationERKNS0_27used_data_equation_selectorE	5
_ZN5mcrl24data6detail22RewriterCompilingJittyD0Ev	5
_ZN5mcrl24data6detail22RewriterCompilingJittyD2Ev	5
_ZN5mcrl24data6detailL21generate_cpp_filenameEm	5
_ZN5mcrl24data6detail22RewriterCompilingJitty13ImplementTree38implement_a_cplusplus_defined_functionERSoRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEmRKNS0_15function_symbolERKNS0_18data_specificationE	6
_ZN5mcrl24data6detail22RewriterCompilingJitty20CleanupRewriteSystemEv	10
_ZN5mcrl24data6detail23filter_function_symbolsINS0_27used_data_equation_selectorEEEvRKSt6vectorINS0_15function_symbolESaIS5_EERS7_T_	10
_ZN5mcrl24data6detailL14calc_max_arityERKSt6vectorINS0_15function_symbolESaIS3_EE	10
_ZN5mcrl24data6detail22RewriterCompilingJitty13ImplementTree27calc_inner_term_abstractionERSoRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKNS0_11abstractionEmbS4_RKSt3mapINS0_8variableESA_St4lessISH_ESaISt4pairIKSH_SA_EEE	44
_ZN5mcrl24data6detail22RewriterCompilingJitty27binding_variable_list_indexERKN7atermpp9term_listINS0_8variableEEE	44
_ZN5mcrl24data6detail22RewriterCompilingJitty13ImplementTree15implement_treeCERSoRKNS1_12match_tree_CEmmmmmRKNS0_15function_symbolERNS1_18bracket_level_dataERSt5stackINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt5dequeISJ_SaISJ_EEERSt3mapINS0_8variableESJ_St4lessISQ_ESaISt4pairIKSQ_SJ_EEE	58
_ZN5mcrl24data6detail22RewriterCompilingJitty13ImplementTree19delayed_applicationB5cxx11Em	104
_ZN5mcrl24data6detail22RewriterCompilingJitty13ImplementTree50write_delayed_application_to_stream_in_normal_formERSoRKNS0_11applicationEmS4_RKSt3mapINS0_8variableENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4lessIS9_ESaISt4pairIKS9_SF_EEE	104
_ZN5mcrl24data6detail22RewriterCompilingJitty13ImplementTree48generate_delayed_normal_form_generating_functionERSoRKNS0_15function_symbolEm	128
_ZN5mcrl24data6detail22RewriterCompilingJitty13ImplementTree42write_application_to_stream_in_normal_formERSoRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKNS0_11applicationEmRKSt3mapINS0_8variableESA_St4lessISH_ESaISt4pairIKSH_SA_EEE	136
_ZN5mcrl24data6detail22RewriterCompilingJitty18get_residual_sortsERKNS0_15sort_expressionEmm	140
_ZN5mcrl24data6detail22RewriterCompilingJitty20bound_variable_indexERKNS0_8variableE	156
_ZN5mcrl24data6detail22RewriterCompilingJitty13ImplementTree29calc_inner_term_appl_variableERSoRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKNS0_11applicationEmbS4_RKSt3mapINS0_8variableESA_St4lessISH_ESaISt4pairIKSH_SA_EEE	240
_ZN5mcrl24data6detail22RewriterCompilingJitty13ImplementTree15implement_treeMERSoRKNS1_12match_tree_MEmmmmmRKNS0_15function_symbolERNS1_18bracket_level_dataERSt5stackINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt5dequeISJ_SaISJ_EEERSt3mapINS0_8variableESJ_St4lessISQ_ESaISt4pairIKSQ_SJ_EEE	368
_ZN5mcrl24data6detail22RewriterCompilingJitty13ImplementTree25rewr_function_finish_termERSomRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKNS0_13function_sortE	451
_ZN5mcrl24data6detail22RewriterCompilingJitty10extend_nfsERNS1_9nfs_arrayERKNS0_15function_symbolEm	459
_ZN5mcrl24data6detail22RewriterCompilingJitty13ImplementTree15implement_treeDERSoRKNS1_12match_tree_DEmmmRKNS0_15function_symbolERNS1_18bracket_level_dataERSt5stackINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt5dequeISJ_SaISJ_EEERSt3mapINS0_8variableESJ_St4lessISQ_ESaISt4pairIKSQ_SJ_EEE	584
_ZN5mcrl24data6detail22RewriterCompilingJitty13ImplementTree14implement_treeERSoNS1_10match_treeEmRKNS0_15function_symbolERNS1_18bracket_level_dataERSt5stackINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt5dequeISH_SaISH_EEERSt3mapINS0_8variableESH_St4lessISO_ESaISt4pairIKSO_SH_EEE	640
_ZN5mcrl24data6detail22RewriterCompilingJitty13ImplementTree13appl_functionB5cxx11Em	661
_ZN5mcrl24data6detail22RewriterCompilingJitty13ImplementTree26delayed_rewr_function_nameB5cxx11ERKNS0_15function_symbolEm	848
_ZN5mcrl24data6detail22RewriterCompilingJitty13ImplementTree15implement_treeFERSoRKNS1_12match_tree_FEmmmmmRKNS0_15function_symbolERNS1_18bracket_level_dataERSt5stackINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt5dequeISJ_SaISJ_EEERSt3mapINS0_8variableESJ_St4lessISQ_ESaISt4pairIKSQ_SJ_EEE	852
_ZN5mcrl24data6detail22RewriterCompilingJitty13ImplementTree16calc_inner_termsERSoRKNS0_11applicationEmRKNS1_9nfs_arrayES4_RKSt3mapINS0_8variableENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4lessISC_ESaISt4pairIKSC_SI_EEE	883
_ZN5mcrl24data6detail22RewriterCompilingJitty13ImplementTree29calc_inner_term_appl_functionERSoRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKNS0_11applicationERKNS0_15function_symbolEmbS4_RKSt3mapINS0_8variableESA_St4lessISK_ESaISt4pairIKSK_SA_EEE	883
_ZN5mcrl24data6detail22RewriterCompilingJitty13ImplementTree20rewr_function_finishERSomRKNS0_15function_symbolE	891
_ZN5mcrl24data6detail18bracket_level_dataC2Ev	897
_ZN5mcrl24data6detail22RewriterCompilingJitty13ImplementTree18implement_strategyERSoN7atermpp9term_listINS1_10match_treeEEEmRKNS0_15function_symbolERNS1_18bracket_level_dataERSt5stackINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt5dequeISK_SaISK_EEERKNS0_18data_specificationE	897
_ZN5mcrl24data6detail22RewriterCompilingJitty13ImplementTree23rewr_function_signatureERSommRNS1_18bracket_level_dataE	897
_ZN5mcrl24data6detail22RewriterCompilingJitty13ImplementTree28rewr_function_implementationERSoRKNS0_15function_symbolEmN7atermpp9term_listINS1_10match_treeEEERKNS0_18data_specificationE	897
_ZN5mcrl24data6detail22RewriterCompilingJitty11create_treeERKN7atermpp9term_listINS0_13data_equationEEE	1080
_ZN5mcrl24data6detail22RewriterCompilingJitty13ImplementTree27calc_inner_term_applicationERSoRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKNS0_11applicationEmbS4_RKSt3mapINS0_8variableESA_St4lessISH_ESaISt4pairIKSH_SA_EEE	1123
_ZN5mcrl24data6detail22RewriterCompilingJitty15create_strategyERKN7atermpp9term_listINS0_13data_equationEEEm	1249
_ZN5mcrl24data6detail22RewriterCompilingJitty13ImplementTree15implement_treeRERSoRKNS1_12match_tree_REmmRKSt3mapINS0_8variableENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4lessIS9_ESaISt4pairIKS9_SF_EEE	1251
_ZN5mcrl24data6detail22RewriterCompilingJitty13ImplementTree15implement_treeSERSoRKNS1_12match_tree_SEmmmmmRKNS0_15function_symbolERNS1_18bracket_level_dataERSt5stackINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt5dequeISJ_SaISJ_EEERSt3mapINS0_8variableESJ_St4lessISQ_ESaISt4pairIKSQ_SJ_EEE	1527
_ZN5mcrl24data6detail22RewriterCompilingJitty13ImplementTree7matchesC2ERKN7atermpp5atermE	1527
_ZN5mcrl24data6detail22RewriterCompilingJitty13ImplementTree15implement_treeNERSoRKNS1_12match_tree_NEmmmmmRKNS0_15function_symbolERNS1_18bracket_level_dataERSt5stackINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt5dequeISJ_SaISJ_EEERSt3mapINS0_8variableESJ_St4lessISQ_ESaISt4pairIKSQ_SJ_EEE	1721
_ZN5mcrl24data6detail22RewriterCompilingJitty13ImplementTree24calc_inner_term_variableERSoRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKNS0_8variableEbS4_RKSt3mapISD_SA_St4lessISD_ESaISt4pairISE_SA_EEE	1955
_ZNK5mcrl24data6detail18rewr_function_spec7delayedEv	2050
_ZN5mcrl24data6detail22RewriterCompilingJitty13ImplementTree22get_recursive_argumentERSoNS0_13function_sortEmRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEm	2172
_ZN5mcrl24data6detail22RewriterCompilingJitty13ImplementTree18rewr_function_nameB5cxx11ERKNS0_15function_symbolEm	2204
_ZN5mcrl24data6detail22RewriterCompilingJitty13ImplementTree9get_headsERKNS0_15sort_expressionERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEm	2472
_ZN5mcrl24data6detail22RewriterCompilingJitty15create_sequenceERKNS0_13data_equationEPm	2668
_ZN5mcrl24data6detail22RewriterCompilingJitty32lift_rewrite_rule_to_right_arityERNS0_13data_equationEm	2668
_ZN5mcrl24data6detailL78find_variables_in_the_scope_of_main_function_symbol_in_a_complex_subexpressionERKNS0_15data_expressionES4_	2668
_ZN5mcrl24data6detailL8dep_varsERKNS0_13data_equationE	2668
_ZN5mcrl24data6detailL13get_used_varsERKNS0_15data_expressionE	2756
_ZN5mcrl24data6detail18rewr_function_specC2ENS0_15function_symbolEmb	3052
_ZNK5mcrl24data6detail18rewr_function_spec2fsEv	3259
_ZN5mcrl24data6detail22RewriterCompilingJitty13ImplementTree15calc_inner_termERSoRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKNS0_15data_expressionEmbS4_RKSt3mapINS0_8variableESA_St4lessISH_ESaISt4pairIKSH_SA_EEE	3608
_ZNK5mcrl24data6detail18rewr_function_spec5arityEv	3733
_ZN5mcrl24data6detailL11inc_usedcntERKN7atermpp9term_listINS1_18variable_or_numberEEE	3900
_ZNK5mcrl24data6detail18rewr_function_spec4nameB5cxx11Ev	3966
_ZN5mcrl24data6detailL14createFreshVarERKNS0_15sort_expressionEPm	4213
_ZN5mcrl24data6detail22RewriterCompilingJitty13ImplementTree7padding6indentEv	4537
_ZN5mcrl24data6detail22RewriterCompilingJitty13ImplementTree7padding8unindentEv	4537
_ZN5mcrl24data6detailL85find_variables_in_the_scope_of_main_function_symbol_in_a_complex_subexpression_helperERKNS0_15data_expressionES4_RSt3setINS0_8variableESt4lessIS6_ESaIS6_EE	5444
_ZN5mcrl24data6detail22RewriterCompilingJitty9subst_varERKN7atermpp9term_listINS1_10match_treeEEERKNS0_8variableESB_mRKNS0_24mutable_map_substitutionISt3mapIS9_NS0_15data_expressionESt4lessIS9_ESaISt4pairISA_SE_EEEEE	5556
_ZN5mcrl24data6detail22RewriterCompilingJitty7rewriteERNS0_15data_expressionERKS3_RNS0_28mutable_indexed_substitutionINS0_8variableES3_EE	6175
_ZN5mcrl24data6detail22RewriterCompilingJitty13ImplementTree14implement_treeERSoRKNS1_10match_treeEmmmmmRKNS0_15function_symbolERNS1_18bracket_level_dataERSt5stackINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt5dequeISJ_SaISJ_EEERSt3mapINS0_8variableESJ_St4lessISQ_ESaISt4pairIKSQ_SJ_EEE	7028
_ZN5mcrl24data6detailL16arity_is_allowedERKNS0_15sort_expressionEm	7405
_ZN5mcrl24data6detailL17add_to_build_parsERNS1_10build_parsERKN7atermpp9term_listINS5_INS1_10match_treeEEEEERNS1_13match_tree_ReERS7_	7879
_ZN5mcrl24data6detail22RewriterCompilingJitty8term2seqERKNS0_15data_expressionERN7atermpp9term_listINS1_10match_treeEEEPmb	8418
_ZN5mcrl24data6detail22RewriterCompilingJitty10build_treeENS1_10build_parsEm	19036
_ZNK5mcrl24data6detail18rewr_function_specltERKS2_	30239
_ZN5mcrl24data6detaillsERSoRKNS1_22RewriterCompilingJitty13ImplementTree7paddingE	33104
_ZN5mcrl24data6detailL12add_to_stackERKN7atermpp9term_listINS3_INS3_INS1_10match_treeEEEEEEERKS6_RNS1_13match_tree_ReERS5_	34020
_ZNK5mcrl24data6detail22RewriterCompilingJitty13ImplementTree7matchesclERKN7atermpp5atermE	39845

Generated by: LCOV version 1.14