LCOV - mcrl2_coverage.info.cleaned - data/include/mcrl2/data/representative_generator.h

LCOV - code coverage report

Current view:	top level - data/include/mcrl2/data - representative_generator.h (source / functions)		Hit	Total	Coverage
Test:	mcrl2_coverage.info.cleaned	Lines:	75	79	94.9 %
Date:	2024-04-19 03:43:27	Functions:	5	5	100.0 %
Legend:	Lines: hit not hit


Function Name	Hit count
_ZN5mcrl24data24representative_generator19find_representativeERKNS0_15function_symbolERSt3setINS0_15sort_expressionESt4lessIS6_ESaIS6_EERNS0_15data_expressionE	39
_ZN5mcrl24data24representative_generator18set_representativeERKNS0_15sort_expressionERKNS0_15data_expressionE	697
_ZN5mcrl24data24representative_generator19find_representativeERKNS0_15sort_expressionERSt3setIS2_St4lessIS2_ESaIS2_EERNS0_15data_expressionE	711
_ZN5mcrl24data24representative_generatorC2ERKNS0_18data_specificationE	783
_ZN5mcrl24data24representative_generatorclERKNS0_15sort_expressionE	1130