Test ran at 2023-04-08 02:04:36.582191+00:00

SOLUTION:
gnatprove=12.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-12.1.0-1.tar.gz at https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatprove-12.1.0-1/gnatprove-x86_64-linux-12.1.0-1.tar.gz), Macos => (case Host_Arch is X86_64 => binary archive gnatprove-x86_64-darwin-12.1.0-1.tar.gz at https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatprove-12.1.0-1/gnatprove-x86_64-darwin-12.1.0-1.tar.gz), Windows => (case Host_Arch is X86_64 => binary archive gnatprove-x86_64-windows64-12.1.0-1.tar.gz at https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatprove-12.1.0-1/gnatprove-x86_64-windows64-12.1.0-1.tar.gz)) with hash sha256:e1e1ce47c7097b0a7a8cecbb132784f6e6cbcc0550ad8d96cf3dce39db47464d
Properties:
   Auto_Gpr_With: auto-gpr-with=false
   Configuration: no modifiers
   Description: Automatic formal verification of SPARK code
   Environment: PATH=${CRATE_ROOT}/bin:${PATH}
   License: GPL-3.0-or-later
   Maintainer: chouteau@adacore.com
   Maintainers_Logins: Fabien-Chouteau
   Name: gnatprove
   Version: 12.1.1


LOG:
Note: Deploying gnatprove=12.1.1...
#=#=#                                                                         
##O#-#                                                                        
##O=#  #                                                                      
#=#=-#  #                                                                     

                                                                           0.2%
##                                                                         3.5%
####                                                                       5.8%
#####                                                                      8.0%
#######                                                                   10.1%
#########                                                                 12.7%
##########                                                                15.2%
############                                                              17.4%
##############                                                            19.6%
###############                                                           21.9%
#################                                                         24.3%
###################                                                       27.3%
#####################                                                     30.3%
#######################                                                   32.6%
#########################                                                 35.0%
##########################                                                37.4%
############################                                              39.7%
##############################                                            42.2%
################################                                          44.6%
#################################                                         46.8%
###################################                                       49.3%
#####################################                                     51.7%
######################################                                    54.0%
########################################                                  56.5%
##########################################                                58.8%
############################################                              61.3%
#############################################                             63.8%
###############################################                           66.3%
#################################################                         68.7%
###################################################                       71.2%
####################################################                      73.6%
######################################################                    76.1%
########################################################                  78.5%
##########################################################                80.9%
###########################################################               82.3%
#############################################################             84.8%
##############################################################            86.7%
################################################################          89.5%
##################################################################        92.0%
###################################################################       93.9%
#####################################################################     97.0%
#######################################################################   99.5%
######################################################################## 100.0%

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