LCOV - code coverage report

Current view: top level - lts/include/mcrl2/lts - lts_utilities.h (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 73 81 90.1 % Date: 2024-04-26 03:18:02 Functions: 13 14 92.9 % Legend: Lines: hit not hit

Function Name	Hit count
_ZN5mcrl23lts42transitions_per_outgoing_state_action_pairERKSt6vectorINS0_10transitionESaIS2_EERKSt3setImSt4lessImESaImEE	0
_ZN5mcrl23lts16sort_transitionsERSt6vectorINS0_10transitionESaIS2_EENS0_21transition_sort_styleE	1
_ZN5mcrl23lts6detail21make_divergence_labelINS0_19action_label_stringEEET_RKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE	16
_ZN5mcrl23lts6detail36mark_explicit_divergence_transitionsINS0_9lts_aut_tEEEmRT_	16
_ZN5mcrl23lts6detail38unmark_explicit_divergence_transitionsINS0_9lts_aut_tEEEvRT_m	16
_ZN5mcrl23lts51transitions_per_outgoing_state_action_pair_reversedERKSt6vectorINS0_10transitionESaIS2_EERKSt3setImSt4lessImESaImEE	54
_ZN5mcrl23lts6detail37indexed_sorted_vector_for_transitionsISt4pairImmEEC2ERKSt6vectorINS0_10transitionESaIS7_EEmb	200
_ZN5mcrl23lts16sort_transitionsERSt6vectorINS0_10transitionESaIS2_EERKSt3setImSt4lessImESaImEENS0_21transition_sort_styleE	293
_ZNK5mcrl23lts6detail37indexed_sorted_vector_for_transitionsISt4pairImmEE10lowerboundEm	4816
_ZN5mcrl23lts2toERKSt23_Rb_tree_const_iteratorISt4pairIKS2_ImmEmEE	5556
_ZN5mcrl23lts5labelERKSt4pairImmE	7777
_ZNK5mcrl23lts6detail37indexed_sorted_vector_for_transitionsISt4pairImmEE15get_transitionsEv	7911
_ZN5mcrl23lts2toERKSt4pairImmE	9122
_ZNK5mcrl23lts6detail37indexed_sorted_vector_for_transitionsISt4pairImmEE10upperboundEm	12626

Generated by: LCOV version 1.14