LCOV - code coverage report

Current view: top level - process/include/mcrl2/process - remove_equations.h (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 84 86 97.7 % Date: 2024-05-01 03:37:31 Functions: 8 8 100.0 % Legend: Lines: hit not hit

Function Name	Hit count
_ZN5mcrl27process26remove_duplicate_equationsERNS0_21process_specificationE	2
_ZN5mcrl27process6detail26duplicate_equation_removal11print_groupB5cxx11ERKSt3setIN9__gnu_cxx17__normal_iteratorIPKNS0_16process_equationESt6vectorIS6_SaIS6_EEEESt4lessISC_ESaISC_EE	2
_ZN5mcrl27process6detail26duplicate_equation_removal11split_groupERKSt3setIN9__gnu_cxx17__normal_iteratorIPKNS0_16process_equationESt6vectorIS6_SaIS6_EEEESt4lessISC_ESaISC_EERKNS_4data24mutable_map_substitutionISt3mapINS0_18process_identifierESM_SD_ISM_ESaISt4pairIKSM_SM_EEEEERS9_ISG_SaISG_EE	2
_ZN5mcrl27process6detail26duplicate_equation_removal12print_groupsB5cxx11Ev	2
_ZN5mcrl27process6detail26duplicate_equation_removal12split_groupsEv	2
_ZN5mcrl27process6detail26duplicate_equation_removal17make_substitutionEv	2
_ZN5mcrl27process6detail26duplicate_equation_removal3runEv	2
_ZN5mcrl27process6detail26duplicate_equation_removalC2ERNS0_21process_specificationE	2

Generated by: LCOV version 1.14