LCOV - code coverage report

Current view: top level - pbes/test - stategraph_test.cpp (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 134 148 90.5 % Date: 2024-05-01 03:37:31 Functions: 15 15 100.0 % Legend: Lines: hit not hit

Function Name	Hit count
_ZL16test_cfp_invokerv	1
_ZL19test_guard1_invokerv	1
_ZL29test_local_stategraph_invokerv	1
_ZL35test_significant_variables1_invokerv	1
_ZN11test_guard111test_methodEv	1
_ZN21test_local_stategraph11test_methodEv	1
_ZN27test_significant_variables111test_methodEv	1
_ZN8test_cfp11test_methodEv	1
_Z12check_resultRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES6_S6_S6_	4
_Z26test_significant_variablesRKN5mcrl211pbes_system15pbes_expressionERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE	4
_Z9print_setB5cxx11RKSt3setIN5mcrl24data8variableESt4lessIS2_ESaIS2_EE	4
_Z10test_guardRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES6_S6_	21
_Z12find_propvarRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKN5mcrl211pbes_system15pbes_expressionE	21
_Z26print_connected_componentsB5cxx11RKSt6vectorISt3setImSt4lessImESaImEESaIS4_EERKN5mcrl211pbes_system6detail20stategraph_algorithmE	26
_Z25print_connected_componentB5cxx11RKSt3setImSt4lessImESaImEERKN5mcrl211pbes_system6detail20stategraph_algorithmE	31

Generated by: LCOV version 1.14