LCOV - code coverage report

Current view: top level - pbes/include/mcrl2/pbes - structure_graph_builder.h (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 59 62 95.2 % Date: 2024-05-01 03:37:31 Functions: 12 13 92.3 % Legend: Lines: hit not hit

Function Name	Hit count
_ZNK5mcrl211pbes_system6detail23structure_graph_builder6extentEv	0
_ZN5mcrl211pbes_system6detail23structure_graph_builder17set_initial_stateERKNS0_36propositional_variable_instantiationE	137
_ZN5mcrl211pbes_system6detail23structure_graph_builder8finalizeEv	137
_ZN5mcrl211pbes_system6detail23structure_graph_builderC2ERNS0_15structure_graphE	137
_ZNK5mcrl211pbes_system6detail23structure_graph_builder14initial_vertexEv	137
_ZN5mcrl211pbes_system6detail23structure_graph_builder15insert_variableERKNS0_15pbes_expressionE	1170
_ZN5mcrl211pbes_system6detail23structure_graph_builder15insert_variableERKNS0_15pbes_expressionES5_m	3643
_ZN5mcrl211pbes_system6detail23structure_graph_builder13create_vertexERKNS0_15pbes_expressionE	3892
_ZN5mcrl211pbes_system6detail23structure_graph_builder13insert_vertexERKNS0_15pbes_expressionE	4814
_ZN5mcrl211pbes_system6detail23structure_graph_builder11insert_edgeEjj	5984
_ZNK5mcrl211pbes_system6detail23structure_graph_builder10decorationERKNS0_15pbes_expressionE	7535
_ZN5mcrl211pbes_system6detail23structure_graph_builder8verticesEv	7784
_ZN5mcrl211pbes_system6detail23structure_graph_builder6vertexEj	15611

Generated by: LCOV version 1.14