LCOV - code coverage report
Current view:
top level
-
lts/include/mcrl2/lts/detail
- liblts_swap_to_from_probabilistic_lts.h
(
source
/ functions)
Hit
Total
Coverage
Test:
mcrl2_coverage.info.cleaned
Lines:
17
19
89.5 %
Date:
2024-04-26 03:18:02
Functions:
2
3
66.7 %
Legend:
Lines:
hit
not hit
Function Name
Hit count
_ZN5mcrl23lts6detail30translate_to_probabilistic_ltsINS0_15state_label_dotENS0_19action_label_stringENS0_19probabilistic_stateImNS0_42probabilistic_arbitrary_precision_fractionEEENS1_12lts_dot_baseEEEvRKNS0_3ltsIT_T0_T2_EERNS0_17probabilistic_ltsISA_SB_T1_SC_EE
0
_ZN5mcrl23lts6detail29swap_to_non_probabilistic_ltsINS0_15state_label_fsmENS0_19action_label_stringENS0_19probabilistic_stateImNS0_42probabilistic_arbitrary_precision_fractionEEENS1_12lts_fsm_baseEEEvRNS0_17probabilistic_ltsIT_T0_T1_T2_EERNS0_3ltsISA_SB_SD_EE
54
_ZN5mcrl23lts6detail30translate_to_probabilistic_ltsINS0_15state_label_fsmENS0_19action_label_stringENS0_19probabilistic_stateImNS0_42probabilistic_arbitrary_precision_fractionEEENS1_12lts_fsm_baseEEEvRKNS0_3ltsIT_T0_T2_EERNS0_17probabilistic_ltsISA_SB_T1_SC_EE
54
Generated by:
LCOV version 1.14