LCOV - code coverage report

Current view: top level - utilities/include/mcrl2/utilities - sequence.h (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 16 16 100.0 % Date: 2024-05-04 03:44:52 Functions: 8 8 100.0 % Legend: Lines: hit not hit

Function Name	Hit count
_ZN5mcrl29utilities16foreach_sequenceISt6vectorIS2_IiSaIiEESaIS4_EEN9__gnu_cxx17__normal_iteratorIPiS4_EE1fEEvRKT_T0_T1_	1
_ZN5mcrl29utilities16foreach_sequenceISt6vectorIS2_IiSaIiEESaIS4_EEN9__gnu_cxx17__normal_iteratorIPiS4_EE1fNS0_6detail23foreach_sequence_assignEEEvRKT_T0_T1_T2_	1
_ZNK5mcrl29utilities6detail23foreach_sequence_assignclIiiEEvRT_RKT0_	8
_ZN5mcrl29utilities6detail21foreach_sequence_implIN9__gnu_cxx17__normal_iteratorIPKSt6vectorIiSaIiEES5_IS7_SaIS7_EEEENS4_IPiS7_EE1fNS1_23foreach_sequence_assignEEEvT_SH_T0_T1_T2_	9
_ZN5mcrl29utilities16foreach_sequenceISt6vectorIS2_IN7atermpp12aterm_stringESaIS4_EESaIS6_EEN9__gnu_cxx17__normal_iteratorIPS4_S6_EENS_7process19alphabet_operations20rename_inverse_applyEEEvRKT_T0_T1_	18
_ZN5mcrl29utilities16foreach_sequenceISt6vectorIS2_IN7atermpp12aterm_stringESaIS4_EESaIS6_EEN9__gnu_cxx17__normal_iteratorIPS4_S6_EENS_7process19alphabet_operations20rename_inverse_applyENS0_6detail23foreach_sequence_assignEEEvRKT_T0_T1_T2_	18
_ZNK5mcrl29utilities6detail23foreach_sequence_assignclIN7atermpp12aterm_stringES5_EEvRT_RKT0_	40
_ZN5mcrl29utilities6detail21foreach_sequence_implIN9__gnu_cxx17__normal_iteratorIPKSt6vectorIN7atermpp12aterm_stringESaIS7_EES5_IS9_SaIS9_EEEENS4_IPS7_S9_EENS_7process19alphabet_operations20rename_inverse_applyENS1_23foreach_sequence_assignEEEvT_SL_T0_T1_T2_	58

Generated by: LCOV version 1.14