LCOV - code coverage report

Current view: top level - utilities/include/mcrl2/utilities - skip.h (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 0 1 0.0 % Date: 2024-05-01 03:37:31 Functions: 0 5 0.0 % Legend: Lines: hit not hit

Function Name	Hit count
_ZNK5mcrl29utilities4skipclIJN7atermpp18term_balanced_treeINS_4data15data_expressionEEEEEEvDpRKT_	0
_ZNK5mcrl29utilities4skipclIJN7atermpp18term_balanced_treeINS_4data15data_expressionEEENS_3lps12multi_actionES7_EEEvDpRKT_	0
_ZNK5mcrl29utilities4skipclIJiN7atermpp18term_balanced_treeINS_4data15data_expressionEEEEEEvDpRKT_	0
_ZNK5mcrl29utilities4skipclIJiiN7atermpp18term_balanced_treeINS_4data15data_expressionEEENS_3lps12multi_actionES7_EEEvDpRKT_	0
_ZNK5mcrl29utilities4skipclIJimN7atermpp18term_balanced_treeINS_4data15data_expressionEEENS_3lps12multi_actionES7_EEEvDpRKT_	0

Generated by: LCOV version 1.14