LCOV - code coverage report

Current view: top level - process/test - parse_test.cpp (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 36 36 100.0 % Date: 2024-05-04 03:44:52 Functions: 11 11 100.0 % Legend: Lines: hit not hit

Function Name	Hit count
_ZL18test_parse_invokerv	1
_ZL20test_actdecl_invokerv	1
_ZL32test_stochastic_operator_invokerv	1
_ZL37parse_process_expression_test_invokerv	1
_ZL40test_parse_process_specification_invokerv	1
_ZN10test_parse11test_methodEv	1
_ZN12test_actdecl11test_methodEv	1
_ZN24test_stochastic_operator11test_methodEv	1
_ZN29parse_process_expression_test11test_methodEv	1
_ZN32test_parse_process_specification11test_methodEv	1
_Z29test_parse_process_expressionISt3setIN5mcrl24data8variableESt4lessIS3_ESaIS3_EEN7atermpp9term_listINS1_7process12action_labelEEESt6vectorINSA_18process_identifierESaISE_EEEvRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKT_RKNS2_18data_specificationERKT0_RKT1_	3

Generated by: LCOV version 1.14