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
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