LCOV - code coverage report

Current view: top level - process/include/mcrl2/process - utility.h (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 5 22 22.7 % Date: 2024-05-01 03:37:31 Functions: 2 6 33.3 % Legend: Lines: hit not hit

Function Name	Hit count
_ZN5mcrl27process10make_blockERKN7atermpp9term_listINS1_12aterm_stringEEERKNS0_18process_expressionE	0
_ZN5mcrl27process15make_left_mergeERKNS0_18process_expressionES3_	0
_ZN5mcrl27process9make_commERKN7atermpp9term_listINS0_24communication_expressionEEERKNS0_18process_expressionE	0
_ZN5mcrl27process9make_syncERKNS0_18process_expressionES3_	0
_ZN5mcrl27process10make_mergeERKNS0_18process_expressionES3_	1
_ZN5mcrl27process7is_pcrlERKNS0_18process_expressionE	2

Generated by: LCOV version 1.14