Test ran at 2024-04-21 13:10:17.442617+00:00 SOLUTION: hirtos=1.0.0: High-Integrity RTOS Origin: commit e7372ec1e07fcafeb28af66e9a62e890dce8b9d1 from https://github.com/jgrivera67/HiRTOS.git Properties: Author: J. German Rivera Config type: Separation_Kernel_Debug_Tracing_On : Boolean default: 'false' Configuration: no modifiers Description: High-Integrity RTOS License: Apache-2.0 Maintainer: J. German Rivera Maintainers_Logins: jgrivera67 Name: hirtos Tag: rtos Version: 1.0.0 Website: https://github.com/jgrivera67/HiRTOS Dependencies (direct): gnat_arm_elf^13.2.1 gnatprove^13.2.1 Dependencies (solution): gnat_arm_elf=13.2.1 (installed) gnatprove=13.2.1 (installed) Dependencies (graph): hirtos=1.0.0 --> gnat_arm_elf=13.2.1 (^13.2.1) hirtos=1.0.0 --> gnatprove=13.2.1 (^13.2.1) LOG: Note: Deploying hirtos=1.0.0... Note: Deploying gnat_arm_elf=13.2.1... #=#=# 0.0% 0.4% 1.2% # 2.7% ## 3.9% ### 5.1% ### 5.5% ##### 7.6% ###### 9.1% ####### 10.4% ######## 11.9% ######### 13.2% ########## 14.6% ########### 16.0% ############ 17.4% ############# 18.8% ############## 20.3% ############### 21.6% ################ 23.0% ################# 24.4% ################## 25.8% ################### 27.0% #################### 28.6% ##################### 30.1% ###################### 31.3% ####################### 32.8% ######################## 34.1% ######################### 35.6% ########################## 36.8% ########################### 38.2% ############################ 39.6% ############################# 41.1% ############################## 42.6% ############################### 44.1% ################################ 45.4% ################################# 46.8% ################################## 48.2% ################################### 49.6% #################################### 51.0% ##################################### 52.5% ###################################### 53.9% ####################################### 55.3% ######################################## 56.7% ######################################### 58.0% ########################################## 59.2% ########################################### 60.7% ############################################ 61.6% ############################################# 62.7% ############################################## 64.2% ############################################### 65.7% ################################################ 67.5% ################################################# 69.3% ################################################## 70.7% ################################################### 72.1% #################################################### 73.5% ##################################################### 75.0% ###################################################### 76.2% ######################################################## 77.9% ######################################################### 79.2% ########################################################## 80.7% ########################################################### 82.1% ############################################################ 83.5% ############################################################# 84.9% ############################################################## 86.4% ############################################################### 87.7% ################################################################ 89.2% ################################################################# 90.6% ################################################################## 92.0% ################################################################### 93.5% #################################################################### 95.0% ##################################################################### 96.4% ###################################################################### 97.8% ####################################################################### 99.3% ######################################################################## 100.0% Note: gnat_arm_elf=13.2.1 installed successfully. Note: Deploying gnatprove=13.2.1... #=#=# 0.0% 0.5% # 1.9% ## 3.5% ### 5.2% #### 6.8% ###### 8.5% ####### 10.1% ######## 11.8% ######### 13.5% ########## 15.2% ############ 16.9% ############ 18.0% ############## 19.6% ############## 20.3% ############### 21.9% ################ 23.2% ################# 24.3% ################## 25.3% ################### 26.9% #################### 28.6% ##################### 30.3% ###################### 31.9% ######################## 33.6% ######################## 34.4% ######################### 35.8% ########################## 37.5% ############################ 39.2% ############################# 40.9% ############################## 42.5% ############################### 44.2% ################################ 45.8% ################################## 47.6% ################################### 49.1% #################################### 50.9% ##################################### 52.5% ####################################### 54.3% ######################################## 55.8% ######################################### 57.2% ########################################## 58.8% ########################################### 60.0% ############################################ 61.6% ############################################# 63.3% ############################################## 64.4% ############################################## 64.6% ############################################### 66.3% ################################################ 67.9% ################################################## 69.6% ################################################## 70.4% ################################################### 71.9% ##################################################### 73.7% ###################################################### 75.4% ####################################################### 77.2% ######################################################## 78.8% ########################################################## 80.6% ########################################################### 82.3% ############################################################ 84.0% ############################################################# 85.7% ############################################################## 87.3% ############################################################### 88.0% ################################################################ 89.5% ################################################################# 90.8% ################################################################## 92.5% ################################################################### 94.2% ##################################################################### 95.9% ###################################################################### 97.6% ####################################################################### 99.3% ######################################################################## 100.0% Note: gnatprove=13.2.1 installed successfully. Note: Building hirtos/hirtos.gpr... Setup [mkdir] object directory for project Portable_Minimal_Ada_Rts [mkdir] library directory for project Portable_Minimal_Ada_Rts [mkdir] object directory for project HiRTOS [mkdir] library directory for project HiRTOS Compile [Ada] s-fatllf.ads [Ada] s-secsta.adb [Ada] gnat.ads [Ada] a-unccon.ads [Ada] a-assert.adb [Ada] s-maccod.ads [Ada] a-except.adb [Ada] s-fatgen.adb [Ada] s-atacco.adb [Ada] s-stoele.adb [Ada] s-fatlfl.ads [Ada] s-unstyp.ads [Ada] system.ads [Ada] a-uncdea.ads [Ada] s-fatflt.ads [Ada] g-souinf.ads [Ada] s-parame.ads [Ada] i-c.adb [Ada] s-assert.adb [Ada] interfac.ads [Ada] ada.ads [Asm_Cpp] hirtos_cpu_startup_asm.S [C] mem_utils.c [Ada] hirtos_config.ads [Ada] hirtos_low_level_debug_interface.adb [Ada] hirtos_platform_parameters.ads [Ada] hirtos_cpu_arch_interface-interrupts.ads [Ada] uart_driver.adb [Ada] hirtos_cpu_arch_interface-tick_timer.adb [Ada] hirtos_cpu_arch_interface-system_registers.adb [Ada] hirtos_cpu_arch_interface-memory_protection.adb /home/runner/work/alire-crates-ci/alire-crates-ci/test/645c3a61-04a2-4eb5-811b-868d959091b6/hirtos_1.0.0_e7372ec1/src/porting_layer/platforms/arm_fvp/uart_driver.ads:495:08: (style) space not allowed [Ada] hirtos_cpu_arch_interface-interrupt_controller.adb [Ada] hirtos_cpu_arch_interface-memory_protection-el1_mpu.adb [Ada] hirtos_cpu_arch_interface-thread_context.adb [Ada] hirtos_cpu_arch_interface.adb /home/runner/work/alire-crates-ci/alire-crates-ci/test/645c3a61-04a2-4eb5-811b-868d959091b6/hirtos_1.0.0_e7372ec1/src/porting_layer/cpu_architectures/hirtos_cpu_arch_interface.ads:49:05: warning: postcondition does not mention function result [-gnatw.t] [Ada] hirtos_cpu_arch_interface-interrupt_handling.adb /home/runner/work/alire-crates-ci/alire-crates-ci/test/645c3a61-04a2-4eb5-811b-868d959091b6/hirtos_1.0.0_e7372ec1/src/porting_layer/cpu_architectures/armv8r_aarch32/hirtos_cpu_arch_interface-thread_context.adb:32:55: (style) space not allowed /home/runner/work/alire-crates-ci/alire-crates-ci/test/645c3a61-04a2-4eb5-811b-868d959091b6/hirtos_1.0.0_e7372ec1/src/porting_layer/cpu_architectures/armv8r_aarch32/hirtos_cpu_arch_interface-thread_context.adb:32:68: (style) space not allowed /home/runner/work/alire-crates-ci/alire-crates-ci/test/645c3a61-04a2-4eb5-811b-868d959091b6/hirtos_1.0.0_e7372ec1/src/porting_layer/cpu_architectures/armv8r_aarch32/hirtos_cpu_arch_interface-thread_context.ads:49:72: (style) space not allowed [Ada] hirtos_cpu_multi_core_interface.adb [Ada] hirtos_cpu_arch_interface_private.ads /home/runner/work/alire-crates-ci/alire-crates-ci/test/645c3a61-04a2-4eb5-811b-868d959091b6/hirtos_1.0.0_e7372ec1/src/porting_layer/cpu_architectures/armv8r_aarch32/hirtos_cpu_arch_interface-memory_protection.ads:23:04: warning: use clause for type "System.Storage_Elements.Integer_Address" has no effect [-gnatwu] /home/runner/work/alire-crates-ci/alire-crates-ci/test/645c3a61-04a2-4eb5-811b-868d959091b6/hirtos_1.0.0_e7372ec1/src/porting_layer/cpu_architectures/armv8r_aarch32/hirtos_cpu_arch_interface-memory_protection.ads:516:08: (style) space not allowed [Ada] hirtos_cpu_arch_parameters.ads [Ada] hirtos_cpu_startup_interface.adb /home/runner/work/alire-crates-ci/alire-crates-ci/test/645c3a61-04a2-4eb5-811b-868d959091b6/hirtos_1.0.0_e7372ec1/src/porting_layer/cpu_architectures/armv8r_aarch32/hirtos_cpu_arch_interface-interrupt_handling.adb:111:07: warning: use clause for type "System.Storage_Elements.Integer_Address" has no effect [-gnatwu] /home/runner/work/alire-crates-ci/alire-crates-ci/test/645c3a61-04a2-4eb5-811b-868d959091b6/hirtos_1.0.0_e7372ec1/src/porting_layer/cpu_architectures/armv8r_aarch32/hirtos_cpu_arch_interface-interrupt_handling.adb:274:07: warning: use clause for type "System.Storage_Elements.Integer_Address" has no effect [-gnatwu] [Ada] memory_utils.adb [Ada] bit_sized_integer_types.ads [Ada] hirtos-memory_protection.adb /home/runner/work/alire-crates-ci/alire-crates-ci/test/645c3a61-04a2-4eb5-811b-868d959091b6/hirtos_1.0.0_e7372ec1/src/porting_layer/cpu_architectures/armv8r_aarch32/hirtos_cpu_arch_interface-interrupt_controller.adb:195:07: warning: use clause for type "Valid_Cpu_Core_Id_Type" defined at hirtos_cpu_multi_core_interface.ads:32 has no effect [-gnatwu] [Ada] hirtos-condvar.adb [Ada] hirtos-mutex_private.adb /home/runner/work/alire-crates-ci/alire-crates-ci/test/645c3a61-04a2-4eb5-811b-868d959091b6/hirtos_1.0.0_e7372ec1/src/porting_layer/utils/memory_utils.adb:13:04: warning: use clause for type "System.Storage_Elements.Integer_Address" has no effect [-gnatwu] [Ada] hirtos.adb /home/runner/work/alire-crates-ci/alire-crates-ci/test/645c3a61-04a2-4eb5-811b-868d959091b6/hirtos_1.0.0_e7372ec1/src/hirtos-memory_protection.adb:37:64: warning: condition is always True [-gnatwc] /home/runner/work/alire-crates-ci/alire-crates-ci/test/645c3a61-04a2-4eb5-811b-868d959091b6/hirtos_1.0.0_e7372ec1/src/hirtos-memory_protection.adb:103:63: warning: condition is always False [-gnatwc] [Ada] hirtos-timer.adb [Ada] hirtos-timer_private.adb [Ada] hirtos-thread_private.adb [Ada] generic_execution_stack.ads [Ada] hirtos-memory_protection_private.adb /home/runner/work/alire-crates-ci/alire-crates-ci/test/645c3a61-04a2-4eb5-811b-868d959091b6/hirtos_1.0.0_e7372ec1/src/hirtos-memory_protection_private.adb:81:62: warning: condition is always True [-gnatwc] /home/runner/work/alire-crates-ci/alire-crates-ci/test/645c3a61-04a2-4eb5-811b-868d959091b6/hirtos_1.0.0_e7372ec1/src/hirtos-memory_protection_private.adb:96:62: warning: condition is always False [-gnatwc] /home/runner/work/alire-crates-ci/alire-crates-ci/test/645c3a61-04a2-4eb5-811b-868d959091b6/hirtos_1.0.0_e7372ec1/src/hirtos-memory_protection_private.adb:129:62: warning: condition is always False [-gnatwc] /home/runner/work/alire-crates-ci/alire-crates-ci/test/645c3a61-04a2-4eb5-811b-868d959091b6/hirtos_1.0.0_e7372ec1/src/hirtos-memory_protection_private.adb:132:62: warning: condition is always True [-gnatwc] [Ada] hirtos-debug.adb [Ada] hirtos-interrupt_handling_private.adb [Ada] hirtos-interrupt_handling.adb /home/runner/work/alire-crates-ci/alire-crates-ci/test/645c3a61-04a2-4eb5-811b-868d959091b6/hirtos_1.0.0_e7372ec1/src/hirtos-timer_private.adb:93:70: warning: condition is always True [-gnatwc] /home/runner/work/alire-crates-ci/alire-crates-ci/test/645c3a61-04a2-4eb5-811b-868d959091b6/hirtos_1.0.0_e7372ec1/src/hirtos-timer_private.adb:146:76: warning: condition is always False [-gnatwc] [Ada] hirtos-condvar_private.ads /home/runner/work/alire-crates-ci/alire-crates-ci/test/645c3a61-04a2-4eb5-811b-868d959091b6/hirtos_1.0.0_e7372ec1/src/hirtos.adb:79:20: (style) space required /home/runner/work/alire-crates-ci/alire-crates-ci/test/645c3a61-04a2-4eb5-811b-868d959091b6/hirtos_1.0.0_e7372ec1/src/hirtos.adb:208:61: (style) space not allowed /home/runner/work/alire-crates-ci/alire-crates-ci/test/645c3a61-04a2-4eb5-811b-868d959091b6/hirtos_1.0.0_e7372ec1/src/hirtos.ads:342:62: (style) space not allowed [Ada] generic_linked_list.adb [Ada] hirtos_config_parameters.ads [Ada] hirtos-rtos_private.adb [Ada] hirtos-thread.adb [Ada] hirtos-mutex.adb [Ada] number_conversion_utils.adb Build Libraries [gprlib] gnat.lexch [archive] libgnat.a [gprlib] HiRTOS.lexch [index] libgnat.a [bind SAL] HiRTOS [Ada] b__HiRTOS.adb [objcopy] b__HiRTOS.o [archive] libHiRTOS.a [index] libHiRTOS.a Build finished successfully in 1.88 seconds. hirtos=1.0.0 successfully retrieved and built. Dependencies were solved as follows: +i gnat_arm_elf 13.2.1 (new,installed) +i gnatprove 13.2.1 (new,installed) Found declared GPR file: hirtos.gpr