Test ran at 2024-04-06 13:00:26.610242+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...
#=#=#                                                                         

                                                                           0.0%
###                                                                        4.8%
###                                                                        5.5%
#####                                                                      7.7%
#######                                                                   10.5%
###########                                                               15.3%
###############                                                           21.4%
##################                                                        25.3%
####################                                                      28.7%
######################                                                    31.6%
##########################                                                36.4%
##############################                                            42.0%
###############################                                           44.3%
#################################                                         46.9%
###################################                                       48.8%
####################################                                      51.3%
#######################################                                   54.6%
##########################################                                58.4%
#############################################                             63.3%
###############################################                           66.1%
################################################                          67.0%
##################################################                        69.5%
###################################################                       70.9%
#####################################################                     74.1%
######################################################                    75.7%
#########################################################                 79.5%
##########################################################                81.4%
###########################################################               83.2%
##############################################################            86.2%
#################################################################         90.8%
##################################################################        91.9%
####################################################################      95.8%
######################################################################## 100.0%

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