LCOV - code coverage report
Current view:
top level
-
utilities/include/mcrl2/utilities
- reachable_nodes.h
(
source
/ functions)
Hit
Total
Coverage
Test:
mcrl2_coverage.info.cleaned
Lines:
17
17
100.0 %
Date:
2024-05-01 03:37:31
Functions:
6
6
100.0 %
Legend:
Lines:
hit
not hit
Function Name
Hit count
_ZN5mcrl29utilities15reachable_nodesIN5boost14adjacency_listINS2_4setSENS2_4vecSENS2_9directedSENS2_11no_propertyES7_S7_NS2_5listSEEESt23_Rb_tree_const_iteratorImEEESt6vectorImSaImEERKT_T0_SI_
1
_ZN5mcrl29utilities6detail24reachable_nodes_recorderIN5boost14adjacency_listINS3_4setSENS3_4vecSENS3_9directedSENS3_11no_propertyES8_S8_NS3_5listSEEEEC2ERSt6vectorImSaImEE
1
_ZN5mcrl29utilities15reachable_nodesIN5boost14adjacency_listINS2_4vecSES4_NS2_9directedSENS2_11no_propertyES6_S6_NS2_5listSEEEN9__gnu_cxx17__normal_iteratorIPmSt6vectorImSaImEEEEEESE_RKT_T0_SJ_
8
_ZN5mcrl29utilities6detail24reachable_nodes_recorderIN5boost14adjacency_listINS3_4vecSES5_NS3_9directedSENS3_11no_propertyES7_S7_NS3_5listSEEEEC2ERSt6vectorImSaImEE
8
_ZN5mcrl29utilities6detail24reachable_nodes_recorderIN5boost14adjacency_listINS3_4setSENS3_4vecSENS3_9directedSENS3_11no_propertyES8_S8_NS3_5listSEEEE15discover_vertexEmRKSA_
9
_ZN5mcrl29utilities6detail24reachable_nodes_recorderIN5boost14adjacency_listINS3_4vecSES5_NS3_9directedSENS3_11no_propertyES7_S7_NS3_5listSEEEE15discover_vertexEmRKS9_
18
Generated by:
LCOV version 1.14