LCOV - code coverage report
Current view:
top level
-
process/include/mcrl2/process
- process_variable_strongly_connected_components.h
(
source
/ functions)
Hit
Total
Coverage
Test:
mcrl2_coverage.info.cleaned
Lines:
112
120
93.3 %
Date:
2024-05-01 03:37:31
Functions:
16
17
94.1 %
Legend:
Lines:
hit
not hit
Function Name
Hit count
_ZN5mcrl27process6detail34find_process_identifiers_traverser5applyERKNS0_27process_instance_assignmentE
0
_ZN5mcrl27process46process_variable_strongly_connected_componentsERKSt6vectorINS0_16process_equationESaIS2_EERKNS0_18process_expressionE
2
_ZN5mcrl27process6detail20tarjan_scc_algorithm13strongconnectEmRSt6vectorImSaImEEm
2
_ZN5mcrl27process6detail20tarjan_scc_algorithm3runERKSt6vectorISt4pairImmESaIS5_EEm
2
_ZN5mcrl27process6detail20tarjan_scc_algorithm6vertexC2Emmm
2
_ZN5mcrl27process6detail20tarjan_scc_algorithmC2Ev
2
_ZN5mcrl27process6detail30process_variable_scc_algorithm13compute_indexERKSt6vectorINS0_16process_equationESaIS4_EE
2
_ZN5mcrl27process6detail30process_variable_scc_algorithm20compute_dependenciesERKSt6vectorINS0_16process_equationESaIS4_EERKNS0_18process_expressionE
2
_ZN5mcrl27process6detail30process_variable_scc_algorithm3runERKSt6vectorINS0_16process_equationESaIS4_EERKNS0_18process_expressionE
2
_ZN5mcrl27process6detail30process_variable_scc_algorithm8add_edgeERKNS0_18process_identifierES5_
2
_ZN5mcrl27process6detail30process_variable_scc_algorithm8run_implERKSt6vectorINS0_16process_equationESaIS4_EE
2
_ZNK5mcrl27process6detail20tarjan_scc_algorithm10componentsEv
2
_ZNK5mcrl27process6detail20tarjan_scc_algorithm6vertexneERKS3_
2
_ZNK5mcrl27process6detail20tarjan_scc_algorithm6vertexeqERKS3_
4
_ZN5mcrl27process6detail20tarjan_scc_algorithm9undefinedEv
8
_ZN5mcrl27process6detail24find_process_identifiersERKNS0_18process_expressionE
8
_ZN5mcrl27process6detail34find_process_identifiers_traverser5applyERKNS0_16process_instanceE
8
Generated by:
LCOV version 1.14