LCOV - code coverage report

Current view: top level - pbes/include/mcrl2/pbes/detail - stategraph_influence.h (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 0 63 0.0 % Date: 2024-04-13 03:38:08 Functions: 0 9 0.0 % Legend: Lines: hit not hit

Function Name	Hit count
_ZN5mcrl211pbes_system6detail36stategraph_influence_graph_algorithm14influence_edgeC2EPKNS2_16influence_vertexES6_	0
_ZN5mcrl211pbes_system6detail36stategraph_influence_graph_algorithm16influence_vertexC2ERKN7atermpp12aterm_stringERKNS_4data8variableE	0
_ZN5mcrl211pbes_system6detail36stategraph_influence_graph_algorithm23compute_influence_graphEv	0
_ZN5mcrl211pbes_system6detail36stategraph_influence_graph_algorithm3runEv	0
_ZN5mcrl211pbes_system6detail36stategraph_influence_graph_algorithmC2ERKNS1_15stategraph_pbesE	0
_ZNK5mcrl211pbes_system6detail36stategraph_influence_graph_algorithm11find_vertexERKN7atermpp12aterm_stringERKNS_4data8variableE	0
_ZNK5mcrl211pbes_system6detail36stategraph_influence_graph_algorithm14influence_edge5printB5cxx11Ev	0
_ZNK5mcrl211pbes_system6detail36stategraph_influence_graph_algorithm16influence_vertex5printB5cxx11Ev	0
_ZNK5mcrl211pbes_system6detail36stategraph_influence_graph_algorithm21print_influence_graphEv	0

Generated by: LCOV version 1.14