Test ran at 2025-03-12 13:24:17.190767+00:00 SOLUTION: matreshka_amf_utp=21.0.0: The UML Testing Profile for AMF Origin: commit ecbb733e1e66e6d9a51501d148a1733e47da2fef from https://github.com/reznikmm/matreshka-alire Properties: Author: Vadim Godunko Description: The UML Testing Profile for AMF License: BSD-3-Clause Maintainer: Vadim Godunko Maintainer: Maxim Reznik Maintainers_Logins: godunko Maintainers_Logins: reznikmm Name: matreshka_amf_utp Project_File: build_matreshka_amf_utp.gpr Tag: uml Tag: meta Tag: diagram Tag: testing Version: 21.0.0 Website: https://github.com/godunko/matreshka Dependencies (direct): matreshka_amf_uml21.0.0 matreshka_league21.0.0 Dependencies (solution): make=4.4.1 matreshka_amf=21.0.0 matreshka_amf_dd=21.0.0 matreshka_amf_uml=21.0.0 matreshka_league=21.0.0 matreshka_xml=21.0.0 Dependencies (graph): matreshka_amf=21.0.0 --> matreshka_league=21.0.0 (21.0.0) matreshka_amf=21.0.0 --> matreshka_xml=21.0.0 (21.0.0) matreshka_amf_dd=21.0.0 --> matreshka_amf=21.0.0 (21.0.0) matreshka_amf_dd=21.0.0 --> matreshka_league=21.0.0 (21.0.0) matreshka_amf_uml=21.0.0 --> matreshka_amf_dd=21.0.0 (21.0.0) matreshka_amf_uml=21.0.0 --> matreshka_league=21.0.0 (21.0.0) matreshka_amf_utp=21.0.0 --> matreshka_amf_uml=21.0.0 (21.0.0) matreshka_amf_utp=21.0.0 --> matreshka_league=21.0.0 (21.0.0) matreshka_league=21.0.0 --> make=4.4.1 (*) matreshka_xml=21.0.0 --> matreshka_league=21.0.0 (21.0.0) LOG: Spawning: alr -d -n get --build matreshka_amf_utp=21.0.0 Note: Deploying matreshka_amf_utp=21.0.0... Note: Building matreshka_amf_utp=21.0.0/build_matreshka_amf_utp.gpr... Setup [mkdir] object directory for project Matreshka_AMF_UTP Compile [Ada] amf-utp-test_log_applications-hash.ads [Ada] amf-internals-utp_defaults.adb [Ada] amf-internals-utp_data_pools.adb [Ada] amf-internals-utp_set_timezone_actions.adb [Ada] amf-utp-determ_alts.ads [Ada] amf-internals-utp_test_log_applications.adb amf-internals-utp_set_timezone_actions.adb:49:06: warning: redundant with clause in body [-gnatwr] [Ada] amf-utp-holders-verdicts.ads amf-internals-utp_data_pools.adb:49:06: warning: redundant with clause in body [-gnatwr] amf-internals-utp_data_pools.adb:50:06: warning: redundant with clause in body [-gnatwr] [Ada] amf-utp-get_timezone_actions-hash.ads amf-internals-utp_defaults.adb:49:06: warning: redundant with clause in body [-gnatwr] [Ada] amf-utp-read_timer_actions-hash.ads [Ada] amf-utp-test_suites-collections.ads [Ada] amf-utp-data_selectors-hash.ads amf-internals-utp_test_log_applications.adb:49:06: warning: redundant with clause in body [-gnatwr] [Ada] amf-utp-managed_elements-collections.ads [Ada] amf-utp-time_out_actions-collections.ads [Ada] amf-internals-utp_time_outs.adb amf-internals-utp_time_outs.adb:49:06: warning: redundant with clause in body [-gnatwr] [Ada] amf-utp-time_outs-hash.ads [Ada] amf-internals-utp_test_objectives.adb [Ada] amf-utp-finish_actions-hash.ads [Ada] amf-utp-timer_running_actions-collections.ads [Ada] amf-utp-coding_rules.ads [Ada] amf-utp-test_log_applications-collections.ads [Ada] amf-utp-defaults.ads amf-internals-utp_test_objectives.adb:49:06: warning: redundant with clause in body [-gnatwr] [Ada] amf-utp-coding_rules-hash.ads [Ada] amf-internals-tables-utp_metamodel.adb [Ada] amf-internals-tables-utp_notification.adb [Ada] amf-internals-utp_suts.adb [Ada] amf-internals-utp_validation_actions.adb [Ada] amf-internals-tables-utp_reflection.adb [Ada] amf-utp-time_out_messages-hash.ads amf-internals-utp_suts.adb:49:06: warning: redundant with clause in body [-gnatwr] [Ada] amf-internals-tables-utp_string_data_00.ads [Ada] amf-internals-tables-utp_types.ads amf-internals-utp_validation_actions.adb:49:06: warning: redundant with clause in body [-gnatwr] [Ada] amf-utp-timer_running_actions.ads [Ada] amf-internals-utp_managed_elements.adb [Ada] amf-utp-time_outs-collections.ads [Ada] amf-internals-utp_test_cases.adb amf-internals-utp_managed_elements.adb:49:06: warning: redundant with clause in body [-gnatwr] [Ada] amf-utp-managed_elements.ads [Ada] amf-utp-get_timezone_actions-collections.ads [Ada] amf-utp-data_partitions.ads amf-internals-utp_test_cases.adb:49:06: warning: redundant with clause in body [-gnatwr] amf-internals-utp_test_cases.adb:50:06: warning: redundant with clause in body [-gnatwr] amf-internals-utp_test_cases.adb:51:06: warning: redundant with clause in body [-gnatwr] amf-internals-utp_test_cases.adb:169:07: warning: unreachable code [enabled by default] amf-internals-utp_test_cases.adb:181:07: warning: unreachable code [enabled by default] [Ada] amf-utp-validation_actions.ads [Ada] amf-internals-utp_time_out_messages.adb [Ada] amf-utp-test_components-collections.ads amf-internals-utp_time_out_messages.adb:49:06: warning: redundant with clause in body [-gnatwr] [Ada] amf-internals-utp_data_partitions.adb [Ada] amf-utp-test_objectives-hash.ads [Ada] amf-utp-stop_timer_actions.ads amf-internals-utp_data_partitions.adb:49:06: warning: redundant with clause in body [-gnatwr] [Ada] amf-utp-test_cases.ads [Ada] amf-utp-start_timer_actions.ads [Ada] amf-utp-test_contexts-hash.ads amf-internals-tables-utp_reflection.adb:106:06: warning: redundant with clause in body [-gnatwr] [Ada] amf-utp-default_applications.ads [Ada] amf-utp-data_selectors-collections.ads [Ada] amf-internals-tables-utp_metamodel-links.adb [Ada] amf-utp-log_actions-collections.ads [Ada] amf-utp-literal_any_or_nulls.ads [Ada] amf-utp-test_logs-collections.ads [Ada] amf-utp-time_out_actions.ads [Ada] amf-utp-data_pools-hash.ads [Ada] amf-utp-time_out_messages.ads [Ada] amf-utp-data_partitions-collections.ads [Ada] amf-internals-utp_test_components.adb [Ada] amf-utp-test_objectives.ads [Ada] amf-utp-timer_running_actions-hash.ads [Ada] amf-utp-log_actions-hash.ads amf-internals-utp_test_components.adb:49:06: warning: redundant with clause in body [-gnatwr] amf-internals-utp_test_components.adb:50:06: warning: redundant with clause in body [-gnatwr] amf-internals-utp_test_components.adb:94:07: warning: unreachable code [enabled by default] amf-internals-utp_test_components.adb:106:07: warning: unreachable code [enabled by default] [Ada] amf-internals-utp_test_contexts.adb [Ada] amf-utp.ads [Ada] amf-utp-test_suites-hash.ads [Ada] amf-utp-set_timezone_actions-collections.ads [Ada] amf-utp-test_cases-collections.ads [Ada] amf-internals-tables-utp_metamodel-objects.adb amf-internals-utp_test_contexts.adb:49:06: warning: redundant with clause in body [-gnatwr] amf-internals-utp_test_contexts.adb:50:06: warning: redundant with clause in body [-gnatwr] amf-internals-utp_test_contexts.adb:51:06: warning: redundant with clause in body [-gnatwr] amf-internals-utp_test_contexts.adb:169:07: warning: unreachable code [enabled by default] amf-internals-utp_test_contexts.adb:181:07: warning: unreachable code [enabled by default] [Ada] amf-utp-test_logs.ads [Ada] amf-utp-get_timezone_actions.ads [Ada] amf-internals-utp_start_timer_actions.adb [Ada] amf-internals-utp_stop_timer_actions.adb [Ada] amf-utp-test_components.ads [Ada] amf-utp-defaults-hash.ads [Ada] amf-utp-test_logs-hash.ads [Ada] amf-internals-utp_get_timezone_actions.adb amf-internals-utp_start_timer_actions.adb:49:06: warning: redundant with clause in body [-gnatwr] [Ada] amf-internals-tables-utp_element_table.ads amf-internals-utp_stop_timer_actions.adb:49:06: warning: redundant with clause in body [-gnatwr] [Ada] amf-internals-utp_coding_rules.adb [Ada] amf-utp-time_out_messages-collections.ads [Ada] amf-utp-set_timezone_actions.ads amf-internals-utp_get_timezone_actions.adb:49:06: warning: redundant with clause in body [-gnatwr] [Ada] amf-internals-utp_elements.adb [Ada] amf-utp-time_out_actions-hash.ads amf-internals-utp_coding_rules.adb:49:06: warning: redundant with clause in body [-gnatwr] amf-internals-utp_coding_rules.adb:50:06: warning: redundant with clause in body [-gnatwr] amf-internals-utp_coding_rules.adb:51:06: warning: redundant with clause in body [-gnatwr] [Ada] amf-utp-validation_actions-hash.ads [Ada] amf-internals-modules-utp_module.adb [Ada] amf-internals-tables-utp_constructors.adb [Ada] amf-utp-test_components-hash.ads [Ada] amf-utp-data_selectors.ads [Ada] amf-utp-suts-hash.ads [Ada] amf-visitors-utp_iterators.ads [Ada] amf-internals-utp_literal_any_or_nulls.adb [Ada] amf-utp-validation_actions-collections.ads [Ada] amf-internals-utp_timer_running_actions.adb amf-internals-utp_literal_any_or_nulls.adb:49:06: warning: redundant with clause in body [-gnatwr] [Ada] amf-utp-data_pools-collections.ads amf-internals-utp_timer_running_actions.adb:49:06: warning: redundant with clause in body [-gnatwr] [Ada] amf-utp-determ_alts-hash.ads [Ada] amf-utp-suts-collections.ads amf-internals-tables-utp_constructors.adb:85:04: warning: use clause for package "Tables" has no effect [-gnatwu] amf-internals-tables-utp_constructors.adb:86:04: warning: use clause for type "AMF_Collection_Of_Element" defined at amf-internals.ads:75 has no effect [-gnatwu] amf-internals-tables-utp_constructors.adb:748:18: warning: there are no others [-gnatwr] [Ada] amf-internals-utp_test_suites.adb [Ada] amf-internals-tables-utp_metamodel-properties.adb [Ada] amf-utp-test_suites.ads [Ada] amf-utp-defaults-collections.ads [Ada] amf-utp-literal_anies-hash.ads [Ada] amf-utp-coding_rules-collections.ads amf-internals-utp_test_suites.adb:50:06: warning: redundant with clause in body [-gnatwr] amf-internals-utp_test_suites.adb:51:06: warning: redundant with clause in body [-gnatwr] [Ada] amf-utp-stop_timer_actions-hash.ads [Ada] amf-utp-managed_elements-hash.ads [Ada] amf-utp-finish_actions-collections.ads [Ada] amf-utp-holders.adb [Ada] amf-internals-utp_test_logs.adb [Ada] amf-internals-factories-utp_module_factory.adb [Ada] amf-utp-test_contexts-collections.ads [Ada] amf-utp-test_cases-hash.ads [Ada] amf-internals-tables-utp_attribute_mappings.ads [Ada] amf-utp-default_applications-hash.ads amf-internals-tables-utp_attribute_mappings.ads:108:19: warning: there are no others [-gnatwr] [Ada] amf-utp-time_outs.ads [Ada] amf-utp-literal_any_or_nulls-hash.ads [Ada] amf-internals-utp_literal_anies.adb amf-internals-utp_test_logs.adb:49:06: warning: redundant with clause in body [-gnatwr] amf-internals-utp_test_logs.adb:50:06: warning: redundant with clause in body [-gnatwr] amf-internals-utp_test_logs.adb:97:07: warning: unreachable code [enabled by default] [Ada] amf-utp-set_timezone_actions-hash.ads [Ada] amf-internals-utp_time_out_actions.adb [Ada] amf-utp-start_timer_actions-collections.ads [Ada] amf-utp-data_pools.ads amf-internals-utp_literal_anies.adb:49:06: warning: redundant with clause in body [-gnatwr] [Ada] amf-utp-read_timer_actions.ads amf-internals-utp_time_out_actions.adb:49:06: warning: redundant with clause in body [-gnatwr] [Ada] amf-utp-finish_actions.ads [Ada] amf-utp-literal_any_or_nulls-collections.ads [Ada] amf-utp-log_actions.ads [Ada] amf-internals-utp_data_selectors.adb [Ada] amf-internals-factories-utp_factories.adb [Ada] amf-visitors-utp_visitors.ads amf-internals-utp_data_selectors.adb:49:06: warning: redundant with clause in body [-gnatwr] [Ada] amf-internals-utp_finish_actions.adb [Ada] amf-utp-test_log_applications.ads [Ada] amf-utp-determ_alts-collections.ads [Ada] amf-utp-test_contexts.ads amf-internals-utp_finish_actions.adb:49:06: warning: redundant with clause in body [-gnatwr] amf-internals-utp_finish_actions.adb:50:06: warning: redundant with clause in body [-gnatwr] [Ada] amf-factories-utp_factories.ads [Ada] amf-utp-start_timer_actions-hash.ads [Ada] amf-internals-utp_default_applications.adb [Ada] amf-utp-test_objectives-collections.ads [Ada] amf-utp-literal_anies-collections.ads [Ada] amf-internals-utp_read_timer_actions.adb amf-internals-utp_default_applications.adb:49:06: warning: redundant with clause in body [-gnatwr] [Ada] amf-utp-literal_anies.ads [Ada] amf-utp-data_partitions-hash.ads [Ada] amf-internals-utp_log_actions.adb amf-internals-utp_read_timer_actions.adb:49:06: warning: redundant with clause in body [-gnatwr] [Ada] amf-internals-tables-utp_attributes.adb [Ada] amf-utp-stop_timer_actions-collections.ads [Ada] amf-utp-default_applications-collections.ads amf-internals-utp_log_actions.adb:49:06: warning: redundant with clause in body [-gnatwr] [Ada] amf-utp-suts.ads [Ada] amf-utp-read_timer_actions-collections.ads [Ada] amf-internals-utp_determ_alts.adb amf-internals-utp_determ_alts.adb:49:06: warning: redundant with clause in body [-gnatwr] Build Libraries [gprlib] matreshka-amf-utp-14.2.lexch [link library] libmatreshka-amf-utp-14.2.so matreshka_amf_utp=21.0.0 successfully retrieved and built. Dependencies were solved as follows: +b make 4.4.1 (new,indirect,system package) + matreshka_amf 21.0.0 (new,indirect) + matreshka_amf_dd 21.0.0 (new,indirect) + matreshka_amf_uml 21.0.0 (new) + matreshka_league 21.0.0 (new) + matreshka_xml 21.0.0 (new,indirect) Found declared GPR file: build_matreshka_amf_utp.gpr