LCOV - code coverage report

Current view: top level - pbes/test - enumerator_test.cpp (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 94 94 100.0 % Date: 2024-05-04 03:44:52 Functions: 12 12 100.0 % Legend: Lines: hit not hit

Function Name	Hit count
_ZL23test_enumerator_invokerv	1
_ZL26enumerate_callback_invokerv	1
_ZL37test_enumerator_with_iterator_invokerv	1
_ZL42test_enumerator_with_substitutions_invokerv	1
_ZN15test_enumerator11test_methodEv	1
_ZN18enumerate_callback11test_methodEv	1
_ZN29test_enumerator_with_iterator11test_methodEv	1
_ZN34test_enumerator_with_substitutions11test_methodEv	1
_ZZZN18enumerate_callback11test_methodEvENKUlRKN5mcrl211pbes_system15pbes_expressionEE_clES4_ENKUlRKNS0_4data23enumerator_list_elementIS2_EEE0_clESA_	1
_ZZZN18enumerate_callback11test_methodEvENKUlRKN5mcrl211pbes_system15pbes_expressionEE_clES4_ENKUlRKNS0_4data23enumerator_list_elementIS2_EEE_clESA_	1
_ZZN15test_enumerator11test_methodEvENKUlRKN5mcrl24data23enumerator_list_elementINS0_11pbes_system15pbes_expressionEEEE_clES7_	2
_ZZN18enumerate_callback11test_methodEvENKUlRKN5mcrl211pbes_system15pbes_expressionEE_clES4_	2

Generated by: LCOV version 1.14