Test ran at 2023-06-06 13:11:29.490126+00:00

SOLUTION:
program_proofs_in_spark=0.1.1: Programs from the book Program Proofs in SPARK
Origin: commit 37500dca9b643d1cd2f3711e1f97264923ea0baa from https://github.com/AdaCore/program_proofs_in_spark.git
Properties:
   Author: Yannick Moy
   Description: Programs from the book Program Proofs in SPARK
   License: Apache-2.0
   Maintainer: Yannick Moy <moy@adacore.com>
   Maintainers_Logins: yannickmoy
   Name: program_proofs_in_spark
   Project_File: ch5/ch5.gpr
   Project_File: ch7/ch7.gpr
   Project_File: ch12/ch12.gpr
   Project_File: ch13/ch13.gpr
   Project_File: ch15/ch15.gpr
   Tag: spark
   Version: 0.1.1
   Website: https://github.com/AdaCore/program_proofs_in_spark
Dependencies (direct):
   gnat>=12 & <2000
   gnatprove^12.1.1
Dependencies (solution):
   gnat=12.2.1 (gnat_external) (installed)
   gnatprove=12.1.1 (installed)
Dependencies (graph):
   program_proofs_in_spark=0.1.1 --> gnat=12.2.1 (gnat_external) (>=12 & <2000)
   program_proofs_in_spark=0.1.1 --> gnatprove=12.1.1 (^12.1.1)                


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

                                                                           0.0%
##                                                                         4.0%
######                                                                     9.2%
###########                                                               16.0%
##############                                                            20.6%
###################                                                       27.2%
########################                                                  33.5%
###########################                                               38.6%
###############################                                           43.7%
###################################                                       48.9%
######################################                                    54.0%
########################################                                  56.6%
#############################################                             63.2%
#################################################                         69.4%
###################################################                       72.0%
#######################################################                   77.2%
###########################################################               82.2%
################################################################          89.7%
###################################################################       94.0%
######################################################################## 100.0%
Note: gnatprove=12.1.1 installed successfully.
Note: Building program_proofs_in_spark/ch5/ch5.gpr (1/5)...
Setup
   [mkdir]        object directory for project Ch5
Compile
   [Ada]          test_abstract_syntax_trees.adb
   [Ada]          abstract_syntax_trees.adb
Bind
   [gprbind]      test_abstract_syntax_trees.bexch
   [Ada]          test_abstract_syntax_trees.ali
Link
   [link]         test_abstract_syntax_trees.adb
Note: Building program_proofs_in_spark/ch7/ch7.gpr (2/5)...
Setup
   [mkdir]        object directory for project Ch7
Compile
   [Ada]          unary_numbers.adb
Note: Building program_proofs_in_spark/ch12/ch12.gpr (3/5)...
Setup
   [mkdir]        object directory for project Ch12
Compile
   [Ada]          fibonacci_squared.adb
Note: Building program_proofs_in_spark/ch13/ch13.gpr (4/5)...
Setup
   [mkdir]        object directory for project Ch13
Compile
   [Ada]          test_search.adb
   [Ada]          search.adb
Bind
   [gprbind]      test_search.bexch
   [Ada]          test_search.ali
Link
   [link]         test_search.adb
Note: Building program_proofs_in_spark/ch15/ch15.gpr (5/5)...
Setup
   [mkdir]        object directory for project Ch15
Compile
   [Ada]          dutch_national_flag.adb
   [Ada]          sort_types.ads
   [Ada]          sort.adb
Build finished successfully in 2.11 seconds.

program_proofs_in_spark=0.1.1 successfully retrieved and built.
Dependencies were solved as follows:

   +i gnat      12.2.1 (new,installed,gnat_external)
   +i gnatprove 12.1.1 (new,installed)              
Found declared GPR file: ch5/ch5.gpr
Found declared GPR file: ch7/ch7.gpr
Found declared GPR file: ch12/ch12.gpr
Found declared GPR file: ch13/ch13.gpr
Found declared GPR file: ch15/ch15.gpr