LCOV - code coverage report
Current view: top level - lps/test - timed_linearization_test.cpp (source / functions) Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 114 125 91.2 %
Date: 2024-03-08 02:52:28 Functions: 34 34 100.0 %
Legend: Lines: hit not hit

Function Name Sort by function name Hit count Sort by hit count
_ZL23Check_terminate_invokerv 1
_ZL29Check_parallel_deltas_invokerv 1
_ZL34Check_single_timed_process_invokerv 1
_ZL37Check_terminate_and_synchrony_invokerv 1
_ZL38Check_parallel_timed_processes_invokerv 1
_ZL39Check_terminate_and_parallelism_invokerv 1
_ZL47Check_parallel_timed_processes_reversed_invokerv 1
_ZL48Check_parallel_deltas_with_the_same_time_invokerv 1
_ZL49Check_terminate_and_parallelism_deadlock1_invokerv 1
_ZL49Check_terminate_and_parallelism_deadlock2_invokerv 1
_ZL50Check_terminate_and_synchrony_and_deadlock_invokerv 1
_ZL57Check_parallel_timed_processes_with_the_same_time_invokerv 1
_ZL58Check_parallel_action_and_delta_with_the_same_time_invokerv 1
_ZL60Check_parallel_action_and_delta_with_different_time1_invokerv 1
_ZL60Check_parallel_action_and_delta_with_different_time2_invokerv 1
_ZN15Check_terminate11test_methodEv 1
_ZN21Check_parallel_deltas11test_methodEv 1
_ZN26Check_single_timed_process11test_methodEv 1
_ZN29Check_terminate_and_synchrony11test_methodEv 1
_ZN30Check_parallel_timed_processes11test_methodEv 1
_ZN31Check_terminate_and_parallelism11test_methodEv 1
_ZN39Check_parallel_timed_processes_reversed11test_methodEv 1
_ZN40Check_parallel_deltas_with_the_same_time11test_methodEv 1
_ZN41Check_terminate_and_parallelism_deadlock111test_methodEv 1
_ZN41Check_terminate_and_parallelism_deadlock211test_methodEv 1
_ZN42Check_terminate_and_synchrony_and_deadlock11test_methodEv 1
_ZN49Check_parallel_timed_processes_with_the_same_time11test_methodEv 1
_ZN50Check_parallel_action_and_delta_with_the_same_time11test_methodEv 1
_ZN52Check_parallel_action_and_delta_with_different_time111test_methodEv 1
_ZN52Check_parallel_action_and_delta_with_different_time211test_methodEv 1
_Z27run_linearisation_test_caseRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEbmbm 15
_Z26run_linearisation_instanceRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKN5mcrl23lps13t_lin_optionsEbNS7_4data15data_expressionEbSD_ 90
_Z14ultimate_delayRKSt6vectorIN5mcrl23lps16deadlock_summandESaIS2_EE 108
_Z14ultimate_delayRKSt6vectorIN5mcrl23lps25stochastic_action_summandESaIS2_EE 180

Generated by: LCOV version 1.14