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 72 0.0 %
Date: 2020-10-20 00:45:57 Functions: 0 7 0.0 %
Legend: Lines: hit not hit

Function Name Sort by function name Hit count Sort by 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
_ZN5mcrl24data6detail19BDD_Path_EliminatorD0Ev 0
_ZN5mcrl24data6detail19BDD_Path_EliminatorD2Ev 0

Generated by: LCOV version 1.13