LCOV - code coverage report

Current view: top level - lts/include/mcrl2/lts/detail - embedded_list.h (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 93 95 97.9 % Date: 2024-04-26 03:18:02 Functions: 89 89 100.0 % Legend: Lines: hit not hit

Function Name	Hit count
_ZN5mcrl23lts6detail13embedded_listINS1_26prob_bisim_partitioner_grvINS0_23probabilistic_lts_aut_tEE17action_block_typeEE4backEv	16
_ZN5mcrl23lts6detail13embedded_listINS1_26prob_bisim_partitioner_grvINS0_23probabilistic_lts_aut_tEE17action_block_typeEE5eraseERS6_	47
_ZN5mcrl23lts6detail13embedded_listINS1_26prob_bisim_partitioner_grvINS0_23probabilistic_lts_aut_tEE17action_block_typeEE5frontEv	47
_ZN5mcrl23lts6detail13embedded_listINS1_26prob_bisim_partitioner_grvINS0_23probabilistic_lts_aut_tEE17action_block_typeEE8iteratorC2EPS6_	502
_ZN5mcrl23lts6detail13embedded_listINS1_26prob_bisim_partitioner_grvINS0_23probabilistic_lts_aut_tEE17action_block_typeEE8iteratordeEv	366
_ZN5mcrl23lts6detail13embedded_listINS1_26prob_bisim_partitioner_grvINS0_23probabilistic_lts_aut_tEE17action_block_typeEE8iteratorppEv	366
_ZN5mcrl23lts6detail13embedded_listINS1_26prob_bisim_partitioner_grvINS0_23probabilistic_lts_aut_tEE17action_block_typeEE9push_backERS6_	107
_ZN5mcrl23lts6detail13embedded_listINS1_26prob_bisim_partitioner_grvINS0_23probabilistic_lts_aut_tEE17action_block_typeEEC2Ev	60
_ZN5mcrl23lts6detail13embedded_listINS1_26prob_bisim_partitioner_grvINS0_23probabilistic_lts_aut_tEE17action_state_typeEE5clearEv	109
_ZN5mcrl23lts6detail13embedded_listINS1_26prob_bisim_partitioner_grvINS0_23probabilistic_lts_aut_tEE17action_state_typeEE5eraseERS6_	618
_ZN5mcrl23lts6detail13embedded_listINS1_26prob_bisim_partitioner_grvINS0_23probabilistic_lts_aut_tEE17action_state_typeEE8iteratorC2EPS6_	417
_ZN5mcrl23lts6detail13embedded_listINS1_26prob_bisim_partitioner_grvINS0_23probabilistic_lts_aut_tEE17action_state_typeEE8iteratordeEv	704
_ZN5mcrl23lts6detail13embedded_listINS1_26prob_bisim_partitioner_grvINS0_23probabilistic_lts_aut_tEE17action_state_typeEE8iteratorppEi	269
_ZN5mcrl23lts6detail13embedded_listINS1_26prob_bisim_partitioner_grvINS0_23probabilistic_lts_aut_tEE17action_state_typeEE8iteratorppEv	435
_ZN5mcrl23lts6detail13embedded_listINS1_26prob_bisim_partitioner_grvINS0_23probabilistic_lts_aut_tEE17action_state_typeEE9push_backERS6_	966
_ZN5mcrl23lts6detail13embedded_listINS1_26prob_bisim_partitioner_grvINS0_23probabilistic_lts_aut_tEE17action_state_typeEEC2Ev	249
_ZN5mcrl23lts6detail13embedded_listINS1_26prob_bisim_partitioner_grvINS0_23probabilistic_lts_aut_tEE22action_transition_typeEE5eraseERS6_	270
_ZN5mcrl23lts6detail13embedded_listINS1_26prob_bisim_partitioner_grvINS0_23probabilistic_lts_aut_tEE22action_transition_typeEE6appendERS7_	56
_ZN5mcrl23lts6detail13embedded_listINS1_26prob_bisim_partitioner_grvINS0_23probabilistic_lts_aut_tEE22action_transition_typeEE8iteratorC2EPS6_	450
_ZN5mcrl23lts6detail13embedded_listINS1_26prob_bisim_partitioner_grvINS0_23probabilistic_lts_aut_tEE22action_transition_typeEE8iteratordeEv	1940
_ZN5mcrl23lts6detail13embedded_listINS1_26prob_bisim_partitioner_grvINS0_23probabilistic_lts_aut_tEE22action_transition_typeEE8iteratorppEi	540
_ZN5mcrl23lts6detail13embedded_listINS1_26prob_bisim_partitioner_grvINS0_23probabilistic_lts_aut_tEE22action_transition_typeEE8iteratorppEv	1400
_ZN5mcrl23lts6detail13embedded_listINS1_26prob_bisim_partitioner_grvINS0_23probabilistic_lts_aut_tEE22action_transition_typeEE8iteratorptEv	600
_ZN5mcrl23lts6detail13embedded_listINS1_26prob_bisim_partitioner_grvINS0_23probabilistic_lts_aut_tEE22action_transition_typeEE9push_backERS6_	620
_ZN5mcrl23lts6detail13embedded_listINS1_26prob_bisim_partitioner_grvINS0_23probabilistic_lts_aut_tEE22action_transition_typeEEC2Ev	85
_ZN5mcrl23lts6detail13embedded_listINS1_26prob_bisim_partitioner_grvINS0_23probabilistic_lts_aut_tEE24probabilistic_block_typeEE4backEv	20
_ZN5mcrl23lts6detail13embedded_listINS1_26prob_bisim_partitioner_grvINS0_23probabilistic_lts_aut_tEE24probabilistic_block_typeEE5eraseERS6_	30
_ZN5mcrl23lts6detail13embedded_listINS1_26prob_bisim_partitioner_grvINS0_23probabilistic_lts_aut_tEE24probabilistic_block_typeEE5frontEv	30
_ZN5mcrl23lts6detail13embedded_listINS1_26prob_bisim_partitioner_grvINS0_23probabilistic_lts_aut_tEE24probabilistic_block_typeEE8iteratorC2EPS6_	442
_ZN5mcrl23lts6detail13embedded_listINS1_26prob_bisim_partitioner_grvINS0_23probabilistic_lts_aut_tEE24probabilistic_block_typeEE8iteratordeEv	234
_ZN5mcrl23lts6detail13embedded_listINS1_26prob_bisim_partitioner_grvINS0_23probabilistic_lts_aut_tEE24probabilistic_block_typeEE8iteratorppEv	234
_ZN5mcrl23lts6detail13embedded_listINS1_26prob_bisim_partitioner_grvINS0_23probabilistic_lts_aut_tEE24probabilistic_block_typeEE9push_backERS6_	73
_ZN5mcrl23lts6detail13embedded_listINS1_26prob_bisim_partitioner_grvINS0_23probabilistic_lts_aut_tEE24probabilistic_block_typeEEC2Ev	43
_ZN5mcrl23lts6detail13embedded_listINS1_26prob_bisim_partitioner_grvINS0_23probabilistic_lts_aut_tEE24probabilistic_state_typeEE5clearEv	222
_ZN5mcrl23lts6detail13embedded_listINS1_26prob_bisim_partitioner_grvINS0_23probabilistic_lts_aut_tEE24probabilistic_state_typeEE5eraseERS6_	504
_ZN5mcrl23lts6detail13embedded_listINS1_26prob_bisim_partitioner_grvINS0_23probabilistic_lts_aut_tEE24probabilistic_state_typeEE5frontEv	31
_ZN5mcrl23lts6detail13embedded_listINS1_26prob_bisim_partitioner_grvINS0_23probabilistic_lts_aut_tEE24probabilistic_state_typeEE8iteratorC2EPS6_	568
_ZN5mcrl23lts6detail13embedded_listINS1_26prob_bisim_partitioner_grvINS0_23probabilistic_lts_aut_tEE24probabilistic_state_typeEE8iteratordeEv	573
_ZN5mcrl23lts6detail13embedded_listINS1_26prob_bisim_partitioner_grvINS0_23probabilistic_lts_aut_tEE24probabilistic_state_typeEE8iteratorppEi	252
_ZN5mcrl23lts6detail13embedded_listINS1_26prob_bisim_partitioner_grvINS0_23probabilistic_lts_aut_tEE24probabilistic_state_typeEE8iteratorppEv	321
_ZN5mcrl23lts6detail13embedded_listINS1_26prob_bisim_partitioner_grvINS0_23probabilistic_lts_aut_tEE24probabilistic_state_typeEE9push_backERS6_	629
_ZN5mcrl23lts6detail13embedded_listINS1_26prob_bisim_partitioner_grvINS0_23probabilistic_lts_aut_tEE24probabilistic_state_typeEEC2Ev	277
_ZN5mcrl23lts6detail13embedded_listINS1_26prob_bisim_partitioner_grvINS0_23probabilistic_lts_aut_tEE29probabilistic_transition_typeEE5eraseERS6_	158
_ZN5mcrl23lts6detail13embedded_listINS1_26prob_bisim_partitioner_grvINS0_23probabilistic_lts_aut_tEE29probabilistic_transition_typeEE8iteratorC2EPS6_	94
_ZN5mcrl23lts6detail13embedded_listINS1_26prob_bisim_partitioner_grvINS0_23probabilistic_lts_aut_tEE29probabilistic_transition_typeEE8iteratordeEv	326
_ZN5mcrl23lts6detail13embedded_listINS1_26prob_bisim_partitioner_grvINS0_23probabilistic_lts_aut_tEE29probabilistic_transition_typeEE8iteratorppEv	326
_ZN5mcrl23lts6detail13embedded_listINS1_26prob_bisim_partitioner_grvINS0_23probabilistic_lts_aut_tEE29probabilistic_transition_typeEE9push_backERS6_	500
_ZN5mcrl23lts6detail13embedded_listINS1_26prob_bisim_partitioner_grvINS0_23probabilistic_lts_aut_tEE29probabilistic_transition_typeEEC2Ev	60
_ZNK5mcrl23lts6detail13embedded_listINS1_26prob_bisim_partitioner_grvINS0_23probabilistic_lts_aut_tEE17action_block_typeEE14check_presenceERKS6_	47
_ZNK5mcrl23lts6detail13embedded_listINS1_26prob_bisim_partitioner_grvINS0_23probabilistic_lts_aut_tEE17action_block_typeEE24check_this_embedded_listEv	405
_ZNK5mcrl23lts6detail13embedded_listINS1_26prob_bisim_partitioner_grvINS0_23probabilistic_lts_aut_tEE17action_block_typeEE3endEv	251
_ZNK5mcrl23lts6detail13embedded_listINS1_26prob_bisim_partitioner_grvINS0_23probabilistic_lts_aut_tEE17action_block_typeEE4sizeEv	205
_ZNK5mcrl23lts6detail13embedded_listINS1_26prob_bisim_partitioner_grvINS0_23probabilistic_lts_aut_tEE17action_block_typeEE5beginEv	251
_ZNK5mcrl23lts6detail13embedded_listINS1_26prob_bisim_partitioner_grvINS0_23probabilistic_lts_aut_tEE17action_block_typeEE8iteratoreqERKS8_	617
_ZNK5mcrl23lts6detail13embedded_listINS1_26prob_bisim_partitioner_grvINS0_23probabilistic_lts_aut_tEE17action_block_typeEE8iteratorneERKS8_	617
_ZNK5mcrl23lts6detail13embedded_listINS1_26prob_bisim_partitioner_grvINS0_23probabilistic_lts_aut_tEE17action_state_typeEE14check_presenceERKS6_	618
_ZNK5mcrl23lts6detail13embedded_listINS1_26prob_bisim_partitioner_grvINS0_23probabilistic_lts_aut_tEE17action_state_typeEE24check_this_embedded_listEv	1658
_ZNK5mcrl23lts6detail13embedded_listINS1_26prob_bisim_partitioner_grvINS0_23probabilistic_lts_aut_tEE17action_state_typeEE3endEv	343
_ZNK5mcrl23lts6detail13embedded_listINS1_26prob_bisim_partitioner_grvINS0_23probabilistic_lts_aut_tEE17action_state_typeEE4sizeEv	1111
_ZNK5mcrl23lts6detail13embedded_listINS1_26prob_bisim_partitioner_grvINS0_23probabilistic_lts_aut_tEE17action_state_typeEE5beginEv	74
_ZNK5mcrl23lts6detail13embedded_listINS1_26prob_bisim_partitioner_grvINS0_23probabilistic_lts_aut_tEE17action_state_typeEE8iteratoreqERKS8_	778
_ZNK5mcrl23lts6detail13embedded_listINS1_26prob_bisim_partitioner_grvINS0_23probabilistic_lts_aut_tEE17action_state_typeEE8iteratorneERKS8_	778
_ZNK5mcrl23lts6detail13embedded_listINS1_26prob_bisim_partitioner_grvINS0_23probabilistic_lts_aut_tEE22action_transition_typeEE14check_presenceERKS6_	270
_ZNK5mcrl23lts6detail13embedded_listINS1_26prob_bisim_partitioner_grvINS0_23probabilistic_lts_aut_tEE22action_transition_typeEE24check_this_embedded_listEv	1144
_ZNK5mcrl23lts6detail13embedded_listINS1_26prob_bisim_partitioner_grvINS0_23probabilistic_lts_aut_tEE22action_transition_typeEE3endEv	252
_ZNK5mcrl23lts6detail13embedded_listINS1_26prob_bisim_partitioner_grvINS0_23probabilistic_lts_aut_tEE22action_transition_typeEE4sizeEv	676
_ZNK5mcrl23lts6detail13embedded_listINS1_26prob_bisim_partitioner_grvINS0_23probabilistic_lts_aut_tEE22action_transition_typeEE5beginEv	198
_ZNK5mcrl23lts6detail13embedded_listINS1_26prob_bisim_partitioner_grvINS0_23probabilistic_lts_aut_tEE22action_transition_typeEE8iteratoreqERKS8_	2246
_ZNK5mcrl23lts6detail13embedded_listINS1_26prob_bisim_partitioner_grvINS0_23probabilistic_lts_aut_tEE22action_transition_typeEE8iteratorneERKS8_	2246
_ZNK5mcrl23lts6detail13embedded_listINS1_26prob_bisim_partitioner_grvINS0_23probabilistic_lts_aut_tEE24probabilistic_block_typeEE14check_presenceERKS6_	30
_ZNK5mcrl23lts6detail13embedded_listINS1_26prob_bisim_partitioner_grvINS0_23probabilistic_lts_aut_tEE24probabilistic_block_typeEE24check_this_embedded_listEv	324
_ZNK5mcrl23lts6detail13embedded_listINS1_26prob_bisim_partitioner_grvINS0_23probabilistic_lts_aut_tEE24probabilistic_block_typeEE3endEv	221
_ZNK5mcrl23lts6detail13embedded_listINS1_26prob_bisim_partitioner_grvINS0_23probabilistic_lts_aut_tEE24probabilistic_block_typeEE4sizeEv	201
_ZNK5mcrl23lts6detail13embedded_listINS1_26prob_bisim_partitioner_grvINS0_23probabilistic_lts_aut_tEE24probabilistic_block_typeEE5beginEv	221
_ZNK5mcrl23lts6detail13embedded_listINS1_26prob_bisim_partitioner_grvINS0_23probabilistic_lts_aut_tEE24probabilistic_block_typeEE8iteratoreqERKS8_	455
_ZNK5mcrl23lts6detail13embedded_listINS1_26prob_bisim_partitioner_grvINS0_23probabilistic_lts_aut_tEE24probabilistic_block_typeEE8iteratorneERKS8_	455
_ZNK5mcrl23lts6detail13embedded_listINS1_26prob_bisim_partitioner_grvINS0_23probabilistic_lts_aut_tEE24probabilistic_state_typeEE14check_presenceERKS6_	504
_ZNK5mcrl23lts6detail13embedded_listINS1_26prob_bisim_partitioner_grvINS0_23probabilistic_lts_aut_tEE24probabilistic_state_typeEE24check_this_embedded_listEv	1291
_ZNK5mcrl23lts6detail13embedded_listINS1_26prob_bisim_partitioner_grvINS0_23probabilistic_lts_aut_tEE24probabilistic_state_typeEE3endEv	410
_ZNK5mcrl23lts6detail13embedded_listINS1_26prob_bisim_partitioner_grvINS0_23probabilistic_lts_aut_tEE24probabilistic_state_typeEE4sizeEv	973
_ZNK5mcrl23lts6detail13embedded_listINS1_26prob_bisim_partitioner_grvINS0_23probabilistic_lts_aut_tEE24probabilistic_state_typeEE5beginEv	158
_ZNK5mcrl23lts6detail13embedded_listINS1_26prob_bisim_partitioner_grvINS0_23probabilistic_lts_aut_tEE24probabilistic_state_typeEE8iteratoreqERKS8_	731
_ZNK5mcrl23lts6detail13embedded_listINS1_26prob_bisim_partitioner_grvINS0_23probabilistic_lts_aut_tEE24probabilistic_state_typeEE8iteratorneERKS8_	731
_ZNK5mcrl23lts6detail13embedded_listINS1_26prob_bisim_partitioner_grvINS0_23probabilistic_lts_aut_tEE29probabilistic_transition_typeEE14check_presenceERKS6_	158
_ZNK5mcrl23lts6detail13embedded_listINS1_26prob_bisim_partitioner_grvINS0_23probabilistic_lts_aut_tEE29probabilistic_transition_typeEE24check_this_embedded_listEv	705
_ZNK5mcrl23lts6detail13embedded_listINS1_26prob_bisim_partitioner_grvINS0_23probabilistic_lts_aut_tEE29probabilistic_transition_typeEE3endEv	47
_ZNK5mcrl23lts6detail13embedded_listINS1_26prob_bisim_partitioner_grvINS0_23probabilistic_lts_aut_tEE29probabilistic_transition_typeEE5beginEv	47
_ZNK5mcrl23lts6detail13embedded_listINS1_26prob_bisim_partitioner_grvINS0_23probabilistic_lts_aut_tEE29probabilistic_transition_typeEE8iteratoreqERKS8_	373
_ZNK5mcrl23lts6detail13embedded_listINS1_26prob_bisim_partitioner_grvINS0_23probabilistic_lts_aut_tEE29probabilistic_transition_typeEE8iteratorneERKS8_	373

Generated by: LCOV version 1.14