LCOV - code coverage report
Current view:
top level
-
core/include/mcrl2/core/detail
- construction_utility.h
(
source
/ functions)
Hit
Total
Coverage
Test:
mcrl2_coverage.info.cleaned
Lines:
3
3
100.0 %
Date:
2024-04-17 03:40:49
Functions:
7
7
100.0 %
Legend:
Lines:
hit
not hit
Function Name
Hit count
_ZN5mcrl24core6detail20singleton_expressionINS_4data6detail20greater_equal_symbolEN7atermpp12aterm_stringEE8instanceEv
250363
_ZN5mcrl24core6detail20singleton_expressionINS_4data6detail14greater_symbolEN7atermpp12aterm_stringEE8instanceEv
264892
_ZN5mcrl24core6detail20singleton_expressionINS_4data6detail16not_equal_symbolEN7atermpp12aterm_stringEE8instanceEv
353229
_ZN5mcrl24core6detail20singleton_expressionINS_4data6detail9if_symbolEN7atermpp12aterm_stringEE8instanceEv
525574
_ZN5mcrl24core6detail20singleton_expressionINS_4data6detail11less_symbolEN7atermpp12aterm_stringEE8instanceEv
658613
_ZN5mcrl24core6detail20singleton_expressionINS_4data6detail17less_equal_symbolEN7atermpp12aterm_stringEE8instanceEv
663204
_ZN5mcrl24core6detail20singleton_expressionINS_4data6detail12equal_symbolEN7atermpp12aterm_stringEE8instanceEv
830575
Generated by:
LCOV version 1.14