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