Test ran at 2024-09-13 13:08:47.102108+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.0 (gnat_external) (installed)
   gnatprove=12.1.1 (installed)
Dependencies (graph):
   program_proofs_in_spark=0.1.1 --> gnat=12.2.0 (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...
#=#=#                                                                         

####                                                                       5.7%
###########                                                               16.1%
################                                                          23.3%
#########################                                                 35.7%
##################################                                        47.3%
##########################################                                59.4%
############################################                              61.2%
#############################################                             63.0%
#####################################################                     74.3%
##############################################################            86.1%
#######################################################################   98.6%
######################################################################## 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]          sort_types.ads
   [Ada]          sort.adb
   [Ada]          dutch_national_flag.adb
Build finished successfully in 2.24 seconds.

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

   +i gnat      12.2.0 (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