LCOV - code coverage report

Current view: top level - data/include/mcrl2/data/detail - data_functional.h (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 7 9 77.8 % Date: 2024-05-01 03:37:31 Functions: 3 4 75.0 % Legend: Lines: hit not hit

Function Name	Hit count
_ZNK5mcrl24data6detail13variable_nameclERKNS0_8variableE	0
_ZN5mcrl24data6detail24function_symbol_has_nameC2ERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE	10
_ZNK5mcrl24data6detail24function_symbol_has_nameclERKNS0_15function_symbolE	875
_ZNK5mcrl24data6detail18sort_of_expressionINS0_8variableEEclERKS3_	8889

Generated by: LCOV version 1.14