LCOV - code coverage report

Current view: top level - process/include/mcrl2/process - allow_set.h (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 86 120 71.7 % Date: 2024-05-04 03:44:52 Functions: 14 17 82.4 % Legend: Lines: hit not hit

Function Name	Hit count
_ZN5mcrl27process19alphabet_operations12hide_inverseERKN7atermpp9term_listINS2_12aterm_stringEEERKNS0_9allow_setE	0
_ZN5mcrl27process19alphabet_operations18bounded_left_mergeERKSt3setINS0_17multi_action_nameESt4lessIS3_ESaIS3_EES9_RKNS0_9allow_setE	0
_ZNK5mcrl27process9allow_setltERKS1_	0
_ZN5mcrl27process19alphabet_operations10left_arrowERKNS0_9allow_setERKSt3setINS0_17multi_action_nameESt4lessIS6_ESaIS6_EE	1
_ZN5mcrl27process19alphabet_operations13bounded_mergeERKSt3setINS0_17multi_action_nameESt4lessIS3_ESaIS3_EES9_RKNS0_9allow_setE	1
_ZN5mcrl27process19alphabet_operations14bounded_concatERKSt3setINS0_17multi_action_nameESt4lessIS3_ESaIS3_EES9_RKNS0_9allow_setE	1
_ZN5mcrl27process19alphabet_operations7subsetsERKNS0_9allow_setE	1
_ZN5mcrl27process19alphabet_operations12comm_inverseERKN7atermpp9term_listINS0_24communication_expressionEEERKNS0_9allow_setE	2
_ZN5mcrl27process19alphabet_operations5allowERKN7atermpp9term_listINS0_20action_name_multisetEEERKNS0_9allow_setE	2
_ZN5mcrl27process19alphabet_operations5blockERKN7atermpp9term_listINS2_12aterm_stringEEERKNS0_9allow_setE	2
_ZN5mcrl27process9allow_set19establish_invariantEv	2
_ZNK5mcrl27process9allow_set15check_invariantEv	2
_ZNK5mcrl27process9allow_set9intersectERKSt3setINS0_17multi_action_nameESt4lessIS3_ESaIS3_EE	2
_ZNK5mcrl27process9allow_set8containsERKNS0_17multi_action_nameE	5
_ZN5mcrl27process19alphabet_operations14rename_inverseERKN7atermpp9term_listINS0_17rename_expressionEEERKNS0_9allow_setE	6
_ZN5mcrl27processlsERSoRKNS0_9allow_setE	7
_ZN5mcrl27process9allow_setC2ERKSt3setINS0_17multi_action_nameESt4lessIS3_ESaIS3_EEbRKS2_IN7atermpp12aterm_stringES4_ISB_ESaISB_EE	27

Generated by: LCOV version 1.14