Test ran at 2025-02-18 13:00:07.393475+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:f6ca6f8c214802b301cc7d9723f73fd088e26c4f0d80c7126993f27bf80494d4
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...

#=#=#                                                                          
##O#-#                                                                         
                                                                           0.0%
#                                                                          2.1%
##                                                                         3.6%
###                                                                        5.1%
#####                                                                      7.1%
#####                                                                      8.1%
#######                                                                    9.8%
########                                                                  11.2%
#########                                                                 12.6%
###########                                                               15.3%
############                                                              17.3%
#############                                                             18.8%
##############                                                            20.2%
###############                                                           21.0%
################                                                          22.8%
#################                                                         23.9%
#################                                                         23.9%
#################                                                         24.9%
###################                                                       26.4%
###################                                                       26.4%
####################                                                      28.0%
#####################                                                     30.0%
#######################                                                   32.7%
########################                                                  34.1%
#########################                                                 35.6%
##########################                                                36.6%
##########################                                                36.7%
###########################                                               38.2%
############################                                              40.2%
#############################                                             41.3%
###############################                                           43.2%
################################                                          45.3%
#################################                                         46.8%
##################################                                        48.3%
###################################                                       49.3%
####################################                                      50.9%
#####################################                                     51.9%
#####################################                                     51.9%
######################################                                    53.4%
#######################################                                   55.4%
#########################################                                 57.0%
##########################################                                58.5%
###########################################                               60.5%
#############################################                             63.1%
##############################################                            64.6%
###############################################                           66.1%
################################################                          67.1%
################################################                          67.1%
#################################################                         68.7%
##################################################                        69.7%
##################################################                        69.7%
###################################################                       71.2%
####################################################                      73.3%
#####################################################                     74.7%
######################################################                    76.3%
#########################################################                 79.9%
##########################################################                81.1%
###########################################################               82.4%
############################################################              83.9%
#############################################################             85.9%
##############################################################            87.1%
###############################################################           88.5%
################################################################          90.0%
#################################################################         91.5%
##################################################################        92.2%
###################################################################       94.1%
#####################################################################     97.1%
#######################################################################   98.7%
#######################################################################   99.7%
######################################################################## 100.0%

gnatprove=14.1.1 successfully retrieved.
There are no dependencies.