LCOV - code coverage report
Current view:
top level
-
lts/source
- liblts_bisim_gjkw.cpp
(
source
/ functions)
Hit
Total
Coverage
Test:
mcrl2_coverage.info.cleaned
Lines:
1174
1300
90.3 %
Date:
2024-03-08 02:52:28
Functions:
18
35
51.4 %
Legend:
Lines:
hit
not hit
Function Name
Hit count
_ZN5mcrl23lts6detail10bisim_gjkw40bisim_partitioner_gjkw_initialise_helperINS0_9lts_fsm_tEE16init_transitionsERNS2_12part_state_tERNS2_12part_trans_tEbb
0
_ZN5mcrl23lts6detail10bisim_gjkw40bisim_partitioner_gjkw_initialise_helperINS0_9lts_fsm_tEE25replace_transition_systemERKNS2_12part_state_tEbb
0
_ZN5mcrl23lts6detail10bisim_gjkw40bisim_partitioner_gjkw_initialise_helperINS0_9lts_fsm_tEEC2ERS4_bb
0
_ZN5mcrl23lts6detail10bisim_gjkw40bisim_partitioner_gjkw_initialise_helperINS0_9lts_lts_tEE16init_transitionsERNS2_12part_state_tERNS2_12part_trans_tEbb
0
_ZN5mcrl23lts6detail10bisim_gjkw40bisim_partitioner_gjkw_initialise_helperINS0_9lts_lts_tEE25replace_transition_systemERKNS2_12part_state_tEbb
0
_ZN5mcrl23lts6detail10bisim_gjkw40bisim_partitioner_gjkw_initialise_helperINS0_9lts_lts_tEEC2ERS4_bb
0
_ZN5mcrl23lts6detail22bisim_partitioner_gjkwINS0_9lts_fsm_tEE22postprocess_new_bottomEPNS1_10bisim_gjkw7block_tE
0
_ZN5mcrl23lts6detail22bisim_partitioner_gjkwINS0_9lts_fsm_tEE29create_initial_partition_gjkwEbb
0
_ZN5mcrl23lts6detail22bisim_partitioner_gjkwINS0_9lts_fsm_tEE45refine_partition_until_it_becomes_stable_gjkwEv
0
_ZN5mcrl23lts6detail22bisim_partitioner_gjkwINS0_9lts_fsm_tEE6refineEPNS1_10bisim_gjkw7block_tEPKNS5_9constln_tEPKNS5_17B_to_C_descriptorEbSA_
0
_ZN5mcrl23lts6detail22bisim_partitioner_gjkwINS0_9lts_lts_tEE22postprocess_new_bottomEPNS1_10bisim_gjkw7block_tE
0
_ZN5mcrl23lts6detail22bisim_partitioner_gjkwINS0_9lts_lts_tEE29create_initial_partition_gjkwEbb
0
_ZN5mcrl23lts6detail22bisim_partitioner_gjkwINS0_9lts_lts_tEE45refine_partition_until_it_becomes_stable_gjkwEv
0
_ZN5mcrl23lts6detail22bisim_partitioner_gjkwINS0_9lts_lts_tEE6refineEPNS1_10bisim_gjkw7block_tEPKNS5_9constln_tEPKNS5_17B_to_C_descriptorEbSA_
0
_ZNK5mcrl23lts6detail10bisim_gjkw12part_state_t10print_partERKNS2_12part_trans_tE
0
_ZNK5mcrl23lts6detail10bisim_gjkw12part_state_t11print_blockEPKcPKNS2_7block_tEN9__gnu_cxx17__normal_iteratorIPKPNS2_16state_info_entryESt6vectorISC_SaISC_EEEESI_
0
_ZNK5mcrl23lts6detail10bisim_gjkw12part_state_t11print_transEv
0
_ZN5mcrl23lts6detail10bisim_gjkw12part_trans_t22new_blue_block_createdEPNS2_7block_tES5_
50
_ZN5mcrl23lts6detail10bisim_gjkw7block_t14split_off_blueEN9__gnu_cxx17__normal_iteratorIPPNS2_16state_info_entryESt6vectorIS7_SaIS7_EEEE
50
_ZN5mcrl23lts6detail22bisim_partitioner_gjkwINS0_9lts_aut_tEE22postprocess_new_bottomEPNS1_10bisim_gjkw7block_tE
54
_ZN5mcrl23lts6detail10bisim_gjkw40bisim_partitioner_gjkw_initialise_helperINS0_9lts_aut_tEE25replace_transition_systemERKNS2_12part_state_tEbb
57
_ZN5mcrl23lts6detail10bisim_gjkw40bisim_partitioner_gjkw_initialise_helperINS0_9lts_aut_tEE16init_transitionsERNS2_12part_state_tERNS2_12part_trans_tEbb
59
_ZN5mcrl23lts6detail10bisim_gjkw40bisim_partitioner_gjkw_initialise_helperINS0_9lts_aut_tEEC2ERS4_bb
59
_ZN5mcrl23lts6detail22bisim_partitioner_gjkwINS0_9lts_aut_tEE29create_initial_partition_gjkwEbb
59
_ZN5mcrl23lts6detail22bisim_partitioner_gjkwINS0_9lts_aut_tEE45refine_partition_until_it_becomes_stable_gjkwEv
59
_ZNK5mcrl23lts6detail16constln_ptr_lessclEPKNS1_10bisim_gjkw9constln_tES6_
72
_ZN5mcrl23lts6detail10bisim_gjkwL15blue_is_smallerEPNS2_7block_tES4_PKNS2_9constln_tE
277
_ZN5mcrl23lts6detail10bisim_gjkw12part_trans_t21new_red_block_createdEPNS2_7block_tES5_b
315
_ZN5mcrl23lts6detail10bisim_gjkw7block_t13split_off_redEN9__gnu_cxx17__normal_iteratorIPPNS2_16state_info_entryESt6vectorIS7_SaIS7_EEEE
315
_ZN5mcrl23lts6detail10bisim_gjkwL14red_is_smallerEPNS2_7block_tES4_
315
_ZN5mcrl23lts6detail10bisim_gjkw12part_trans_t16split_inert_to_CEPNS2_7block_tE
507
_ZNK5mcrl23lts6detail10bisim_gjkw12part_trans_t16assert_stabilityERKNS2_12part_state_tE
566
_ZN5mcrl23lts6detail22bisim_partitioner_gjkwINS0_9lts_aut_tEE6refineEPNS1_10bisim_gjkw7block_tEPKNS5_9constln_tEPKNS5_17B_to_C_descriptorEbSA_
684
_ZN5mcrl23lts6detail10bisim_gjkw12part_trans_t17split_s_inert_outEPNS2_16state_info_entryEPNS2_9constln_tE
968
_ZN5mcrl23lts6detail10bisim_gjkw12part_trans_t11change_to_CEN9__gnu_cxx17__normal_iteratorIPNS2_10pred_entryESt6vectorIS6_SaIS6_EEEEPNS2_9constln_tESD_bb
1083
Generated by:
LCOV version 1.14