LCOV - code coverage report

Current view: top level - pbes/include/mcrl2/pbes - structure_graph.h (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 56 107 52.3 % Date: 2024-04-26 03:18:02 Functions: 24 32 75.0 % Legend: Lines: hit not hit

Function Name	Hit count
_ZN5mcrl211pbes_system21print_structure_graphINS0_15structure_graphEEERSoS3_RKT_	0
_ZN5mcrl211pbes_system26structure_graph_successorsINS0_15structure_graphEEESt6vectorINT_10index_typeESaIS5_EERKS4_S5_	0
_ZN5mcrl211pbes_system28structure_graph_predecessorsINS0_15structure_graphEEESt6vectorINT_10index_typeESaIS5_EERKS4_S5_	0
_ZN5mcrl211pbes_systemlsERSoRKNS0_15structure_graph15decoration_typeE	0
_ZN5mcrl211pbes_systemlsERSoRKNS0_15structure_graph6vertexE	0
_ZN5mcrl211pbes_systemlsERSoRKNS0_15structure_graphE	0
_ZNK5mcrl211pbes_system15structure_graph6vertex4markERSt5stackISt17reference_wrapperIN7atermpp6detail6_atermEESt5dequeIS8_SaIS8_EEE	0
_ZNK5mcrl211pbes_system15structure_graph6vertex7formulaEv	0
_ZN5mcrl211pbes_system15structure_graphC2EN7atermpp6vectorINS1_6vertexESaINS2_6detail15reference_atermIS4_vEEELb1EEEjN5boost14dynamic_bitsetImSaImEEE	4
_ZNK5mcrl211pbes_system15structure_graph7excludeEv	4
_ZNK5mcrl211pbes_system15structure_graph8strategyEj	20
_ZN5mcrl211pbes_system15structure_graphC2Ev	137
_ZNK5mcrl211pbes_system15structure_graph10is_definedEv	137
_ZNK5mcrl211pbes_system15structure_graph8is_emptyEv	220
_ZNK5mcrl211pbes_system15structure_graph14initial_vertexEv	229
_ZNK5mcrl211pbes_system15structure_graph12all_verticesEv	302
_ZNK5mcrl211pbes_system15structure_graph6extentEv	635
_ZN5mcrl211pbes_system15structure_graph7excludeEv	640
_ZNK5mcrl211pbes_system15structure_graph10decorationEj	3291
_ZN5mcrl211pbes_system15structure_graph6vertexC2ENS0_15pbes_expressionENS1_15decoration_typeEmSt6vectorIjSaIjEES7_j	3892
_ZNK5mcrl211pbes_system15structure_graph6vertex10is_definedEv	3892
_ZZNK5mcrl211pbes_system15structure_graph10is_definedEvENKUlRKNS1_6vertexEE_clES4_	3892
_ZNK5mcrl211pbes_system15structure_graph12predecessorsEj	4149
_ZNK5mcrl211pbes_system15structure_graph16all_predecessorsEj	4149
_ZNK5mcrl211pbes_system15structure_graph10successorsEj	4746
_ZNK5mcrl211pbes_system15structure_graph14all_successorsEj	4746
_ZN5mcrl211pbes_system15structure_graph11find_vertexEj	4824
_ZN5mcrl211pbes_system16undefined_vertexEv	6568
_ZNK5mcrl211pbes_system15structure_graph8containsEj	7419
_ZN5mcrl211pbes_system15structure_graph25integers_not_contained_inC2ERKN5boost14dynamic_bitsetImSaImEEE	8895
_ZNK5mcrl211pbes_system15structure_graph25integers_not_contained_inclEj	12293
_ZNK5mcrl211pbes_system15structure_graph11find_vertexEj	16665

Generated by: LCOV version 1.14