Test ran at 2024-02-09 13:05:22.129356+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:571a96b388d4c39989045bbe6678c04908d32f03ba2c316c7be92349e0276371

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.0%
#                                                                          1.8%
##                                                                         3.5%
###                                                                        5.2%
####                                                                       6.9%
######                                                                     8.7%
#######                                                                   10.4%
########                                                                  12.1%
#########                                                                 13.9%
###########                                                               15.6%
############                                                              17.3%
#############                                                             19.1%
##############                                                            20.8%
################                                                          22.5%
#################                                                         24.2%
##################                                                        26.0%
###################                                                       27.7%
#####################                                                     29.4%
######################                                                    31.1%
#######################                                                   32.8%
########################                                                  34.5%
##########################                                                36.3%
###########################                                               38.1%
############################                                              39.8%
#############################                                             41.5%
###############################                                           43.2%
################################                                          45.0%
#################################                                         46.8%
##################################                                        48.6%
####################################                                      50.3%
#####################################                                     52.0%
######################################                                    53.7%
########################################                                  55.6%
#########################################                                 57.3%
##########################################                                59.0%
###########################################                               60.7%
############################################                              62.5%
##############################################                            64.5%
###############################################                           66.3%
#################################################                         68.1%
##################################################                        69.8%
###################################################                       71.5%
####################################################                      73.3%
######################################################                    75.1%
#######################################################                   76.9%
########################################################                  78.6%
#########################################################                 80.3%
###########################################################               82.1%
############################################################              83.9%
#############################################################             85.7%
##############################################################            87.4%
################################################################          89.1%
#################################################################         90.9%
##################################################################        92.6%
####################################################################      94.6%
#####################################################################     96.9%
######################################################################    98.6%
######################################################################## 100.0%

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