Test ran at 2025-03-05 12:22:14.777060+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:91818ed8775fd0cf1d3c0ffc3cfe05c5ab9d759a1d18c38c06ed5134c7563876
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%
###                                                                        4.6%
######                                                                     9.2%
#########                                                                 13.7%
#############                                                             18.3%
################                                                          22.9%
##################                                                        26.2%
###################                                                       27.5%
#######################                                                   32.0%
#######################                                                   32.4%
#########################                                                 36.1%
##########################                                                36.6%
#############################                                             41.2%
################################                                          45.7%
####################################                                      50.3%
#######################################                                   54.9%
########################################                                  56.9%
#########################################                                 56.9%
##########################################                                59.5%
##############################################                            64.0%
#################################################                         68.6%
####################################################                      73.2%
#######################################################                   77.7%
###########################################################               82.3%
#############################################################             85.5%
##############################################################            87.0%
################################################################          89.2%
#################################################################         91.4%
##################################################################        92.6%
##################################################################        92.7%
#####################################################################     96.0%
######################################################################    98.3%
######################################################################## 100.0%

gnatprove=14.1.1 successfully retrieved.
There are no dependencies.