LCOV - code coverage report

Current view: top level - pbes/include/mcrl2/pbes - pbessolve_attractors.h (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 37 39 94.9 % Date: 2024-05-04 03:44:52 Functions: 7 7 100.0 % Legend: Lines: hit not hit

Function Name	Hit count
_ZN5mcrl211pbes_system12attr_defaultINS0_15structure_graphEEENS0_10vertex_setERKT_S3_m	231
_ZN5mcrl211pbes_system20attr_default_genericINS0_15structure_graphENS0_15global_strategyIS2_EEEENS0_10vertex_setERKT_S5_mT0_	231
_ZN5mcrl211pbes_system22exclusive_predecessorsINS0_15structure_graphEEENS0_16deque_vertex_setERKT_RKNS0_10vertex_setE	231
_ZN5mcrl211pbes_system15global_strategyINS0_15structure_graphEEC2ERKS2_	232
_ZN5mcrl211pbes_system19includes_successorsINS0_15structure_graphENS0_10vertex_setEEEbRKT_NS4_10index_typeERKT0_	2066
_ZN5mcrl211pbes_system19insert_predecessorsINS0_15structure_graphEEEvRKT_jRKNS0_10vertex_setERNS0_16deque_vertex_setE	2602
_ZN5mcrl211pbes_system15global_strategyINS0_15structure_graphEE12set_strategyEjj	2603

Generated by: LCOV version 1.14