LCOV - code coverage report

Current view: top level - process/include/mcrl2/process - is_guarded.h (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 21 28 75.0 % Date: 2024-05-01 03:37:31 Functions: 5 6 83.3 % Legend: Lines: hit not hit

Function Name	Hit count
_ZN5mcrl27process6detail20is_guarded_traverser5enterERKNS0_27process_instance_assignmentE	0
_ZN5mcrl27process6detail20is_guarded_traverser5applyERKNS0_3seqE	6
_ZN5mcrl27process10is_guardedERKNS0_18process_expressionERKSt6vectorINS0_16process_equationESaIS5_EE	8
_ZN5mcrl27process6detail20is_guarded_traverser5enterERKNS0_16process_instanceE	9
_ZN5mcrl27process6detail10is_guardedERKNS0_18process_expressionERKSt6vectorINS0_16process_equationESaIS6_EERSt3setINS0_18process_identifierESt4lessISC_ESaISC_EE	16
_ZN5mcrl27process6detail20is_guarded_traverserC2ERKSt6vectorINS0_16process_equationESaIS4_EERSt3setINS0_18process_identifierESt4lessISA_ESaISA_EE	16

Generated by: LCOV version 1.14