LCOV - code coverage report
Current view:
top level
-
data/include/mcrl2/data/detail
- linear_inequalities_utilities.h
(
source
/ functions)
Hit
Total
Coverage
Test:
mcrl2_coverage.info.cleaned
Lines:
64
104
61.5 %
Date:
2024-04-26 03:18:02
Functions:
3
7
42.9 %
Legend:
Lines:
hit
not hit
Function Name
Hit count
_ZN5mcrl24data6detail14condition_partERKNS0_15data_expressionE
0
_ZN5mcrl24data6detail17negate_inequalityERKNS0_15data_expressionE
0
_ZN5mcrl24data6detail9else_partERKNS0_15data_expressionE
0
_ZN5mcrl24data6detail9then_partERKNS0_15data_expressionE
0
_ZN5mcrl24data6detail15split_conditionERKNS0_15data_expressionERSt6vectorIN7atermpp9term_listIS2_EESaIS8_EERS5_IS2_SaIS2_EE
8
_ZN5mcrl24data6detail13is_inequalityERKNS0_15data_expressionE
23
_ZN5mcrl24data6detailL19split_condition_auxERKNS0_15data_expressionERSt6vectorIN7atermpp9term_listIS2_EESaIS8_EESB_b
38
Generated by:
LCOV version 1.14