LCOV - code coverage report

Current view: top level - data/include/mcrl2/data/detail/prover - induction.h (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 0 95 0.0 % Date: 2024-04-26 03:18:02 Functions: 0 9 0.0 % Legend: Lines: hit not hit

Function Name	Hit count
_ZN5mcrl24data6detail9Induction10initializeERKNS0_15data_expressionE	0
_ZN5mcrl24data6detail9Induction14create_clausesERKNS0_15data_expressionES5_mmRKN7atermpp9term_listINS0_8variableEEESB_	0
_ZN5mcrl24data6detail9Induction15apply_inductionEv	0
_ZN5mcrl24data6detail9Induction15get_fresh_dummyERKNS0_15sort_expressionE	0
_ZNK5mcrl24data6detail9Induction17create_hypothesesERKNS0_15data_expressionEN7atermpp9term_listINS0_8variableEEES9_	0
_ZNK5mcrl24data6detail9Induction19apply_induction_oneERKN7atermpp12aterm_stringE	0
_ZNK5mcrl24data6detail9Induction19can_apply_inductionEv	0
_ZNK5mcrl24data6detail9Induction25get_sort_of_list_elementsERKNS0_8variableE	0
_ZNK5mcrl24data6detail9Induction28recurse_expression_for_listsERKNS0_15data_expressionE	0

Generated by: LCOV version 1.14