LCOV - code coverage report

Current view: top level - lts/test - lps2lts_test.cpp (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 168 171 98.2 % Date: 2024-04-21 03:44:01 Functions: 66 67 98.5 % Legend: Lines: hit not hit

Function Name	Hit count
_Z20generate_state_spaceILb1ELb1EN5mcrl23lps24stochastic_specificationENS0_3lts22stochastic_lts_builderEEvRKT1_RT2_RKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKNS1_16explorer_optionsE	0
_ZL16test_abp_invokerv	1
_ZL17test_plus_invokerv	1
_ZL18test_timed_invokerv	1
_ZL19test_struct_invokerv	1
_ZL20test_a_delta_invokerv	1
_ZL23test_confluence_invokerv	1
_ZL26test_alias_complex_invokerv	1
_ZL27coins_simulate_dice_invokerv	1
_ZL29test_function_updates_invokerv	1
_ZL36test_equality_of_finite_sets_invokerv	1
_ZL36test_equality_with_empty_set_invokerv	1
_ZL43test_whether_sets_can_be_enumerated_invokerv	1
_ZL48test_whether_function_update_is_declared_invokerv	1
_ZL48test_whether_functions_can_be_enumerated_invokerv	1
_ZL50test_whether_finite_sets_can_be_enumerated_invokerv	1
_ZL52test_whether_action_a_b_and_b_a_are_the_same_invokerv	1
_ZL53test_interaction_sum_and_assignment_notation1_invokerv	1
_ZL53test_interaction_sum_and_assignment_notation2_invokerv	1
_ZL56test_well_typedness_of_length_of_list_of_numbers_invokerv	1
_ZL56test_whether_sets_of_functions_can_be_enumerated_invokerv	1
_ZL59test_whether_sets_with_conditions_can_be_enumerated_invokerv	1
_ZL63test_whether_finite_sets_of_functions_can_be_enumerated_invokerv	1
_ZL64test_whether_functions_to_functions_are_causing_problems_invokerv	1
_ZL66test_whether_finite_sets_with_conditions_can_be_enumerated_invokerv	1
_ZL68test_whether_functions_with_more_arguments_can_be_enumerated_invokerv	1
_ZL69test_whether_bag_enumeration_with_similar_elements_is_allowed_invokerv	1
_ZL71test_whether_probabilistic_state_spaces_are_generated_correctly_invokerv	1
_ZN10test_timed11test_methodEv	1
_ZN11test_struct11test_methodEv	1
_ZN12test_a_delta11test_methodEv	1
_ZN15test_confluence11test_methodEv	1
_ZN18test_alias_complex11test_methodEv	1
_ZN19coins_simulate_dice11test_methodEv	1
_ZN21test_function_updates11test_methodEv	1
_ZN28test_equality_of_finite_sets11test_methodEv	1
_ZN28test_equality_with_empty_set11test_methodEv	1
_ZN35test_whether_sets_can_be_enumerated11test_methodEv	1
_ZN40test_whether_function_update_is_declared11test_methodEv	1
_ZN40test_whether_functions_can_be_enumerated11test_methodEv	1
_ZN42test_whether_finite_sets_can_be_enumerated11test_methodEv	1
_ZN44test_whether_action_a_b_and_b_a_are_the_same11test_methodEv	1
_ZN45test_interaction_sum_and_assignment_notation111test_methodEv	1
_ZN45test_interaction_sum_and_assignment_notation211test_methodEv	1
_ZN48test_well_typedness_of_length_of_list_of_numbers11test_methodEv	1
_ZN48test_whether_sets_of_functions_can_be_enumerated11test_methodEv	1
_ZN51test_whether_sets_with_conditions_can_be_enumerated11test_methodEv	1
_ZN55test_whether_finite_sets_of_functions_can_be_enumerated11test_methodEv	1
_ZN56test_whether_functions_to_functions_are_causing_problems11test_methodEv	1
_ZN58test_whether_finite_sets_with_conditions_can_be_enumerated11test_methodEv	1
_ZN60test_whether_functions_with_more_arguments_can_be_enumerated11test_methodEv	1
_ZN61test_whether_bag_enumeration_with_similar_elements_is_allowed11test_methodEv	1
_ZN63test_whether_probabilistic_state_spaces_are_generated_correctly11test_methodEv	1
_ZN8test_abp11test_methodEv	1
_ZN9test_plus11test_methodEv	1
_Z9check_ltsIN5mcrl23lts23probabilistic_lts_aut_tEEvRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKNS0_3lps24stochastic_specificationENS0_4data16rewrite_strategyENSB_20exploration_strategyEmmmSA_	4
_Z9check_ltsIN5mcrl23lts23probabilistic_lts_fsm_tEEvRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKNS0_3lps24stochastic_specificationENS0_4data16rewrite_strategyENSB_20exploration_strategyEmmmSA_	4
_Z9check_ltsIN5mcrl23lts23probabilistic_lts_lts_tEEvRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKNS0_3lps24stochastic_specificationENS0_4data16rewrite_strategyENSB_20exploration_strategyEmmmSA_	4
_Z20generate_state_spaceILb0ELb1EN5mcrl23lps13specificationENS0_3lts11lts_builderEEvRKT1_RT2_RKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKNS1_16explorer_optionsE	6
_Z20generate_state_spaceILb1ELb0EN5mcrl23lps24stochastic_specificationENS0_3lts22stochastic_lts_builderEEvRKT1_RT2_RKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKNS1_16explorer_optionsE	12
_ZL27check_lps2lts_specificationRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEmmmS6_	29
_Z9check_ltsIN5mcrl23lts9lts_aut_tEEvRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKNS0_3lps24stochastic_specificationENS0_4data16rewrite_strategyENSB_20exploration_strategyEmmmSA_	54
_Z9check_ltsIN5mcrl23lts9lts_fsm_tEEvRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKNS0_3lps24stochastic_specificationENS0_4data16rewrite_strategyENSB_20exploration_strategyEmmmSA_	54
_Z9check_ltsIN5mcrl23lts9lts_lts_tEEvRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKNS0_3lps24stochastic_specificationENS0_4data16rewrite_strategyENSB_20exploration_strategyEmmmSA_	54
_Z20generate_state_spaceILb0ELb0EN5mcrl23lps13specificationENS0_3lts11lts_builderEEvRKT1_RT2_RKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKNS1_16explorer_optionsE	156
_Z14file_extensionB5cxx11N5mcrl23lts8lts_typeE	174
_Z15run_generateltsRKN5mcrl23lps24stochastic_specificationENS_4data16rewrite_strategyENS0_20exploration_strategyENS_3lts8lts_typeERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESG_	174

Generated by: LCOV version 1.14