LCOV - code coverage report
Current view: top level - lts/include/mcrl2/lts/detail - liblts_pbisim_bem.h (source / functions) Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 294 298 98.7 %
Date: 2024-04-19 03:43:27 Functions: 14 14 100.0 %
Legend: Lines: hit not hit

Function Name Sort by function name Hit count Sort by hit count
_ZN5mcrl23lts6detail26prob_bisim_partitioner_bemINS0_23probabilistic_lts_aut_tEE19replace_transitionsEv 7
_ZN5mcrl23lts6detail26prob_bisim_partitioner_bemINS0_23probabilistic_lts_aut_tEE20postprocessing_stageEv 7
_ZN5mcrl23lts6detail26prob_bisim_partitioner_bemINS0_23probabilistic_lts_aut_tEE24create_initial_partitionEv 7
_ZN5mcrl23lts6detail26prob_bisim_partitioner_bemINS0_23probabilistic_lts_aut_tEE28replace_probabilistic_statesEv 7
_ZN5mcrl23lts6detail26prob_bisim_partitioner_bemINS0_23probabilistic_lts_aut_tEE40refine_partition_until_it_becomes_stableEv 7
_ZN5mcrl23lts6detail26prob_bisim_partitioner_bemINS0_23probabilistic_lts_aut_tEEC2ERS3_RNS_9utilities15execution_timerE 7
_ZN5mcrl23lts6detail37probabilistic_bisimulation_reduce_bemINS0_23probabilistic_lts_aut_tEEEvRT_RNS_9utilities15execution_timerE 7
_ZNK5mcrl23lts6detail26prob_bisim_partitioner_bemINS0_23probabilistic_lts_aut_tEE14num_eq_classesEv 7
_ZN5mcrl23lts6detail26prob_bisim_partitioner_bemINS0_23probabilistic_lts_aut_tEE9tree_type9init_nodeEv 63
_ZN5mcrl23lts6detail26prob_bisim_partitioner_bemINS0_23probabilistic_lts_aut_tEE40calculate_equivalent_probabilistic_stateERNS4_15step_class_typeE 70
_ZN5mcrl23lts6detail26prob_bisim_partitioner_bemINS0_23probabilistic_lts_aut_tEE33calculate_new_probabilistic_stateENS0_19probabilistic_stateImNS0_42probabilistic_arbitrary_precision_fractionEEE 77
_ZNK5mcrl23lts6detail26prob_bisim_partitioner_bemINS0_23probabilistic_lts_aut_tEE17get_eq_step_classEm 292
_ZNK5mcrl23lts6detail26prob_bisim_partitioner_bemINS0_23probabilistic_lts_aut_tEE12get_eq_classEm 485
_ZN5mcrl23lts6detail26prob_bisim_partitioner_bemINS0_23probabilistic_lts_aut_tEE20probability_to_blockERNS4_17distribution_typeERNS4_10block_typeE 1189

Generated by: LCOV version 1.14