LCOV - code coverage report
Current view:
top level
-
pbes/include/mcrl2/pbes/detail
- lps2pbes_utility.h
(
source
/ functions)
Hit
Total
Coverage
Test:
mcrl2_coverage.info.cleaned
Lines:
45
47
95.7 %
Date:
2024-05-01 03:37:31
Functions:
7
7
100.0 %
Legend:
Lines:
hit
not hit
Function Name
Hit count
_ZN5mcrl211pbes_system6detail32make_fresh_variable_substitutionERKN7atermpp9term_listINS_4data8variableEEERNS4_24set_identifier_generatorEb
10
_ZN5mcrl211pbes_systemplERKSt6vectorINS0_13pbes_equationESaIS2_EES6_
122
_ZN5mcrl211pbes_system6detail7mu_nameERKNS_14state_formulas13state_formulaE
141
_ZN5mcrl211pbes_system6detail12mu_variablesERKNS_14state_formulas13state_formulaE
200
_ZN5mcrl211pbes_system6detail13lhs_variablesERKN7atermpp9term_listINS_4data10assignmentEEE
200
_ZN5mcrl211pbes_system6detail14mu_expressionsERKNS_14state_formulas13state_formulaE
291
_ZN5mcrl211pbes_system6detail15rhs_expressionsERKN7atermpp9term_listINS_4data10assignmentEEE
291
Generated by:
LCOV version 1.14