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-04-26 03:18:02
Functions:
11
13
84.6 %
Legend:
Lines:
hit
not hit
Function Name
Hit count
_ZN5mcrl27process18process_identifierC2EOS1_
10983
_ZN5mcrl27process18process_identifierC2ERKN7atermpp12aterm_stringERKNS2_9term_listINS_4data8variableEEE
5338
_ZN5mcrl27process18process_identifierC2ERKN7atermpp5atermE
99091
_ZN5mcrl27process18process_identifierC2ERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKN7atermpp9term_listINS_4data8variableEEE
875
_ZN5mcrl27process18process_identifierC2ERKS1_
52503
_ZN5mcrl27process18process_identifierC2Ev
48244
_ZN5mcrl27process18process_identifieraSEOS1_
4910
_ZN5mcrl27process18process_identifieraSERKS1_
21821
_ZN5mcrl27process21is_process_identifierERKN7atermpp9term_applINS1_5atermEEE
0
_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_
1145
_ZN5mcrl27processlsERSoRKNS0_18process_identifierE
0
_ZNK5mcrl27process18process_identifier4nameEv
22425
_ZNK5mcrl27process18process_identifier9variablesEv
24356
Generated by:
LCOV version 1.14