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: 20 28 71.4 %
Date: 2020-04-01 00:44:46 Functions: 10 13 76.9 %
Legend: Lines: hit not hit

Function Name Sort by function name Hit count Sort by hit count
_ZN5mcrl27process18process_identifierC2ERKN7atermpp5atermE 0
_ZN5mcrl27process21is_process_identifierERKN7atermpp9term_applINS1_5atermEEE 0
_ZN5mcrl27processlsERSoRKNS0_18process_identifierE 0
_ZN5mcrl27process18process_identifierC2ERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKN7atermpp9term_listINS_4data8variableEEE 692
_ZN5mcrl27process18process_identifieraSEOS1_ 4921
_ZN5mcrl27process18process_identifierC2EOS1_ 7797
_ZN5mcrl27process18process_identifierC2ERKN7atermpp12aterm_stringERKNS2_9term_listINS_4data8variableEEE 8558
_ZNK5mcrl27process18process_identifier4nameEv 31450
_ZNK5mcrl27process18process_identifier9variablesEv 33183
_ZN5mcrl27process18process_identifierC2ERKS1_ 93432
_ZN5mcrl27process18process_identifieraSERKS1_ 93946
_ZN5mcrl27process18process_identifierC2Ev 121658
_ZN5mcrl27process18process_identifierD2Ev 232137

Generated by: LCOV version 1.13