LCOV - code coverage report
Current view: top level - lts/include/mcrl2/lts - lts_algorithm.h (source / functions) Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 307 381 80.6 %
Date: 2024-03-08 02:52:28 Functions: 9 9 100.0 %
Legend: Lines: hit not hit

Function Name Sort by function name Hit count Sort by hit count
_ZN5mcrl23lts18reachability_checkINS0_17state_label_emptyENS0_19action_label_stringENS0_6detail12lts_aut_baseEEEbRNS0_3ltsIT_T0_T1_EEb 39
_ZN5mcrl23lts19destructive_compareINS0_9lts_aut_tEEEbRT_S4_NS0_15lts_equivalenceEbRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEb 53
_ZN5mcrl23lts7compareINS0_9lts_aut_tEEEbRKT_S5_NS0_15lts_equivalenceEbRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEb 53
_ZN5mcrl23lts11determiniseINS0_9lts_aut_tEEEvRT_ 75
_ZN5mcrl23lts16is_deterministicINS0_9lts_aut_tEEEbRKT_ 87
_ZN5mcrl23lts7compareINS0_9lts_aut_tEEEbRKT_S5_NS0_12lts_preorderEbRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEbNS_3lps20exploration_strategyEb 89
_ZN5mcrl23lts19destructive_compareINS0_9lts_aut_tEEEbRT_S4_NS0_12lts_preorderEbRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEbNS_3lps20exploration_strategyEb 110
_ZN5mcrl23lts6reduceINS0_9lts_aut_tEEEvRT_NS0_15lts_equivalenceE 292
_ZN5mcrl23lts6detail9get_transINS0_9lts_aut_tEEEvRKNS1_37indexed_sorted_vector_for_transitionsISt4pairImmEEERNS0_14tree_set_storeEmRSt6vectorINS0_10transitionESaISD_EERT_ 558

Generated by: LCOV version 1.14