LCOV - mcrl2_coverage.info.cleaned - process/include/mcrl2/process/parse.h

LCOV - code coverage report

Current view:	top level - process/include/mcrl2/process - parse.h (source / functions)		Hit	Total	Coverage
Test:	mcrl2_coverage.info.cleaned	Lines:	22	23	95.7 %
Date:	2024-05-01 03:37:31	Functions:	4	4	100.0 %
Legend:	Lines: hit not hit


Function Name	Hit count
_ZN5mcrl27process24parse_process_expressionISt3setINS_4data8variableESt4lessIS4_ESaIS4_EEN7atermpp9term_listINS0_12action_labelEEESt6vectorINS0_18process_identifierESaISE_EEEENS0_18process_expressionERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKT_RKNS3_18data_specificationERKT0_RKT1_PKSE_	3
_ZN5mcrl27process24parse_process_expressionERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES8_S8_	11
_ZN5mcrl27process27parse_process_specificationERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE	977
_ZN5mcrl27process27parse_process_specificationERSi	1147