LCOV - code coverage report
Current view:
top level
-
lts/include/mcrl2/lts/detail
- liblts_bisim.h
(
source
/ functions)
Hit
Total
Coverage
Test:
mcrl2_coverage.info.cleaned
Lines:
399
500
79.8 %
Date:
2024-03-08 02:52:28
Functions:
18
24
75.0 %
Legend:
Lines:
hit
not hit
Function Name
Hit count
_ZN5mcrl23lts6detail17bisim_partitionerINS0_9lts_aut_tEE13until_formulaERKNS_14state_formulas13state_formulaERKmS8_
0
_ZN5mcrl23lts6detail17bisim_partitionerINS0_9lts_aut_tEE15counter_formulaEmm
0
_ZN5mcrl23lts6detail17bisim_partitionerINS0_9lts_aut_tEE19counter_formula_auxEmm
0
_ZNK5mcrl23lts6detail17bisim_partitionerINS0_9lts_aut_tEE11conjunctionESt3setINS_14state_formulas13state_formulaESt4lessIS7_ESaIS7_EE
0
_ZNK5mcrl23lts6detail17bisim_partitionerINS0_9lts_aut_tEE22create_regular_formulaERKNS0_19action_label_stringE
0
_ZZNK5mcrl23lts6detail17bisim_partitionerINS0_9lts_aut_tEE11conjunctionESt3setINS_14state_formulas13state_formulaESt4lessIS7_ESaIS7_EEENKUlS7_S7_E_clES7_S7_
0
_ZN5mcrl23lts6detail46destructive_bisimulation_compare_minimal_depthINS0_9lts_aut_tEEEbRT_S5_bbbRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEb
1
_ZN5mcrl23lts6detail32destructive_bisimulation_compareINS0_9lts_aut_tEEEbRT_S5_bbbRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEb
17
_ZNK5mcrl23lts6detail17bisim_partitionerINS0_9lts_aut_tEE13in_same_classEmm
17
_ZN5mcrl23lts6detail17bisim_partitionerINS0_9lts_aut_tEE25replace_transition_systemEbb
57
_ZN5mcrl23lts6detail19bisimulation_reduceINS0_9lts_aut_tEEEvRT_bb
57
_ZN5mcrl23lts6detail17bisim_partitionerINS0_9lts_aut_tEE24create_initial_partitionEbb
74
_ZN5mcrl23lts6detail17bisim_partitionerINS0_9lts_aut_tEE25order_on_tau_reachabilityERSt6vectorINS4_16non_bottom_stateESaIS6_EE
74
_ZN5mcrl23lts6detail17bisim_partitionerINS0_9lts_aut_tEE40refine_partition_until_it_becomes_stableEbb
74
_ZN5mcrl23lts6detail17bisim_partitionerINS0_9lts_aut_tEE5block4swapERS5_
74
_ZN5mcrl23lts6detail17bisim_partitionerINS0_9lts_aut_tEEC2ERS3_bbb
74
_ZN5mcrl23lts6detail17bisim_partitionerINS0_9lts_aut_tEED2Ev
74
_ZN5mcrl23lts6detail17bisim_partitionerINS0_9lts_aut_tEE16non_bottom_stateC2EmRKSt6vectorImSaImEE
171
_ZNK5mcrl23lts6detail17bisim_partitionerINS0_9lts_aut_tEE61check_internal_consistency_of_the_partitioning_data_structureEbb
260
_ZNK5mcrl23lts6detail17bisim_partitionerINS0_9lts_aut_tEE14num_eq_classesEv
286
_ZN5mcrl23lts6detail17bisim_partitionerINS0_9lts_aut_tEE37order_recursively_on_tau_reachabilityEmRSt3mapImSt6vectorImSaImEESt4lessImESaISt4pairIKmS8_EEERS6_INS4_16non_bottom_stateESaISH_EERSt3setImSA_S7_E
453
_ZN5mcrl23lts6detail17bisim_partitionerINS0_9lts_aut_tEE16non_bottom_stateC2Em
714
_ZN5mcrl23lts6detail17bisim_partitionerINS0_9lts_aut_tEE22split_the_blocks_in_BLERbmm
864
_ZNK5mcrl23lts6detail17bisim_partitionerINS0_9lts_aut_tEE12get_eq_classEm
2174
Generated by:
LCOV version 1.14