LCOV - code coverage report
Current view:
top level
-
data/include/mcrl2/data/detail/prover
- bdd_path_eliminator.h
(
source
/ functions)
Hit
Total
Coverage
Test:
mcrl2_coverage.info.cleaned
Lines:
0
78
0.0 %
Date:
2024-04-19 03:43:27
Functions:
0
5
0.0 %
Legend:
Lines:
hit
not hit
Function Name
Hit count
_ZN5mcrl24data6detail19BDD_Path_Eliminator12aux_simplifyERKNS0_15data_expressionERKN7atermpp9term_listIS3_EE
0
_ZN5mcrl24data6detail19BDD_Path_Eliminator16create_conditionEN7atermpp9term_listINS0_15data_expressionEEERKS5_b
0
_ZN5mcrl24data6detail19BDD_Path_Eliminator17variables_overlapERKNS0_15data_expressionES5_
0
_ZN5mcrl24data6detail19BDD_Path_Eliminator8simplifyERKNS0_15data_expressionE
0
_ZN5mcrl24data6detail19BDD_Path_EliminatorC2ENS1_15smt_solver_typeE
0
Generated by:
LCOV version 1.14