LCOV - code coverage report

Current view: top level - process/include/mcrl2/process - find.h (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 32 45 71.1 % Date: 2024-05-01 03:37:31 Functions: 26 37 70.3 % Legend: Lines: hit not hit

Function Name	Hit count
_ZN5mcrl27process19find_free_variablesINS0_21process_specificationEEESt3setINS_4data8variableESt4lessIS5_ESaIS5_EERKT_	0
_ZN5mcrl27process19find_free_variablesINS0_21process_specificationESt15insert_iteratorISt3setINS_4data8variableESt4lessIS6_ESaIS6_EEEEEvRKT_T0_	0
_ZN5mcrl27process21find_sort_expressionsIN7atermpp9term_listINS0_12action_labelEEEEESt3setINS_4data15sort_expressionESt4lessIS8_ESaIS8_EERKT_	0
_ZN5mcrl27process21find_sort_expressionsINS0_21process_specificationEEESt3setINS_4data15sort_expressionESt4lessIS5_ESaIS5_EERKT_	0
_ZN5mcrl27process21find_sort_expressionsISt6vectorINS0_16process_equationESaIS3_EEEESt3setINS_4data15sort_expressionESt4lessIS8_ESaIS8_EERKT_	0
_ZN5mcrl27process6detail28find_action_labels_traverserINS_14state_formulas22action_label_traverserESt15insert_iteratorISt3setINS0_12action_labelESt4lessIS7_ESaIS7_EEEE5applyERKS7_	0
_ZN5mcrl27process6detail28find_action_labels_traverserINS_14state_formulas22action_label_traverserESt15insert_iteratorISt3setINS0_12action_labelESt4lessIS7_ESaIS7_EEEEC2ESC_	0
_ZN5mcrl27process6detail28find_action_labels_traverserINS_3lps22action_label_traverserESt15insert_iteratorISt3setINS0_12action_labelESt4lessIS7_ESaIS7_EEEE5applyERKS7_	0
_ZN5mcrl27process6detail28find_action_labels_traverserINS_3lps22action_label_traverserESt15insert_iteratorISt3setINS0_12action_labelESt4lessIS7_ESaIS7_EEEEC2ESC_	0
_ZN5mcrl27process6detail33make_find_action_labels_traverserINS_14state_formulas22action_label_traverserESt15insert_iteratorISt3setINS0_12action_labelESt4lessIS7_ESaIS7_EEEEENS1_28find_action_labels_traverserIT_T0_EESF_	0
_ZN5mcrl27process6detail33make_find_action_labels_traverserINS_3lps22action_label_traverserESt15insert_iteratorISt3setINS0_12action_labelESt4lessIS7_ESaIS7_EEEEENS1_28find_action_labels_traverserIT_T0_EESF_	0
_ZN5mcrl27process18find_all_variablesINS0_18process_expressionEEESt3setINS_4data8variableESt4lessIS5_ESaIS5_EERKT_	1
_ZN5mcrl27process18find_all_variablesINS0_18process_expressionESt15insert_iteratorISt3setINS_4data8variableESt4lessIS6_ESaIS6_EEEEEvRKT_T0_	1
_ZN5mcrl27process19find_free_variablesINS0_16process_instanceEEESt3setINS_4data8variableESt4lessIS5_ESaIS5_EERKT_	1
_ZN5mcrl27process19find_free_variablesINS0_16process_instanceESt15insert_iteratorISt3setINS_4data8variableESt4lessIS6_ESaIS6_EEEEEvRKT_T0_	1
_ZN5mcrl27process21find_sort_expressionsINS0_18process_expressionEEESt3setINS_4data15sort_expressionESt4lessIS5_ESaIS5_EERKT_	1
_ZN5mcrl27process16find_identifiersIN7atermpp9term_listINS0_6actionEEEEESt3setINS2_12aterm_stringESt4lessIS7_ESaIS7_EERKT_	2
_ZN5mcrl27process16find_identifiersIN7atermpp9term_listINS0_6actionEEESt15insert_iteratorISt3setINS2_12aterm_stringESt4lessIS8_ESaIS8_EEEEEvRKT_T0_	2
_ZN5mcrl27process16find_identifiersINS0_18process_expressionEEESt3setIN7atermpp12aterm_stringESt4lessIS5_ESaIS5_EERKT_	3
_ZN5mcrl27process16find_identifiersINS0_18process_expressionESt15insert_iteratorISt3setIN7atermpp12aterm_stringESt4lessIS6_ESaIS6_EEEEEvRKT_T0_	3
_ZN5mcrl27process18find_all_variablesIN7atermpp9term_listINS_4data10assignmentEEEEESt3setINS4_8variableESt4lessIS8_ESaIS8_EERKT_	6
_ZN5mcrl27process18find_all_variablesIN7atermpp9term_listINS_4data10assignmentEEESt15insert_iteratorISt3setINS4_8variableESt4lessIS9_ESaIS9_EEEEEvRKT_T0_	6
_ZN5mcrl27process18find_all_variablesINS_3lps12multi_actionEEESt3setINS_4data8variableESt4lessIS6_ESaIS6_EERKT_	6
_ZN5mcrl27process18find_all_variablesINS_3lps12multi_actionESt15insert_iteratorISt3setINS_4data8variableESt4lessIS7_ESaIS7_EEEEEvRKT_T0_	6
_ZN5mcrl27process18find_all_variablesINS0_6actionEEESt3setINS_4data8variableESt4lessIS5_ESaIS5_EERKT_	10
_ZN5mcrl27process18find_all_variablesINS0_6actionESt15insert_iteratorISt3setINS_4data8variableESt4lessIS6_ESaIS6_EEEEEvRKT_T0_	10
_ZN5mcrl27process21find_sort_expressionsINS0_21process_specificationESt15insert_iteratorISt3setINS_4data15sort_expressionESt4lessIS6_ESaIS6_EEEEEvRKT_T0_	13
_ZN5mcrl27process13find_equationERKSt6vectorINS0_16process_equationESaIS2_EERKNS0_18process_identifierE	15
_ZN5mcrl27process19find_free_variablesINS0_6actionEEESt3setINS_4data8variableESt4lessIS5_ESaIS5_EERKT_	20
_ZN5mcrl27process19find_free_variablesINS0_6actionESt15insert_iteratorISt3setINS_4data8variableESt4lessIS6_ESaIS6_EEEEEvRKT_T0_	20
_ZN5mcrl27process21find_sort_expressionsIN7atermpp9term_listINS0_12action_labelEEESt15insert_iteratorISt3setINS_4data15sort_expressionESt4lessIS9_ESaIS9_EEEEEvRKT_T0_	875
_ZN5mcrl27process21find_sort_expressionsISt6vectorINS0_16process_equationESaIS3_EESt15insert_iteratorISt3setINS_4data15sort_expressionESt4lessIS9_ESaIS9_EEEEEvRKT_T0_	875
_ZN5mcrl27process21find_sort_expressionsINS0_18process_expressionESt15insert_iteratorISt3setINS_4data15sort_expressionESt4lessIS6_ESaIS6_EEEEEvRKT_T0_	876
_ZN5mcrl27process16find_identifiersINS0_21process_specificationEEESt3setIN7atermpp12aterm_stringESt4lessIS5_ESaIS5_EERKT_	877
_ZN5mcrl27process16find_identifiersINS0_21process_specificationESt15insert_iteratorISt3setIN7atermpp12aterm_stringESt4lessIS6_ESaIS6_EEEEEvRKT_T0_	877
_ZN5mcrl27process19find_free_variablesINS0_18process_expressionEEESt3setINS_4data8variableESt4lessIS5_ESaIS5_EERKT_	1767
_ZN5mcrl27process19find_free_variablesINS0_18process_expressionESt15insert_iteratorISt3setINS_4data8variableESt4lessIS6_ESaIS6_EEEEEvRKT_T0_	1767

Generated by: LCOV version 1.14