LCOV - code coverage report
Current view:
top level
-
lts/include/mcrl2/lts
- lts_fsm.h
(
source
/ functions)
Hit
Total
Coverage
Test:
mcrl2_coverage.info.cleaned
Lines:
33
38
86.8 %
Date:
2024-04-17 03:40:49
Functions:
11
13
84.6 %
Legend:
Lines:
hit
not hit
Function Name
Hit count
_ZN5mcrl23lts15state_label_fsmaSERKS1_
0
_ZNK5mcrl23lts15state_label_fsmplERKS1_
0
_ZN5mcrl23lts6detail12lts_fsm_base4swapERS2_
54
_ZN5mcrl23lts6detail12lts_fsm_base24clear_process_parametersEv
58
_ZNK5mcrl23lts6detail12lts_fsm_base4typeEv
58
_ZNK5mcrl23lts6detail12lts_fsm_base20state_element_valuesB5cxx11Em
92
_ZNK5mcrl23lts6detail12lts_fsm_base18process_parametersB5cxx11Ev
153
_ZN5mcrl23lts6detail12lts_fsm_base21add_process_parameterERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESA_
180
_ZNK5mcrl23lts6detail12lts_fsm_base17process_parameterB5cxx11Em
184
_ZN5mcrl23lts15state_label_fsmC2ERKSt6vectorImSaImEE
414
_ZN5mcrl23lts6detail12lts_fsm_base23add_state_element_valueEmRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE
456
_ZN5mcrl23lts15state_label_fsmC2Ev
1278
_ZN5mcrl23lts15state_label_fsmC2ERKS1_
2802
Generated by:
LCOV version 1.14