LCOV - code coverage report

Current view: top level - lps/test - multi_action_test.cpp (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 74 74 100.0 % Date: 2024-04-26 03:18:02 Functions: 7 7 100.0 % Legend: Lines: hit not hit

Function Name	Hit count
_Z24test_equal_multi_actionsv	1
_Z7test_ppv	1
_ZL17test_main_invokerv	1
_ZN9test_main11test_methodEv	1
_Z3natRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE	6
_Z18test_multi_actionsRKN7atermpp9term_listIN5mcrl27process6actionEEES6_RKNS1_4data15data_expressionE	10
_Z3actRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEN7atermpp9term_listIN5mcrl24data15data_expressionEEE	25

Generated by: LCOV version 1.14