Test ran at 2025-02-13 01:01:38.768724+00:00 SOLUTION: gnatprove=14.1.1: Automatic formal verification of SPARK code Origin: (case OS is Linux => (case Host_Arch is X86_64 => binary archive gnatprove-x86_64-linux-14.1.0-1.tar.gz at https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatprove-14.1.0-1/gnatprove-x86_64-linux-14.1.0-1.tar.gz), Macos => (case Host_Arch is Aarch64 => binary archive gnatprove-aarch64-darwin-14.1.0-1.tar.gz at https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatprove-14.1.0-1/gnatprove-aarch64-darwin-14.1.0-1.tar.gz, X86_64 => binary archive gnatprove-x86_64-darwin-14.1.0-1.tar.gz at https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatprove-14.1.0-1/gnatprove-x86_64-darwin-14.1.0-1.tar.gz), Windows => (case Host_Arch is X86_64 => binary archive gnatprove-x86_64-windows64-14.1.0-1.tar.gz at https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatprove-14.1.0-1/gnatprove-x86_64-windows64-14.1.0-1.tar.gz)) with hash sha256:0e4670a09f66b4cfa4287b63414906eb33bd4f6d93bea57af43ff82b6a28d7da Properties: Auto_Gpr_With: auto-gpr-with=false Configuration: no modifiers Description: Automatic formal verification of SPARK code Environment: GPR_PROJECT_PATH=${CRATE_ROOT}/lib/gnat:${GPR_PROJECT_PATH} Environment: PATH=${CRATE_ROOT}/bin:${PATH} License: GPL-3.0-or-later Maintainer: chouteau@adacore.com Maintainers_Logins: Fabien-Chouteau Name: gnatprove Version: 14.1.1 LOG: Spawning: alr -d -n get gnatprove=14.1.1 Note: Deploying gnatprove=14.1.1... #=#=# 0.0% 1.1% # 1.9% ## 3.4% ## 4.1% ### 5.2% #### 5.9% ##### 7.1% ##### 7.5% ###### 9.0% ###### 9.6% ####### 10.9% ######## 11.2% ######## 11.2% ######## 11.2% ######## 11.2% ######## 11.2% ######## 11.2% ######## 11.2% ######## 11.2% ######## 11.2% ######## 11.2% ######## 11.3% ######## 11.3% ######## 11.3% ######## 11.3% ######## 11.3% ######## 11.3% ######## 11.3% ######## 11.3% ######## 11.3% ######## 11.3% ######## 11.3% ######## 11.3% ######## 11.3% ######## 11.3% ######## 11.3% ######## 11.3% ######## 11.3% ######## 11.3% ######## 11.3% ######## 11.3% ######## 11.4% ######## 11.4% ######## 11.4% ######## 11.4% ######## 11.4% ######## 11.4% ######## 11.4% ######## 11.4% ######## 11.4% ######## 11.4% ######## 11.4% ######## 11.4% ######## 11.4% ######## 11.4% ######## 11.4% ######## 11.4% ######## 11.4% ######## 11.4% ######## 11.4% ######## 11.4% ######## 11.4% ######## 11.4% ######## 11.4% ######## 11.4% ######## 11.5% ######## 11.5% ######## 11.5% ######## 11.5% ######## 11.5% ######## 11.5% ######## 11.5% ######## 11.5% ######## 11.5% ######## 11.5% ######## 11.5% ######## 11.5% ######## 11.5% ######## 11.5% ######## 11.5% ######## 11.6% ######## 11.6% ######## 11.6% ######## 11.6% ######## 11.6% ######## 11.6% ######## 11.6% ######## 11.6% ######## 11.6% ######## 11.6% ######## 11.6% ######## 11.6% ######## 11.6% ######## 11.6% ######## 11.6% ######## 11.7% ######## 11.7% ######## 11.7% ######## 11.7% ######## 11.7% ######## 11.7% ######## 11.7% ######## 11.7% ######## 11.7% ######## 11.7% ######## 11.7% ######## 11.7% ######## 11.7% ######## 11.7% ######## 11.7% ######## 11.8% ######## 11.8% ######## 11.8% ######## 11.8% ######## 11.8% ######## 11.8% ######## 11.8% ######## 11.8% ######## 11.8% ######## 11.8% ######## 11.8% ######## 11.8% ######## 11.9% ######## 11.9% ######## 11.9% ######## 11.9% ######## 11.9% ######## 11.9% ######## 11.9% ######## 11.9% ######## 11.9% ######## 11.9% ######## 11.9% ######## 12.0% ######## 12.0% ######## 12.0% ######## 12.0% ######## 12.0% ######## 12.0% ######## 12.0% ######## 12.0% ######## 12.0% ######## 12.1% ######## 12.1% ######## 12.1% ######## 12.1% ######## 12.1% ######## 12.1% ######## 12.1% ######## 12.1% ######## 12.1% ######## 12.1% ######## 12.1% ######## 12.2% ######## 12.2% ######## 12.2% ######## 12.2% ######## 12.2% ######## 12.2% ######## 12.2% ######## 12.2% ######## 12.2% ######## 12.2% ######## 12.3% ######## 12.3% ######## 12.3% ######## 12.3% ######## 12.3% ######## 12.3% ######## 12.3% ######## 12.3% ######## 12.3% ######## 12.3% ######## 12.4% ######## 12.4% ######## 12.4% ######## 12.4% ######## 12.4% ######## 12.4% ######## 12.4% ######## 12.4% ######## 12.4% ######## 12.4% ######## 12.4% ######## 12.4% ######## 12.4% ######## 12.5% ######## 12.5% ######## 12.5% ######## 12.5% ######## 12.5% ######## 12.5% ######### 12.5% ######### 12.5% ######### 12.5% ######### 12.5% ######### 12.5% ######### 12.6% ######### 12.6% ######### 12.6% ######### 12.6% ######### 12.6% ######### 12.6% ######### 12.6% ######### 12.6% ######### 12.6% ######### 12.6% ######### 12.6% ######### 12.6% ######### 12.6% ######### 12.6% ######### 12.7% ######### 12.7% ######### 12.7% ######### 12.7% ######### 12.7% ######### 12.7% ######### 12.7% ######### 12.7% ######### 12.7% ######### 12.7% ######### 12.7% ######### 12.8% ######### 12.8% ######### 12.8% ######### 12.8% ######### 12.8% ######### 12.8% ######### 12.8% ######### 12.8% ######### 12.8% ######### 12.8% ######### 12.8% ######### 12.8% ######### 12.8% ######### 12.8% ######### 12.9% ######### 12.9% ######### 12.9% ######### 12.9% ######### 12.9% ######### 12.9% ######### 12.9% ######### 12.9% ######### 12.9% ######### 12.9% ######### 13.0% ######### 13.0% ######### 13.0% ######### 13.0% ######### 13.0% ######### 13.0% ######### 13.0% ######### 13.0% ######### 13.0% ######### 13.0% ######### 13.0% ######### 13.0% ######### 13.0% ######### 13.1% ######### 13.1% ######### 13.5% ########## 14.8% ########### 15.4% ########### 16.2% ############ 16.8% ############ 17.7% ############# 18.6% ############# 19.3% ############## 20.2% ############### 21.0% ############### 22.0% ################ 22.7% ################# 24.0% ################# 24.8% ################## 25.9% ################### 26.8% #################### 27.8% #################### 28.5% #################### 28.8% ##################### 29.5% ##################### 30.2% ###################### 31.5% ###################### 31.7% ####################### 32.9% ######################## 33.6% ######################### 35.0% ######################### 35.5% ######################### 35.5% ######################### 35.7% ########################## 36.3% ########################## 36.5% ########################## 36.6% ########################## 37.0% ########################### 37.8% ########################### 38.9% ############################ 39.6% ############################# 40.7% ############################# 41.5% ############################## 41.9% ############################## 42.7% ############################### 43.2% ############################### 44.2% ################################ 44.8% ################################ 45.6% ################################ 45.6% ################################# 46.7% ################################## 48.1% ################################## 48.5% ################################### 49.7% #################################### 50.4% #################################### 50.7% #################################### 50.8% ##################################### 51.7% ##################################### 52.3% ##################################### 52.7% ###################################### 53.0% ###################################### 53.5% ###################################### 54.2% ######################################## 55.7% ######################################## 56.2% ######################################### 57.5% ######################################### 58.1% ########################################## 59.4% ########################################### 59.8% ########################################### 61.1% ############################################ 61.6% ############################################# 63.0% ############################################# 63.5% ############################################## 64.8% ############################################### 65.4% ################################################ 66.8% ################################################ 67.2% ################################################# 68.6% ################################################# 69.1% ################################################# 69.1% ################################################# 69.1% ################################################# 69.1% ################################################# 69.1% ################################################# 69.1% ################################################# 69.2% ################################################# 69.2% ################################################# 69.2% ################################################# 69.2% ################################################# 69.2% ################################################# 69.2% ################################################# 69.2% ################################################# 69.2% ################################################# 69.2% ################################################# 69.2% ################################################# 69.2% ################################################# 69.3% ################################################# 69.3% ################################################# 69.3% ################################################# 69.3% ################################################# 69.3% ################################################# 69.3% ################################################# 69.3% ################################################# 69.3% ################################################# 69.3% ################################################# 69.3% ################################################# 69.3% ################################################# 69.3% ################################################# 69.4% ################################################# 69.4% ################################################# 69.4% ################################################# 69.4% ################################################# 69.4% ################################################# 69.4% ################################################# 69.4% ################################################# 69.4% ################################################# 69.4% ################################################## 69.4% ################################################## 69.5% ################################################## 69.5% ################################################## 69.5% ################################################## 69.5% ################################################## 69.5% ################################################## 69.5% ################################################## 69.5% ################################################## 69.5% ################################################## 69.5% ################################################## 69.5% ################################################## 69.5% ################################################## 69.5% ################################################## 69.5% ################################################## 69.6% ################################################## 69.6% ################################################## 69.6% ################################################## 69.6% ################################################## 69.6% ################################################## 69.6% ################################################## 69.6% ################################################## 69.6% ################################################## 69.6% ################################################## 69.6% ################################################## 69.6% ################################################## 69.6% ################################################## 69.7% ################################################## 69.7% ################################################## 69.7% ################################################## 69.7% ################################################## 69.7% ################################################## 69.7% ################################################## 69.7% ################################################## 69.7% ################################################## 69.7% ################################################## 69.7% ################################################## 69.7% ################################################## 69.8% ################################################## 69.8% ################################################## 69.8% ################################################## 69.8% ################################################## 69.8% ################################################## 69.8% ################################################## 69.8% ################################################## 69.8% ################################################## 69.8% ################################################## 69.8% ################################################## 69.9% ################################################## 69.9% ################################################## 69.9% ################################################## 69.9% ################################################## 69.9% ################################################## 69.9% ################################################## 69.9% ################################################## 69.9% ################################################## 70.0% ################################################## 70.0% ################################################## 70.0% ################################################## 70.0% ################################################## 70.0% ################################################## 70.0% ################################################## 70.0% ################################################## 70.0% ################################################## 70.0% ################################################## 70.1% ################################################## 70.1% ################################################## 70.1% ################################################## 70.1% ################################################## 70.1% ################################################## 70.1% ################################################## 70.1% ################################################## 70.2% ################################################## 70.2% ################################################## 70.2% ################################################## 70.2% ################################################## 70.2% ################################################## 70.2% ################################################## 70.2% ################################################## 70.3% ################################################## 70.3% ################################################## 70.3% ################################################## 70.3% ################################################## 70.3% ################################################## 70.3% ################################################## 70.4% ################################################## 70.4% ################################################## 70.4% ################################################## 70.4% ################################################## 70.5% ################################################## 70.5% ################################################## 70.5% ################################################## 70.5% ################################################## 70.5% ################################################## 70.6% ################################################## 70.6% ################################################## 70.6% ################################################## 70.6% ################################################## 70.7% ################################################## 70.7% ################################################## 70.7% ################################################## 70.7% ################################################## 70.7% ################################################## 70.8% ################################################## 70.8% ################################################## 70.8% ################################################### 70.8% ################################################### 70.9% ################################################### 70.9% ################################################### 70.9% ################################################### 70.9% ################################################### 70.9% ################################################### 71.0% #################################################### 72.4% #################################################### 72.8% #################################################### 73.2% ##################################################### 74.5% ##################################################### 74.8% ###################################################### 75.5% ####################################################### 76.4% ####################################################### 76.8% ######################################################## 78.0% ######################################################## 78.4% ######################################################### 80.0% ######################################################### 80.3% ########################################################## 81.9% ########################################################### 82.2% ########################################################### 82.2% ########################################################### 82.3% ########################################################### 82.6% ########################################################### 83.3% ############################################################ 84.0% ############################################################# 85.3% ############################################################# 85.9% ############################################################## 86.6% ############################################################## 87.4% ############################################################### 88.0% ################################################################ 89.3% ################################################################ 89.9% ################################################################# 91.1% ################################################################# 91.5% ################################################################## 92.9% ################################################################### 93.4% #################################################################### 94.9% #################################################################### 95.3% ##################################################################### 96.8% ###################################################################### 97.4% ####################################################################### 98.6% ####################################################################### 99.0% ####################################################################### 99.9% ######################################################################## 100.0% gnatprove=14.1.1 successfully retrieved. There are no dependencies.