Test ran at 2025-01-25 01:18:45.448495+00:00 SOLUTION: gnatprove=13.2.1: Automatic formal verification of SPARK code Origin: (case OS is Linux => (case Host_Arch is X86_64 => binary archive gnatprove-x86_64-linux-13.2.0-1.tar.gz at https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatprove-13.2.0-1/gnatprove-x86_64-linux-13.2.0-1.tar.gz), Macos => (case Host_Arch is X86_64 => binary archive gnatprove-x86_64-darwin-13.2.0-1.tar.gz at https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatprove-13.2.0-1/gnatprove-x86_64-darwin-13.2.0-1.tar.gz), Windows => (case Host_Arch is X86_64 => binary archive gnatprove-x86_64-windows64-13.2.0-1.tar.gz at https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatprove-13.2.0-1/gnatprove-x86_64-windows64-13.2.0-1.tar.gz)) with hash sha256:28fc3583d2364c1e10790fe258c408faffa42d7ff77bb81dc18d4907608f4017 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: 13.2.1 LOG: Note: Deploying gnatprove=13.2.1... #=#=# ##O#-# 0.0% # 2.1% ## 2.8% ### 5.2% #### 5.7% ##### 7.9% ###### 8.7% ####### 10.7% ######## 11.3% ######### 13.5% ########## 14.6% ########## 15.1% ############ 16.9% ############ 17.6% ############# 19.4% ############## 20.3% ############## 20.8% ############### 20.8% ################ 22.5% ################# 24.0% ################## 25.4% ################### 27.6% ##################### 29.3% ##################### 30.4% ###################### 30.9% ###################### 31.1% ###################### 31.1% ###################### 31.2% ###################### 31.7% ####################### 32.8% ######################## 33.8% ######################### 35.8% ########################## 36.5% ########################## 37.3% ########################## 37.3% ############################ 39.1% ############################ 39.7% ############################## 41.9% ############################## 42.3% ############################### 43.3% ################################ 44.5% ################################ 45.4% ################################# 47.2% ################################## 47.8% ################################### 49.8% #################################### 50.6% ##################################### 51.7% ##################################### 51.7% ###################################### 53.4% ######################################## 56.0% ######################################## 56.7% ########################################## 58.5% ########################################## 59.1% ############################################ 61.3% ############################################ 62.4% ############################################## 64.1% ############################################## 64.7% ############################################### 65.6% ################################################ 67.4% ################################################# 68.6% ################################################# 68.6% ################################################## 69.8% ################################################## 70.3% ################################################### 71.8% #################################################### 73.1% ##################################################### 73.9% ###################################################### 75.9% ####################################################### 76.6% ######################################################## 78.2% ######################################################## 78.7% ########################################################## 81.1% ########################################################## 81.8% ############################################################ 83.9% ############################################################ 84.5% ############################################################## 86.5% ############################################################## 87.1% ################################################################ 89.4% ################################################################ 90.0% ################################################################## 92.3% ################################################################### 93.3% ################################################################### 94.0% ################################################################### 94.0% #################################################################### 95.6% ###################################################################### 97.4% ###################################################################### 98.4% ####################################################################### 99.6% ######################################################################## 100.0% gnatprove=13.2.1 successfully retrieved. There are no dependencies. Warning: Binary release does not contain default project file: gnatprove.gpr