Test ran at 2024-01-13 13:09:19.421223+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#-#                                                                        
##O=#  #                                                                      

                                                                           0.0%
#                                                                          2.3%
###                                                                        4.6%
####                                                                       6.9%
######                                                                     9.0%
#######                                                                   11.1%
#########                                                                 13.2%
###########                                                               15.3%
############                                                              17.4%
##############                                                            19.6%
###############                                                           21.7%
#################                                                         23.7%
##################                                                        25.6%
####################                                                      28.2%
#####################                                                     29.9%
#######################                                                   32.4%
########################                                                  34.5%
##########################                                                36.6%
###########################                                               38.8%
#############################                                             40.9%
##############################                                            43.0%
################################                                          45.1%
#################################                                         47.2%
###################################                                       49.3%
#####################################                                     51.5%
######################################                                    53.5%
########################################                                  55.7%
#########################################                                 57.8%
###########################################                               59.9%
############################################                              62.0%
##############################################                            64.1%
###############################################                           66.2%
#################################################                         68.3%
##################################################                        70.5%
####################################################                      72.6%
#####################################################                     74.7%
#######################################################                   76.8%
########################################################                  78.9%
##########################################################                81.0%
###########################################################               83.1%
#############################################################             85.2%
##############################################################            87.4%
################################################################          89.4%
#################################################################         91.6%
###################################################################       93.7%
####################################################################      95.8%
######################################################################    97.9%
######################################################################## 100.0%

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