LCOV - code coverage report
Current view:
top level
-
lts/source
- liblts_aut.cpp
(
source
/ functions)
Hit
Total
Coverage
Test:
mcrl2_coverage.info.cleaned
Lines:
216
282
76.6 %
Date:
2024-03-08 02:52:28
Functions:
19
22
86.4 %
Legend:
Lines:
hit
not hit
Function Name
Hit count
_ZL12write_to_autRKN5mcrl23lts23probabilistic_lts_aut_tERSo
0
_ZL25write_probabilistic_stateRKN5mcrl23lts19probabilistic_stateImNS0_42probabilistic_arbitrary_precision_fractionEEERSo
0
_ZNK5mcrl23lts23probabilistic_lts_aut_t4saveERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE
0
_ZN5mcrl23lts23probabilistic_lts_aut_t4loadERSi
8
_ZN5mcrl23lts23probabilistic_lts_aut_t4loadERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE
10
_ZL13read_from_autRN5mcrl23lts23probabilistic_lts_aut_tERSi
18
_ZL12write_to_autRKN5mcrl23lts9lts_aut_tERSo
66
_ZN5mcrl23lts9lts_aut_t4loadERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE
66
_ZNK5mcrl23lts9lts_aut_t4saveERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE
66
_Z16find_label_indexIN5mcrl23lts23probabilistic_lts_aut_tEEmRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERNS0_9utilities13unordered_mapINS1_19action_label_stringEmSt4hashISD_ESt8equal_toISD_ESaISD_ELb0ELb1EEERT_
379
_ZL19read_aut_transitionRSiRmRNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERN5mcrl23lts19probabilistic_stateImNS9_42probabilistic_arbitrary_precision_fractionEEEm
397
_ZN5mcrl23lts9lts_aut_t4loadERSi
458
_ZL13read_from_autRN5mcrl23lts9lts_aut_tERSi
524
_ZL15read_aut_headerRSiRN5mcrl23lts19probabilistic_stateImNS1_42probabilistic_arbitrary_precision_fractionEEERmS6_
542
_ZL12check_statesRN5mcrl23lts19probabilistic_stateImNS0_42probabilistic_arbitrary_precision_fractionEEEmm
921
_ZL24read_probabilistic_stateRSiRN5mcrl23lts19probabilistic_stateImNS1_42probabilistic_arbitrary_precision_fractionEEEm
921
_ZL29read_natural_number_to_stringRSiRNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEm
1694
_Z16find_label_indexIN5mcrl23lts9lts_aut_tEEmRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERNS0_9utilities13unordered_mapINS1_19action_label_stringEmSt4hashISD_ESt8equal_toISD_ESaISD_ELb0ELb1EEERT_
3335
_ZL19read_aut_transitionRSiRmRNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES0_m
3859
_ZL12read_newlineRSim
4256
_ZL38read_initial_part_of_an_aut_transitionRSiRmRNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEm
4256
_ZL11check_statemmm
8241
Generated by:
LCOV version 1.14