Test ran at 2024-09-11 00:45:46.305152+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=13.1.0 (gnat_native) (installed)
   gnatprove=12.1.1 (installed)
Dependencies (graph):
   program_proofs_in_spark=0.1.1 --> gnat=13.1.0 (gnat_native) (>=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#-#                                                                         
##O=#  #                                                                       

                                                                           0.0%
##                                                                         2.9%
####                                                                       6.8%
#######                                                                   10.3%
###########                                                               15.5%
##############                                                            20.0%
#################                                                         23.6%
####################                                                      28.7%
######################                                                    30.9%
########################                                                  34.3%
##########################                                                36.3%
#############################                                             40.8%
##############################                                            42.2%
#################################                                         46.3%
####################################                                      50.4%
######################################                                    53.8%
########################################                                  56.6%
###########################################                               59.8%
#############################################                             63.0%
################################################                          67.0%
###################################################                       71.5%
######################################################                    75.7%
#######################################################                   77.2%
##########################################################                81.4%
###########################################################               82.4%
##############################################################            86.5%
#################################################################         90.6%
####################################################################      94.8%
######################################################################    97.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
test_abstract_syntax_trees.adb:18:22: error: invalid prefix in selected component "Add"
abstract_syntax_trees.ads:39:49: error: unmatched actual in instantiation of "Functional_Maps" declared at a-cofuma.ads:33
abstract_syntax_trees.ads:40:31: error: "Map" not declared in "Environments"
abstract_syntax_trees.ads:49:19: error: invalid prefix in selected component "Has_Key"
abstract_syntax_trees.ads:49:49: error: invalid prefix in selected component "Get"
abstract_syntax_trees.ads:49:72: error: type of "else" incompatible with that of "then" expression
abstract_syntax_trees.ads:49:72: error: "else" expression has type universal integer
a-cofuma.ads:36:07: error: This package has been moved to the SPARK library shipped with any SPARK release starting with version 23.

   compilation of test_abstract_syntax_trees.adb failed

gprbuild: *** compilation phase failed
stderr: Command ["gprbuild", "-s", "-j0", "-p", "-P", "/Users/runner/work/alire-crates-ci/alire-crates-ci/test/72795f36-0f36-4ff7-9fbd-4f0ab69b3d15/program_proofs_in_spark_0.1.1_37500dca/ch5/ch5.gpr"] exited with code 4
ERROR: Command ["gprbuild", "-s", "-j0", "-p", "-P", "/Users/runner/work/alire-crates-ci/alire-crates-ci/test/72795f36-0f36-4ff7-9fbd-4f0ab69b3d15/program_proofs_in_spark_0.1.1_37500dca/ch5/ch5.gpr"] exited with code 4
stderr: ALIRE.CHECKED_ERROR
stderr: Command ["gprbuild", "-s", "-j0", "-p", "-P", "/Users/runner/work/alire-crates-ci/alire-crates-ci/test/72795f36-0f36-4ff7-9fbd-4f0ab69b3d15/program_proofs_in_spark_0.1.1_37500dca/ch5/ch5.gpr"] exited with code 4
stderr: raised ALIRE.CHECKED_ERROR : alire-stored-error:1
Load address: 0x102c1c000
Call stack traceback locations:
0x103524415 0x1031f7e83 0x10340adf9 0x10340b581 0x10336bac3 0x103369f99 0x103386873 0x1033d2dc1 0x1033d181a 0x1033869b8 0x10336a349 0x102c7b9c1 0x102c8c578 0x102c9101c 0x102d1705c 0x102d223b8 0x102c1d605 0x102c20914


Warning: program_proofs_in_spark=0.1.1 successfully retrieved but its build failed.
Dependencies were solved as follows:

   +i gnat      13.1.0 (new,installed,gnat_native)
   +i gnatprove 12.1.1 (new,installed)            
ERROR: Build ended with errors