LCOV - code coverage report
Current view:
top level
-
pbes/include/mcrl2/pbes/detail
- find_free_variables.h
(
source
/ functions)
Hit
Total
Coverage
Test:
mcrl2_coverage.info.cleaned
Lines:
32
39
82.1 %
Date:
2024-05-04 03:44:52
Functions:
8
10
80.0 %
Legend:
Lines:
hit
not hit
Function Name
Hit count
_ZN5mcrl211pbes_system6detail29find_free_variables_traverser5enterERKNS0_6existsE
0
_ZN5mcrl211pbes_system6detail29find_free_variables_traverser5leaveERKNS0_6existsE
0
_ZN5mcrl211pbes_system6detail19find_free_variablesERKNS0_15pbes_expressionERKN7atermpp9term_listINS_4data8variableEEEb
2
_ZN5mcrl211pbes_system6detail29find_free_variables_traverserC2ERKN7atermpp9term_listINS_4data8variableEEEb
2
_ZN5mcrl211pbes_system6detail29find_free_variables_traverser3popEv
6
_ZN5mcrl211pbes_system6detail29find_free_variables_traverser4pushERKN7atermpp9term_listINS_4data8variableEEE
6
_ZN5mcrl211pbes_system6detail29find_free_variables_traverser5enterERKNS0_6forallE
6
_ZN5mcrl211pbes_system6detail29find_free_variables_traverser5leaveERKNS0_6forallE
6
_ZN5mcrl211pbes_system6detail29find_free_variables_traverser5enterERKNS_4data15data_expressionE
11
_ZNK5mcrl211pbes_system6detail29find_free_variables_traverser8is_boundERKNS_4data8variableE
23
Generated by:
LCOV version 1.14