LCOV - code coverage report
Current view: top level - process/include/mcrl2/process - process_identifier.h (source / functions) Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 26 30 86.7 %
Date: 2024-03-08 02:52:28 Functions: 11 13 84.6 %
Legend: Lines: hit not hit

Function Name Sort by function name Hit count Sort by hit count
_ZN5mcrl27process21is_process_identifierERKN7atermpp9term_applINS1_5atermEEE 0
_ZN5mcrl27processlsERSoRKNS0_18process_identifierE 0
_ZN5mcrl27process18process_identifierC2ERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKN7atermpp9term_listINS_4data8variableEEE 874
_ZN5mcrl27process23make_process_identifierIJN7atermpp12aterm_stringEZNS0_20add_sort_expressionsINS_4data23sort_expression_builderENS_4core20update_apply_builderINS0_23sort_expression_builderENS5_6detail24normalize_sorts_functionEEEE5applyINS0_18process_identifierEEEvRT_RKSF_EUlRNS2_9term_listINS5_8variableEEEE_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_ 1140
_ZN5mcrl27process18process_identifieraSEOS1_ 4877
_ZN5mcrl27process18process_identifierC2ERKN7atermpp12aterm_stringERKNS2_9term_listINS_4data8variableEEE 5310
_ZN5mcrl27process18process_identifierC2EOS1_ 10889
_ZN5mcrl27process18process_identifieraSERKS1_ 21634
_ZNK5mcrl27process18process_identifier4nameEv 22309
_ZNK5mcrl27process18process_identifier9variablesEv 24242
_ZN5mcrl27process18process_identifierC2Ev 47862
_ZN5mcrl27process18process_identifierC2ERKS1_ 52140
_ZN5mcrl27process18process_identifierC2ERKN7atermpp5atermE 98368

Generated by: LCOV version 1.14