LCOV - code coverage report

Current view: top level - lts/source - liblts_fsm.cpp (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 89 100 89.0 % Date: 2024-04-19 03:43:27 Functions: 11 11 100.0 % Legend: Lines: hit not hit

Function Name	Hit count
_ZN5mcrl23lts9lts_fsm_t4loadERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE	54
_ZNK5mcrl23lts9lts_fsm_t4saveERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE	54
_ZN5mcrl23lts23probabilistic_lts_fsm_t4loadERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE	58
_ZN5mcrl23lts10fsm_writer12write_statesEv	61
_ZN5mcrl23lts10fsm_writer16write_parametersEv	61
_ZN5mcrl23lts10fsm_writer17write_transitionsEv	61
_ZN5mcrl23lts10fsm_writer5writeEv	61
_ZN5mcrl23lts10fsm_writerC2ERSoRKNS0_23probabilistic_lts_fsm_tE	61
_ZNK5mcrl23lts23probabilistic_lts_fsm_t4saveERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE	61
_ZN5mcrl23lts10fsm_writer25write_probabilistic_stateERKNS0_19probabilistic_stateImNS0_42probabilistic_arbitrary_precision_fractionEEE	841
_ZN5mcrl23lts10fsm_writer18swap_initial_stateEm	2148

Generated by: LCOV version 1.14