Test ran at 2025-07-30 12:24:55.355457+00:00

SOLUTION:
gnatprove=15.1.0: Automatic formal verification of SPARK code
Origin: (case OS is Linux => (case Host_Arch is Aarch64 => binary archive gnatprove-aarch64-linux-15.1.0-1.tar.gz at https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatprove-15.1.0-1/gnatprove-aarch64-linux-15.1.0-1.tar.gz, X86_64 => binary archive gnatprove-x86_64-linux-15.1.0-1.tar.gz at https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatprove-15.1.0-1/gnatprove-x86_64-linux-15.1.0-1.tar.gz), Macos => (case Host_Arch is Aarch64 => binary archive gnatprove-aarch64-darwin-15.1.0-1.tar.gz at https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatprove-15.1.0-1/gnatprove-aarch64-darwin-15.1.0-1.tar.gz, X86_64 => binary archive gnatprove-x86_64-darwin-15.1.0-1.tar.gz at https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatprove-15.1.0-1/gnatprove-x86_64-darwin-15.1.0-1.tar.gz), Windows => (case Host_Arch is X86_64 => binary archive gnatprove-x86_64-windows64-15.1.0-1.tar.gz at https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatprove-15.1.0-1/gnatprove-x86_64-windows64-15.1.0-1.tar.gz)) with hash sha256:aad9a73f600d3008f33141a6cd4c5314d4c210e8928edc172c23c76104ddf7b2
Properties:
   Author: AdaCore
   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
   Long_Description: GNATprove, which provides automatic formal verification of SPARK code, is based on the [open-source](https://github.com/AdaCore/spark2014) [SPARK Pro](https://www.adacore.com/sparkpro) by [AdaCore](https://www.adacore.com).
The [SPARK Pro User's Guide](https://docs.adacore.com/spark2014-docs/html/ug/index.html) provides extensive documentation on how to use GNATprove.
Note that because this version of GNATprove is built from an intermediate commit of SPARK Pro, it is not representative of any specific SPARK Pro release, and the SPARK Pro documentation may describe features or capabilities that are not yet available in this version of GNATprove.

To use GNATprove, simply add it to your Alire project using

    alr with gnatprove

Then, configure your environment by running:

    eval "$( alr printenv )"

You will then be able to run GNATprove:

    gnatprove

For more details on getting started using GNATprove, see [Getting Started with SPARK](https://docs.adacore.com/spark2014-docs/html/ug/en/getting_started.html) from the [SPARK Pro User's Guide](https://docs.adacore.com/spark2014-docs/html/ug/index.html).

To get started with the SPARK language, see the [Introduction to SPARK](https://learn.adacore.com/courses/intro-to-spark/index.html) course on [learn.adacore.com](https://learn.adacore.com/index.html).

   Maintainer: Fabien Chouteau <chouteau@adacore.com>
   Maintainer: César Sagaert <sagaert@adacore.com>
   Maintainers_Logins: Fabien-Chouteau
   Maintainers_Logins: AldanTanneo
   Name: gnatprove
   Version: 15.1.0
   Website: https://docs.adacore.com/spark2014-docs/html/ug/index.html


LOG:
[alr test] Testing gnatprove=15.1.0
[alr test] Spawning retrieval for remote crate: alr -d -n get gnatprove=15.1.0
Note: Deploying gnatprove=15.1.0...
#=#=#                                                                          

#                                                                          1.9%
#####                                                                      7.0%
#######                                                                   10.9%
##########                                                                14.8%
##############                                                            20.2%
##################                                                        25.8%
#####################                                                     29.6%
#########################                                                 35.7%
#############################                                             41.1%
#################################                                         45.9%
#####################################                                     51.5%
########################################                                  55.8%
############################################                              61.4%
################################################                          67.0%
###################################################                       71.1%
#######################################################                   77.2%
###########################################################               82.2%
##############################################################            87.0%
##################################################################        91.8%
######################################################################    97.3%
######################################################################## 100.0%

gnatprove=15.1.0 successfully retrieved.
There are no dependencies.
[alr test] Test completed SUCCESSFULLY