LCOV - code coverage report

Current view: top level - utilities/include/mcrl2/utilities - workarounds.h (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 2 2 100.0 % Date: 2024-05-04 03:44:52 Functions: 26 26 100.0 % Legend: Lines: hit not hit

Function Name	Hit count
_ZN5mcrl210workaround15return_std_moveIN7atermpp9term_listINS3_INS2_5atermEEEEEEEOT_RS7_	2
_ZN5mcrl210workaround15return_std_moveIN7atermpp9term_listINS_7process17rename_expressionEEEEEOT_RS7_	8
_ZN5mcrl210workaround15return_std_moveIN7atermpp9term_listINS_4data6detail31variable_with_a_rational_factorEEEEEOT_RS8_	39
_ZN5mcrl210workaround15return_std_moveIN7atermpp9term_listINS_7process24communication_expressionEEEEEOT_RS7_	126
_ZN5mcrl210workaround15return_std_moveIN7atermpp9term_listINS_4data21assignment_expressionEEEEEOT_RS7_	127
_ZN5mcrl210workaround15return_std_moveIN7atermpp9term_listINS_4data22untyped_data_parameterEEEEEOT_RS7_	197
_ZN5mcrl210workaround15return_std_moveIN7atermpp9term_listINS_4data15function_symbolEEEEEOT_RS7_	328
_ZN5mcrl210workaround15return_std_moveINS_4data11applicationEEEOT_RS4_	331
_ZN5mcrl210workaround15return_std_moveIN7atermpp9term_listINS_4data29untyped_identifier_assignmentEEEEEOT_RS7_	484
_ZN5mcrl210workaround15return_std_moveIN7atermpp9term_listINS_7process20action_name_multisetEEEEEOT_RS7_	992
_ZN5mcrl210workaround15return_std_moveIN7atermpp9term_listINS3_INS3_INS_4data6detail10match_treeEEEEEEEEEOT_RSA_	1080
_ZN5mcrl210workaround15return_std_moveIN7atermpp9term_listINS_7process12action_labelEEEEEOT_RS7_	1365
_ZN5mcrl210workaround15return_std_moveIN7atermpp9term_listINS2_5atermEEEEEOT_RS6_	1724
_ZN5mcrl210workaround15return_std_moveINS_11pbes_system36propositional_variable_instantiationEEEOT_RS4_	1732
_ZN5mcrl210workaround15return_std_moveIN7atermpp9term_listINS_4data6detail18variable_or_numberEEEEEOT_RS8_	2756
_ZN5mcrl210workaround15return_std_moveIN7atermpp9term_listINS_4data6detail10match_treeEEEEEOT_RS8_	5556
_ZN5mcrl210workaround15return_std_moveIN7atermpp9term_listINS_4data13function_sortEEEEEOT_RS7_	8949
_ZN5mcrl210workaround15return_std_moveIN7atermpp9term_listINS2_12aterm_stringEEEEEOT_RS6_	10699
_ZN5mcrl210workaround15return_std_moveIN7atermpp9term_listINS_4data10assignmentEEEEEOT_RS7_	18993
_ZN5mcrl210workaround15return_std_moveIN7atermpp9term_listINS_4data27structured_sort_constructorEEEEEOT_RS7_	21561
_ZN5mcrl210workaround15return_std_moveIN7atermpp9term_listINS_4data36structured_sort_constructor_argumentEEEEEOT_RS7_	42169
_ZN5mcrl210workaround15return_std_moveIN7atermpp9term_listINS_7process6actionEEEEEOT_RS7_	268371
_ZN5mcrl210workaround15return_std_moveIN7atermpp9term_listINS3_INS_4data8variableEEEEEEEOT_RS8_	582881
_ZN5mcrl210workaround15return_std_moveIN7atermpp9term_listINS_4data15data_expressionEEEEEOT_RS7_	1642528
_ZN5mcrl210workaround15return_std_moveIN7atermpp9term_listINS_4data8variableEEEEEOT_RS7_	7583974
_ZN5mcrl210workaround15return_std_moveIN7atermpp9term_listINS_4data15sort_expressionEEEEEOT_RS7_	18573094

Generated by: LCOV version 1.14