LCOV - code coverage report

Current view: top level - pbes/include/mcrl2/pbes - solve_structure_graph.h (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 161 168 95.8 % Date: 2024-05-01 03:37:31 Functions: 10 10 100.0 % Legend: Lines: hit not hit

Function Name	Hit count
_ZN5mcrl211pbes_system31solve_structure_graph_algorithm30check_solve_recursive_solutionERKNS0_15structure_graphEbRKNS0_10vertex_setES7_	4
_ZN5mcrl211pbes_system31solve_structure_graph_algorithm11insert_edgeERN7atermpp6vectorINS0_15structure_graph6vertexESaINS2_6detail15reference_atermIS5_vEEELb1EEEjj	46
_ZN5mcrl211pbes_system31solve_structure_graph_algorithm4succERKNS0_15structure_graphEjRKNS0_10vertex_setE	53
_ZN5mcrl211pbes_system15get_minmax_rankERKNS0_15structure_graphE	67
_ZN5mcrl211pbes_system21solve_structure_graphERNS0_15structure_graphEb	133
_ZN5mcrl211pbes_system31solve_structure_graph_algorithmC2Ebb	135
_ZN5mcrl211pbes_system31solve_structure_graph_algorithm5solveERNS0_15structure_graphE	137
_ZN5mcrl211pbes_system31solve_structure_graph_algorithm24solve_recursive_extendedERNS0_15structure_graphE	141
_ZN5mcrl211pbes_system31solve_structure_graph_algorithm15solve_recursiveERNS0_15structure_graphERKNS0_10vertex_setE	191
_ZN5mcrl211pbes_system31solve_structure_graph_algorithm15solve_recursiveERNS0_15structure_graphE	220

Generated by: LCOV version 1.14