Test ran at 2024-05-08 12:58:12.756980+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...
#=#=#                                                                          

                                                                           0.0%
#                                                                          1.8%
##                                                                         3.6%
###                                                                        5.4%
#####                                                                      7.2%
######                                                                     8.9%
#######                                                                   10.7%
#########                                                                 12.5%
##########                                                                14.3%
###########                                                               16.1%
############                                                              17.9%
##############                                                            19.7%
###############                                                           21.5%
################                                                          23.2%
##################                                                        25.0%
###################                                                       26.8%
####################                                                      28.7%
#####################                                                     30.4%
#######################                                                   32.2%
########################                                                  34.0%
#########################                                                 35.8%
###########################                                               37.6%
############################                                              39.4%
#############################                                             40.3%
##############################                                            41.8%
##############################                                            43.0%
################################                                          44.8%
#################################                                         46.3%
##################################                                        48.2%
###################################                                       49.9%
#####################################                                     51.7%
######################################                                    53.5%
#######################################                                   55.3%
#########################################                                 57.0%
##########################################                                58.8%
###########################################                               60.6%
############################################                              62.4%
##############################################                            64.2%
###############################################                           65.9%
################################################                          67.7%
##################################################                        69.5%
###################################################                       71.3%
####################################################                      73.1%
#####################################################                     74.9%
#######################################################                   76.7%
########################################################                  78.5%
#########################################################                 80.3%
###########################################################               82.1%
############################################################              83.8%
#############################################################             85.6%
##############################################################            87.0%
###############################################################           88.8%
#################################################################         90.5%
##################################################################        92.3%
###################################################################       94.1%
#####################################################################     95.9%
######################################################################    97.7%
#######################################################################   99.5%
######################################################################## 100.0%

gnatprove=13.2.1 successfully retrieved.
There are no dependencies.
Warning: Binary release does not contain default project file: gnatprove.gpr