LCOV - code coverage report

Current view: top level - lps/test - stochastic_specification_test.cpp (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 85 85 100.0 % Date: 2024-04-19 03:43:27 Functions: 28 28 100.0 % Legend: Lines: hit not hit

Function Name	Hit count
_ZL18test_print_invokerv	1
_ZL19test_parelm_invokerv	1
_ZL22bound_variable_invokerv	1
_ZL26test_is_stochastic_invokerv	1
_ZL26test_linearisation_invokerv	1
_ZL30test_push_dist_outward_invokerv	1
_ZL31test_empty_distribution_invokerv	1
_ZL34distributed_sum_over_dist1_invokerv	1
_ZL34distributed_sum_over_dist2_invokerv	1
_ZL36distribution_insided_sum_bug_invokerv	1
_ZL40test_remove_stochastic_operators_invokerv	1
_ZL43test_multiple_stochastic_parameters_invokerv	1
_ZL44test_properly_change_bound_variables_invokerv	1
_ZL46non_bound_initial_stochastic_variables_invokerv	1
_ZN10test_print11test_methodEv	1
_ZN11test_parelm11test_methodEv	1
_ZN14bound_variable11test_methodEv	1
_ZN18test_is_stochastic11test_methodEv	1
_ZN18test_linearisation11test_methodEv	1
_ZN22test_push_dist_outward11test_methodEv	1
_ZN23test_empty_distribution11test_methodEv	1
_ZN26distributed_sum_over_dist111test_methodEv	1
_ZN26distributed_sum_over_dist211test_methodEv	1
_ZN28distribution_insided_sum_bug11test_methodEv	1
_ZN32test_remove_stochastic_operators11test_methodEv	1
_ZN35test_multiple_stochastic_parameters11test_methodEv	1
_ZN36test_properly_change_bound_variables11test_methodEv	1
_ZN38non_bound_initial_stochastic_variables11test_methodEv	1

Generated by: LCOV version 1.14