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 Sort by function name Hit count Sort by 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