LCOV - code coverage report

Current view: top level - lts/include/mcrl2/lts/detail - check_complexity.h (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 207 260 79.6 % Date: 2024-04-21 03:44:01 Functions: 48 48 100.0 % Legend: Lines: hit not hit

Function Name	Hit count
_ZN5mcrl23lts6detail10bisim_gjkw16check_complexity19trans_dnj_counter_t20add_work_notemporaryENS3_12counter_typeEj	1
_ZN5mcrl23lts6detail10bisim_gjkw16check_complexity25block_bunch_dnj_counter_t20reset_temporary_workEv	4
_ZN5mcrl23lts6detail10bisim_gjkw16check_complexity16B_to_C_counter_t22reset_work_counter_4_4Ev	6
_ZN5mcrl23lts6detail10bisim_gjkw16check_complexity15trans_counter_t20add_work_notemporaryENS3_12counter_typeEj	32
_ZNK5mcrl23lts6detail10bisim_gjkw16check_complexity16B_to_C_counter_t20get_work_counter_4_4Ev	67
_ZN5mcrl23lts6detail10bisim_gjkw16check_complexity4initEm	394
_ZN5mcrl23lts6detail10bisim_gjkw16check_complexity9counter_tILNS3_12counter_typeE0ELS5_4ELS5_5ELS5_5EEC2Ev	566
_ZN5mcrl23lts6detail10bisim_gjkw16check_complexity9counter_tILNS3_12counter_typeE13ELS5_15ELS5_15ELS5_16EE8add_workES5_j	648
_ZN5mcrl23lts6detail10bisim_gjkw16check_complexity9counter_tILNS3_12counter_typeE5ELS5_12ELS5_8ELS5_11EE13finalise_workES5_S5_j	775
_ZN5mcrl23lts6detail10bisim_gjkw16check_complexity9counter_tILNS3_12counter_typeE5ELS5_12ELS5_8ELS5_11EE9move_workES5_S5_j	775
_ZN5mcrl23lts6detail10bisim_gjkw16check_complexity9counter_tILNS3_12counter_typeE5ELS5_12ELS5_8ELS5_11EEC2Ev	996
_ZN5mcrl23lts6detail10bisim_gjkw16check_complexity9counter_tILNS3_12counter_typeE41ELS5_44ELS5_42ELS5_44EE8add_workES5_j	1022
_ZN5mcrl23lts6detail10bisim_gjkw16check_complexity9counter_tILNS3_12counter_typeE5ELS5_12ELS5_8ELS5_11EE8add_workES5_j	1116
_ZN5mcrl23lts6detail10bisim_gjkw16check_complexity9counter_tILNS3_12counter_typeE16ELS5_37ELS5_25ELS5_31EEC2Ev	1130
_ZN5mcrl23lts6detail10bisim_gjkw16check_complexity25block_bunch_dnj_counter_t18has_temporary_workEv	1277
_ZN5mcrl23lts6detail10bisim_gjkw16check_complexity9counter_tILNS3_12counter_typeE13ELS5_15ELS5_15ELS5_16EEC2Ev	1363
_ZN5mcrl23lts6detail10bisim_gjkw16check_complexity9counter_tILNS3_12counter_typeE45ELS5_45ELS5_46ELS5_46EE8add_workES5_j	1429
_ZN5mcrl23lts6detail10bisim_gjkw16check_complexity9counter_tILNS3_12counter_typeE38ELS5_40ELS5_40ELS5_40EEC2Ev	1504
_ZN5mcrl23lts6detail10bisim_gjkw16check_complexity9counter_tILNS3_12counter_typeE45ELS5_45ELS5_46ELS5_46EEC2Ev	1881
_ZN5mcrl23lts6detail10bisim_gjkw16check_complexity9counter_tILNS3_12counter_typeE46ELS5_48ELS5_48ELS5_49EE8add_workES5_j	1984
_ZN5mcrl23lts6detail10bisim_gjkw16check_complexity9counter_tILNS3_12counter_typeE41ELS5_44ELS5_42ELS5_44EE13finalise_workES5_S5_j	2002
_ZN5mcrl23lts6detail10bisim_gjkw16check_complexity9counter_tILNS3_12counter_typeE41ELS5_44ELS5_42ELS5_44EE9move_workES5_S5_j	2002
_ZN5mcrl23lts6detail10bisim_gjkw16check_complexity9counter_tILNS3_12counter_typeE0ELS5_4ELS5_5ELS5_5EE8add_workES5_j	2109
_ZN5mcrl23lts6detail10bisim_gjkw16check_complexity20check_temporary_workEv	2152
_ZN5mcrl23lts6detail10bisim_gjkw16check_complexity9counter_tILNS3_12counter_typeE41ELS5_44ELS5_42ELS5_44EEC2Ev	2337
_ZN5mcrl23lts6detail10bisim_gjkw16check_complexity9counter_tILNS3_12counter_typeE49ELS5_60ELS5_52ELS5_56EE8add_workES5_j	2477
_ZN5mcrl23lts6detail10bisim_gjkw16check_complexity9counter_tILNS3_12counter_typeE38ELS5_40ELS5_40ELS5_40EE8add_workES5_j	2671
_ZN5mcrl23lts6detail10bisim_gjkw16check_complexity9counter_tILNS3_12counter_typeE46ELS5_48ELS5_48ELS5_49EEC2Ev	2850
_ZN5mcrl23lts6detail10bisim_gjkw16check_complexity9counter_tILNS3_12counter_typeE16ELS5_37ELS5_25ELS5_31EE8add_workES5_j	3236
_ZN5mcrl23lts6detail10bisim_gjkw16check_complexity9counter_tILNS3_12counter_typeE49ELS5_60ELS5_52ELS5_56EEC2Ev	3739
_ZN5mcrl23lts6detail10bisim_gjkw16check_complexity9counter_tILNS3_12counter_typeE5ELS5_12ELS5_8ELS5_11EE11cancel_workES5_	7049
_ZN5mcrl23lts6detail10bisim_gjkw16check_complexity9counter_tILNS3_12counter_typeE41ELS5_44ELS5_42ELS5_44EE11cancel_workES5_	8933
_ZN5mcrl23lts6detail10bisim_gjkw16check_complexity9counter_tILNS3_12counter_typeE16ELS5_37ELS5_25ELS5_31EE13finalise_workES5_S5_j	9288
_ZN5mcrl23lts6detail10bisim_gjkw16check_complexity9counter_tILNS3_12counter_typeE16ELS5_37ELS5_25ELS5_31EE9move_workES5_S5_j	9288
_ZN5mcrl23lts6detail10bisim_gjkw16check_complexity9counter_tILNS3_12counter_typeE49ELS5_60ELS5_52ELS5_56EE13finalise_workES5_S5_j	9669
_ZN5mcrl23lts6detail10bisim_gjkw16check_complexity9counter_tILNS3_12counter_typeE49ELS5_60ELS5_52ELS5_56EE9move_workES5_S5_j	9669
_ZN5mcrl23lts6detail10bisim_gjkw16check_complexity15block_counter_t17no_temporary_workEjj	10400
_ZN5mcrl23lts6detail10bisim_gjkw16check_complexity19block_dnj_counter_t17no_temporary_workEj	11566
_ZN5mcrl23lts6detail10bisim_gjkw16check_complexity19bunch_dnj_counter_t17no_temporary_workEj	13435
_ZN5mcrl23lts6detail10bisim_gjkw16check_complexity9counter_tILNS3_12counter_typeE16ELS5_37ELS5_25ELS5_31EE11cancel_workES5_	13689
_ZN5mcrl23lts6detail10bisim_gjkw16check_complexity16B_to_C_counter_t17no_temporary_workEj	14378
_ZN5mcrl23lts6detail10bisim_gjkw16check_complexity25block_bunch_dnj_counter_t17no_temporary_workEj	19443
_ZN5mcrl23lts6detail10bisim_gjkw16check_complexity9counter_tILNS3_12counter_typeE49ELS5_60ELS5_52ELS5_56EE11cancel_workES5_	23942
_ZN5mcrl23lts6detail10bisim_gjkw16check_complexity19state_dnj_counter_t17no_temporary_workEjb	25782
_ZN5mcrl23lts6detail10bisim_gjkw16check_complexity15state_counter_t17no_temporary_workEjb	26259
_ZN5mcrl23lts6detail10bisim_gjkw16check_complexity15trans_counter_t17no_temporary_workEjjjb	33262
_ZN5mcrl23lts6detail10bisim_gjkw16check_complexity19trans_dnj_counter_t17no_temporary_workEjjb	44076
_ZN5mcrl23lts6detail10bisim_gjkw16check_complexity5ilog2Em	226075

Generated by: LCOV version 1.14