Test ran at 2025-02-22 00:47:09.341679+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%
#                                                                          2.4%
###                                                                        4.7%
######                                                                     9.3%
########                                                                  12.4%
##########                                                                14.8%
#############                                                             18.5%
################                                                          22.6%
###################                                                       27.5%
######################                                                    31.2%
########################                                                  33.9%
##########################                                                37.1%
############################                                              39.2%
#############################                                             41.6%
###############################                                           43.8%
################################                                          44.8%
##################################                                        48.0%
####################################                                      50.8%
#######################################                                   54.9%
###########################################                               59.7%
#############################################                             63.5%
###############################################                           65.4%
################################################                          67.2%
##################################################                        70.3%
####################################################                      72.8%
#######################################################                   76.5%
#########################################################                 79.8%
############################################################              84.0%
#############################################################             86.1%
################################################################          90.0%
###################################################################       93.4%
####################################################################      95.2%
#######################################################################   98.6%
######################################################################## 100.0%

gnatprove=14.1.1 successfully retrieved.
There are no dependencies.