Test ran at 2025-02-20 12:31:43.273210+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.1% ## 3.7% #### 5.6% ##### 7.5% ##### 7.6% ##### 7.6% ##### 7.7% ##### 7.8% ##### 7.9% ##### 8.0% ##### 8.2% ###### 8.4% ###### 8.6% ###### 8.9% ###### 9.2% ###### 9.3% ####### 10.9% ######## 11.2% ######## 12.4% ######### 13.1% ########## 14.9% ############ 16.8% ############# 18.3% ############# 18.8% ############## 19.9% ############## 20.6% ################ 22.4% ################# 23.9% ################# 24.3% ################## 26.1% #################### 28.0% ##################### 29.9% ###################### 31.5% ####################### 31.9% ####################### 33.2% ######################## 33.6% ######################### 35.5% ########################## 36.5% ########################## 37.3% ########################### 38.1% ########################### 38.1% ############################ 39.2% ############################# 41.1% ############################## 42.3% ############################## 43.0% ############################### 44.2% ################################ 44.8% ################################# 46.7% ################################## 47.8% ################################## 48.6% ################################### 49.6% #################################### 50.4% ##################################### 52.3% ###################################### 54.2% ######################################## 56.0% ######################################### 57.6% ########################################## 58.5% ########################################## 59.4% ########################################### 60.0% ############################################ 61.6% ############################################# 63.5% ############################################## 64.2% ############################################## 64.2% ############################################### 65.4% ################################################ 66.8% ################################################ 67.3% ################################################# 69.1% ################################################### 71.0% #################################################### 72.8% #################################################### 73.6% ##################################################### 73.9% ##################################################### 74.7% ###################################################### 75.9% ####################################################### 76.7% ####################################################### 77.3% ####################################################### 77.4% ######################################################## 78.4% ######################################################### 79.2% ######################################################### 80.3% ########################################################## 81.4% ########################################################### 82.2% ############################################################ 84.0% ############################################################# 85.1% ############################################################# 85.9% ############################################################### 87.8% ############################################################### 88.5% ############################################################### 88.5% ################################################################ 89.6% ################################################################# 91.5% ################################################################## 91.7% ################################################################## 92.2% ################################################################### 93.3% ################################################################### 93.5% ################################################################### 94.4% #################################################################### 95.2% ##################################################################### 96.0% ##################################################################### 97.1% ###################################################################### 98.1% ####################################################################### 99.0% ######################################################################## 100.0% gnatprove=14.1.1 successfully retrieved. There are no dependencies.