LCOV - code coverage report
Current view:
top level
-
lps/include/mcrl2/lps/detail
- instantiate_global_variables.h
(
source
/ functions)
Hit
Total
Coverage
Test:
mcrl2_coverage.info.cleaned
Lines:
17
18
94.4 %
Date:
2024-04-26 03:18:02
Functions:
4
4
100.0 %
Legend:
Lines:
hit
not hit
Function Name
Hit count
_ZN5mcrl23lps6detail24replace_global_variablesINS0_24stochastic_specificationEEEvRT_RKNS_4data24mutable_map_substitutionISt3mapINS6_8variableENS6_15data_expressionESt4lessIS9_ESaISt4pairIKS9_SA_EEEEE
30
_ZN5mcrl23lps6detail28instantiate_global_variablesINS0_24stochastic_specificationEEENS_4data24mutable_map_substitutionISt3mapINS4_8variableENS4_15data_expressionESt4lessIS7_ESaISt4pairIKS7_S8_EEEEERT_
30
_ZN5mcrl23lps6detail24replace_global_variablesINS0_13specificationEEEvRT_RKNS_4data24mutable_map_substitutionISt3mapINS6_8variableENS6_15data_expressionESt4lessIS9_ESaISt4pairIKS9_SA_EEEEE
173
_ZN5mcrl23lps6detail28instantiate_global_variablesINS0_13specificationEEENS_4data24mutable_map_substitutionISt3mapINS4_8variableENS4_15data_expressionESt4lessIS7_ESaISt4pairIKS7_S8_EEEEERT_
173
Generated by:
LCOV version 1.14