LCOV - code coverage report
Current view:
top level
-
lts/include/mcrl2/lts/detail
- liblts_tau_star_reduce.h
(
source
/ functions)
Hit
Total
Coverage
Test:
mcrl2_coverage.info.cleaned
Lines:
104
105
99.0 %
Date:
2024-04-21 03:44:01
Functions:
4
4
100.0 %
Legend:
Lines:
hit
not hit
Function Name
Hit count
_ZN5mcrl23lts6detail32reflexive_transitive_tau_closureINS0_17state_label_emptyENS0_19action_label_stringENS1_12lts_aut_baseEEEvRNS0_3ltsIT_T0_T1_EE
24
_ZN5mcrl23lts6detail15tau_star_reduceINS0_17state_label_emptyENS0_19action_label_stringENS1_12lts_aut_baseEEEvRNS0_3ltsIT_T0_T1_EE
31
_ZN5mcrl23lts6detail28remove_redundant_transitionsINS0_17state_label_emptyENS0_19action_label_stringENS1_12lts_aut_baseEEEvRNS0_3ltsIT_T0_T1_EE
35
_ZN5mcrl23lts6detail46calculate_non_reflexive_transitive_tau_closureINS0_17state_label_emptyENS0_19action_label_stringENS1_12lts_aut_baseEEESt3mapImSt3setINS0_3ltsIT_T0_T1_E16states_size_typeESt4lessISD_ESaISD_EESE_ImESaISt4pairIKmSH_EEERSC_b
79
Generated by:
LCOV version 1.14