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
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