LCOV - code coverage report

Current view: top level - process/source - process.cpp (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 70 111 63.1 % Date: 2024-04-26 03:18:02 Functions: 21 61 34.4 % Legend: Lines: hit not hit

Function Name	Hit count
_ZN5mcrl27process15normalize_sortsERSt6vectorINS0_16process_equationESaIS2_EERKNS_4data18sort_specificationE	0
_ZN5mcrl27process19find_free_variablesERKNS0_21process_specificationE	0
_ZN5mcrl27process21find_sort_expressionsERKN7atermpp9term_listINS0_12action_labelEEE	0
_ZN5mcrl27process21find_sort_expressionsERKNS0_21process_specificationE	0
_ZN5mcrl27process21find_sort_expressionsERKSt6vectorINS0_16process_equationESaIS2_EE	0
_ZN5mcrl27process2ppB5cxx11ERKN7atermpp9term_listINS0_12action_labelEEE	0
_ZN5mcrl27process2ppB5cxx11ERKN7atermpp9term_listINS0_16process_equationEEE	0
_ZN5mcrl27process2ppB5cxx11ERKN7atermpp9term_listINS0_18process_expressionEEE	0
_ZN5mcrl27process2ppB5cxx11ERKN7atermpp9term_listINS0_18process_identifierEEE	0
_ZN5mcrl27process2ppB5cxx11ERKN7atermpp9term_listINS0_6actionEEE	0
_ZN5mcrl27process2ppB5cxx11ERKNS0_10left_mergeE	0
_ZN5mcrl27process2ppB5cxx11ERKNS0_12action_labelE	0
_ZN5mcrl27process2ppB5cxx11ERKNS0_12bounded_initE	0
_ZN5mcrl27process2ppB5cxx11ERKNS0_12if_then_elseE	0
_ZN5mcrl27process2ppB5cxx11ERKNS0_16process_equationE	0
_ZN5mcrl27process2ppB5cxx11ERKNS0_16process_instanceE	0
_ZN5mcrl27process2ppB5cxx11ERKNS0_17rename_expressionE	0
_ZN5mcrl27process2ppB5cxx11ERKNS0_19stochastic_operatorE	0
_ZN5mcrl27process2ppB5cxx11ERKNS0_20untyped_multi_actionE	0
_ZN5mcrl27process2ppB5cxx11ERKNS0_24communication_expressionE	0
_ZN5mcrl27process2ppB5cxx11ERKNS0_26untyped_process_assignmentE	0
_ZN5mcrl27process2ppB5cxx11ERKNS0_27process_instance_assignmentE	0
_ZN5mcrl27process2ppB5cxx11ERKNS0_2atE	0
_ZN5mcrl27process2ppB5cxx11ERKNS0_3seqE	0
_ZN5mcrl27process2ppB5cxx11ERKNS0_3sumE	0
_ZN5mcrl27process2ppB5cxx11ERKNS0_3tauE	0
_ZN5mcrl27process2ppB5cxx11ERKNS0_4commE	0
_ZN5mcrl27process2ppB5cxx11ERKNS0_4hideE	0
_ZN5mcrl27process2ppB5cxx11ERKNS0_4syncE	0
_ZN5mcrl27process2ppB5cxx11ERKNS0_5blockE	0
_ZN5mcrl27process2ppB5cxx11ERKNS0_5deltaE	0
_ZN5mcrl27process2ppB5cxx11ERKNS0_5mergeE	0
_ZN5mcrl27process2ppB5cxx11ERKNS0_6choiceE	0
_ZN5mcrl27process2ppB5cxx11ERKNS0_6renameE	0
_ZN5mcrl27process2ppB5cxx11ERKNS0_7if_thenE	0
_ZN5mcrl27process2ppB5cxx11ERKSt6vectorINS0_12action_labelESaIS2_EE	0
_ZN5mcrl27process2ppB5cxx11ERKSt6vectorINS0_16process_equationESaIS2_EE	0
_ZN5mcrl27process2ppB5cxx11ERKSt6vectorINS0_18process_expressionESaIS2_EE	0
_ZN5mcrl27process2ppB5cxx11ERKSt6vectorINS0_18process_identifierESaIS2_EE	0
_ZN5mcrl27process2ppB5cxx11ERKSt6vectorINS0_6actionESaIS2_EE	0
_ZN5mcrl27process21find_sort_expressionsERKNS0_18process_expressionE	1
_ZN5mcrl27process2ppB5cxx11ERKNS0_20action_name_multisetE	1
_ZN5mcrl27process2ppB5cxx11ERKNS0_5allowE	1
_ZN5mcrl27process15alphabet_reduceERNS0_21process_specificationEm	2
_ZN5mcrl27process6detail28parse_process_expression_newERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE	3
_ZN5mcrl27process24parse_action_declarationERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKNS_4data18data_specificationE	4
_ZN5mcrl27process2ppB5cxx11ERKNS0_18process_identifierE	7
_ZN5mcrl27process2ppB5cxx11ERKNS0_21process_specificationE	7
_ZN5mcrl27process15normalize_sortsERKN7atermpp9term_listINS0_12action_labelEEERKNS_4data18sort_specificationE	10
_ZN5mcrl27process15normalize_sortsERKNS0_6actionERKNS_4data18sort_specificationE	10
_ZN5mcrl27process18find_all_variablesERKNS0_6actionE	10
_ZN5mcrl27process23translate_user_notationERKNS0_6actionE	10
_ZN5mcrl27process23translate_user_notationERKNS0_18process_expressionE	13
_ZN5mcrl27process19find_free_variablesERKNS0_6actionE	20
_ZN5mcrl27process2ppB5cxx11ERKNS0_18process_expressionE	45
_ZN5mcrl27process2ppB5cxx11ERKNS0_6actionE	161
_ZN5mcrl27process16find_identifiersERKNS0_21process_specificationE	877
_ZN5mcrl27process23translate_user_notationERNS0_21process_specificationE	1129
_ZN5mcrl27process15normalize_sortsERNS0_21process_specificationERKNS_4data18sort_specificationE	1136
_ZN5mcrl27process6detail30complete_process_specificationERNS0_21process_specificationEb	1146
_ZN5mcrl27process6detail31parse_process_specification_newERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE	1153

Generated by: LCOV version 1.14