LCOV - code coverage report

Current view: top level - lts/include/mcrl2/lts/detail - fixed_vector.h (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 3 3 100.0 % Date: 2024-04-19 03:43:27 Functions: 19 19 100.0 % Legend: Lines: hit not hit

Function Name	Hit count
_ZN5mcrl23lts6detail10bisim_gjkw12fixed_vectorINS2_10pred_entryEEC2Em	59
_ZN5mcrl23lts6detail10bisim_gjkw12fixed_vectorINS2_10succ_entryEEC2Em	59
_ZN5mcrl23lts6detail10bisim_gjkw12fixed_vectorINS2_12B_to_C_entryEEC2Em	59
_ZN5mcrl23lts6detail10bisim_gjkw12fixed_vectorINS2_16state_info_entryEEC2Em	59
_ZN5mcrl23lts6detail10bisim_gjkw12fixed_vectorIPNS2_16state_info_entryEEC2Em	59
_ZN5mcrl23lts6detail10bisim_gjkw12fixed_vectorINS0_17state_label_emptyEEC2Em	182
_ZN5mcrl23lts6detail10bisim_gjkw12fixed_vectorINS1_9bisim_dnj10pred_entryEEC2Em	335
_ZN5mcrl23lts6detail10bisim_gjkw12fixed_vectorINS1_9bisim_dnj10succ_entryEEC2Em	335
_ZN5mcrl23lts6detail10bisim_gjkw12fixed_vectorINS1_9bisim_dnj16state_info_entryEEC2Em	335
_ZN5mcrl23lts6detail10bisim_gjkw12fixed_vectorINS1_9bisim_dnj17block_bunch_entryEEC2Em	335
_ZN5mcrl23lts6detail10bisim_gjkw12fixed_vectorINS1_9bisim_dnj17permutation_entryEEC2Em	335
_ZN5mcrl23lts6detail10bisim_gjkw12fixed_vectorINS1_9bisim_dnj19iterator_or_counterIPNS4_18action_block_entryEEEEC2Em	335
_ZNK5mcrl23lts6detail10bisim_gjkw12fixed_vectorINS2_16state_info_entryEEixEm	1058
_ZNK5mcrl23lts6detail10bisim_gjkw12fixed_vectorINS1_9bisim_dnj16state_info_entryEEixEm	1664
_ZN5mcrl23lts6detail10bisim_gjkw12fixed_vectorINS0_17state_label_emptyEEixEm	3251
_ZN5mcrl23lts6detail10bisim_gjkw12fixed_vectorINS1_9bisim_dnj16state_info_entryEEixEm	9630
_ZN5mcrl23lts6detail10bisim_gjkw12fixed_vectorINS1_9bisim_dnj19iterator_or_counterIPNS4_18action_block_entryEEEEixEm	15481
_ZN5mcrl23lts6detail10bisim_gjkw12fixed_vectorINS2_16state_info_entryEEixEm	17909
_ZNK5mcrl23lts6detail10bisim_gjkw12fixed_vectorINS1_9bisim_dnj19iterator_or_counterIPNS4_18action_block_entryEEEEixEm	136587

Generated by: LCOV version 1.14