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
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