LCOV - code coverage report
Current view:
top level
-
process/include/mcrl2/process/detail
- alphabet_push_block.h
(
source
/ functions)
Hit
Total
Coverage
Test:
mcrl2_coverage.info.cleaned
Lines:
64
164
39.0 %
Date:
2024-04-21 03:44:01
Functions:
13
34
38.2 %
Legend:
Lines:
hit
not hit
Function Name
Hit count
_ZN5mcrl27process16block_operations14rename_inverseERKN7atermpp9term_listINS0_17rename_expressionEEERKSt3setINS2_12aterm_stringESt4lessIS9_ESaIS9_EE
0
_ZN5mcrl27process16block_operations14set_differenceIN7atermpp9term_listINS3_12aterm_stringEEEEESt3setIS5_St4lessIS5_ESaIS5_EERKSB_RKT_
0
_ZN5mcrl27process16block_operations9set_unionIN7atermpp9term_listINS3_12aterm_stringEEEEESt3setIS5_St4lessIS5_ESaIS5_EERKSB_RKT_
0
_ZN5mcrl27process6detail18push_block_builderINS1_24apply_push_block_builderIS2_EEE5applyINS0_18process_expressionEEEvRT_RKNS0_27process_instance_assignmentE
0
_ZN5mcrl27process6detail18push_block_builderINS1_24apply_push_block_builderIS2_EEE5applyINS0_18process_expressionEEEvRT_RKNS0_4commE
0
_ZN5mcrl27process6detail18push_block_builderINS1_24apply_push_block_builderIS2_EEE5applyINS0_18process_expressionEEEvRT_RKNS0_4hideE
0
_ZN5mcrl27process6detail18push_block_builderINS1_24apply_push_block_builderIS2_EEE5applyINS0_18process_expressionEEEvRT_RKNS0_4syncE
0
_ZN5mcrl27process6detail18push_block_builderINS1_24apply_push_block_builderIS2_EEE5applyINS0_18process_expressionEEEvRT_RKNS0_5blockE
0
_ZN5mcrl27process6detail18push_block_builderINS1_24apply_push_block_builderIS2_EEE5applyINS0_18process_expressionEEEvRT_RKNS0_6renameE
0
_ZN5mcrl27process6detail18push_block_builderINS1_24apply_push_block_builderIS2_EEE7derivedEv
0
_ZNK5mcrl27process6detail18push_block_builderINS1_24apply_push_block_builderIS2_EEE14restrict_blockERKSt3setIN7atermpp12aterm_stringESt4lessIS8_ESaIS8_EERKNS7_9term_listINS0_24communication_expressionEEE
0
_ZNK5mcrl27process6detail18push_block_builderINS1_24apply_push_block_builderIS2_EEE9restrict_ERKN7atermpp12aterm_stringERKSt3setIS7_St4lessIS7_ESaIS7_EERKNS6_9term_listINS0_24communication_expressionEEE
0
_ZNK5mcrl27process6detail18push_block_printer5printB5cxx11ERKNS0_4commERKNS0_18process_expressionE
0
_ZNK5mcrl27process6detail18push_block_printer5printB5cxx11ERKNS0_4hideERKSt3setIN7atermpp12aterm_stringESt4lessIS8_ESaIS8_EE
0
_ZNK5mcrl27process6detail18push_block_printer5printB5cxx11ERKNS0_5blockERKSt3setIN7atermpp12aterm_stringESt4lessIS8_ESaIS8_EE
0
_ZNK5mcrl27process6detail18push_block_printer5printB5cxx11ERKNS0_6renameERKSt3setIN7atermpp12aterm_stringESt4lessIS8_ESaIS8_EE
0
_ZNK5mcrl27process6detail18push_block_printer5printIN7atermpp9term_listINS0_17rename_expressionEEEEENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKT_
0
_ZNK5mcrl27process6detail18push_block_printer5printIN7atermpp9term_listINS4_12aterm_stringEEEEENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKT_
0
_ZNK5mcrl27process6detail18push_block_printer5printINS0_4commEEENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKT_
0
_ZNK5mcrl27process6detail18push_block_printer5printINS0_4hideEEENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKT_
0
_ZNK5mcrl27process6detail18push_block_printer5printINS0_5blockEEENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKT_
0
_ZN5mcrl27process6detail18push_block_builderINS1_24apply_push_block_builderIS2_EEE5applyINS0_18process_expressionEEEvRT_RKNS0_5allowE
1
_ZN5mcrl27process6detail18push_block_builderINS1_24apply_push_block_builderIS2_EEE5applyINS0_18process_expressionEEEvRT_RKNS0_6actionE
1
_ZN5mcrl27process6detail18push_block_printerC2ERKSt3setIN7atermpp12aterm_stringESt4lessIS5_ESaIS5_EE
1
_ZNK5mcrl27process6detail18push_block_printer5printB5cxx11ERKNS0_5allowERKNS0_9allow_setE
1
_ZNK5mcrl27process6detail18push_block_printer5printB5cxx11ERKSt3setIN7atermpp12aterm_stringESt4lessIS5_ESaIS5_EE
1
_ZNK5mcrl27process6detail18push_block_printer5printINS0_18process_expressionEEENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKT_
1
_ZNK5mcrl27process6detail18push_block_printer5printINS0_5allowEEENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKT_
1
_ZN5mcrl27process10push_blockERKN7atermpp9term_listINS1_12aterm_stringEEERKNS0_18process_expressionERSt6vectorINS0_16process_equationESaISB_EERNS_4data24set_identifier_generatorERSt3mapINS0_18process_identifierESt3setINS0_17multi_action_nameESt4lessISL_ESaISL_EESM_ISJ_ESaISt4pairIKSJ_SP_EEE
2
_ZN5mcrl27process16push_block_cacheC2ERSt3mapINS0_18process_identifierESt3setINS0_17multi_action_nameESt4lessIS5_ESaIS5_EES6_IS3_ESaISt4pairIKS3_S9_EEE
2
_ZN5mcrl27process6detail18push_block_builderINS1_24apply_push_block_builderIS2_EEE5applyINS0_18process_expressionEEEvRT_RKNS0_16process_instanceE
2
_ZN5mcrl27process6detail10push_blockERKSt3setIN7atermpp12aterm_stringESt4lessIS4_ESaIS4_EERKNS0_18process_expressionERSt6vectorINS0_16process_equationESaISF_EERNS0_16push_block_cacheERNS_4data24set_identifier_generatorE
3
_ZN5mcrl27process6detail18push_block_builderINS1_24apply_push_block_builderIS2_EEEC2ERSt6vectorINS0_16process_equationESaIS7_EERNS0_16push_block_cacheERKSt3setIN7atermpp12aterm_stringESt4lessISF_ESaISF_EERNS_4data24set_identifier_generatorE
3
_ZN5mcrl27process6detail24apply_push_block_builderINS1_18push_block_builderEEC2ERSt6vectorINS0_16process_equationESaIS6_EERNS0_16push_block_cacheERKSt3setIN7atermpp12aterm_stringESt4lessISE_ESaISE_EERNS_4data24set_identifier_generatorE
3
Generated by:
LCOV version 1.14