LCOV - code coverage report

Current view: top level - lts/include/mcrl2/lts/detail - counter_example.h (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 10 62 16.1 % Date: 2024-04-26 03:18:02 Functions: 5 14 35.7 % Legend: Lines: hit not hit

Function Name	Hit count
_ZN5mcrl23lts6detail17action_index_pairC2Emm	0
_ZN5mcrl23lts6detail27counter_example_constructor10root_indexEv	0
_ZN5mcrl23lts6detail27counter_example_constructor14add_transitionEmm	0
_ZN5mcrl23lts6detail27counter_example_constructorC2ERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESA_b	0
_ZNK5mcrl23lts6detail17action_index_pair11label_indexEv	0
_ZNK5mcrl23lts6detail17action_index_pair20previous_entry_indexEv	0
_ZNK5mcrl23lts6detail27counter_example_constructor13is_structuredEv	0
_ZNK5mcrl23lts6detail27counter_example_constructor20save_counter_exampleINS0_9lts_aut_tEEEvmRKT_RKSt6vectorImSaImEE	0
_ZNK5mcrl23lts6detail27counter_example_constructor8is_dummyEv	0
_ZNK5mcrl23lts6detail33dummy_counter_example_constructor20save_counter_exampleINS0_9lts_aut_tEEEvS2_RKT_RKSt6vectorImSaImEE	21
_ZN5mcrl23lts6detail33dummy_counter_example_constructor10root_indexEv	48
_ZNK5mcrl23lts6detail33dummy_counter_example_constructor13is_structuredEv	103
_ZN5mcrl23lts6detail33dummy_counter_example_constructor14add_transitionEmS2_	188
_ZNK5mcrl23lts6detail33dummy_counter_example_constructor8is_dummyEv	215

Generated by: LCOV version 1.14