Test ran at 2024-03-23 13:05:57.846596+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.2.1 (gnat_external)
   gnatprove=12.1.1
Dependencies (graph):
   program_proofs_in_spark=0.1.1 --> gnat=13.2.1 (gnat_external) (>=12 & <2000)
   program_proofs_in_spark=0.1.1 --> gnatprove=12.1.1 (^12.1.1)


LOG:
Spawning: alr -d -n get --build program_proofs_in_spark=0.1.1
Note: Deploying program_proofs_in_spark=0.1.1...
Note: Deploying gnatprove=12.1.1...
#=#=#                                                                          
##O#-#                                                                         

                                                                           0.0%
###                                                                        5.3%
##########                                                                14.2%
################                                                          22.7%
######################                                                    31.7%
#############################                                             40.9%
###################################                                       49.9%
#########################################                                 58.0%
################################################                          66.9%
#####################################################                     74.5%
###########################################################               82.5%
#################################################################         91.4%
#######################################################################   99.7%
######################################################################## 100.0%
Note: Building program_proofs_in_spark=0.1.1/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", "/home/runner/work/alire-crates-ci/alire-crates-ci/test/eb7117aa-38c9-425f-8532-c1ba85ab3de0/program_proofs_in_spark_0.1.1_37500dca/ch5/ch5.gpr"] exited with code 4
ERROR: Command ["gprbuild", "-s", "-j0", "-p", "-P", "/home/runner/work/alire-crates-ci/alire-crates-ci/test/eb7117aa-38c9-425f-8532-c1ba85ab3de0/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", "/home/runner/work/alire-crates-ci/alire-crates-ci/test/eb7117aa-38c9-425f-8532-c1ba85ab3de0/program_proofs_in_spark_0.1.1_37500dca/ch5/ch5.gpr"] exited with code 4
stderr: raised ALIRE.CHECKED_ERROR : alire-stored-error:1
[/usr/sbin/alr]
0xe4810a Alire.Raise_Checked_Error at alire.adb:272
0xa90404 Alire.Os_Lib.Subprocess.Checked_Spawn at alire-os_lib-subprocess.adb:111
0xd153f3 Alire.Spawn.Command at alire-spawn.adb:21
0xd15b11 Alire.Spawn.Gprbuild at alire-spawn.adb:41
0xc45693 Alire.Roots.Build at alire-roots.adb:182
0xc43936 Alire.Roots.Build at alire-roots.adb:248
0xc6b083 Alire.Roots.Traverse at alire-roots.adb:2053
0xcd9c00 Alire.Solutions.Traverse.Visit at alire-solutions.adb:1480
0xcd8a70 Alire.Solutions.Traverse at alire-solutions.adb:1563
0xc6b1be Alire.Roots.Traverse at alire-roots.adb:2057
0xc6b3f5 Alire.Roots.Traverse at alire-roots.adb:2037
0xc440f1 Alire.Roots.Build at alire-roots.adb:281
0xc441d7 Alire.Roots.Build at alire-roots.adb:107
0x4a4206 Alr.Commands.Get.Retrieve at alr-commands-get.adb:195
0x4a87b2 Alr.Commands.Get.Execute at alr-commands-get.adb:368
0x4a8a49 Alr.Commands.Get.Execute at alr-commands-get.adb:246
0x53939b Alr.Commands.Sub_Cmd.Execute at clic-subcommand-instance.adb:749
0x54587e Alr.Commands.Execute at alr-commands.adb:561
0x436183 Alr.Main at alr-main.adb:13
0x438de1 Main at b__alr-main.adb:2257
[/usr/bin/..//lib/libc.so.6]
0x7fd28c88ccce
0x7fd28c88cd88
[/usr/sbin/alr]
0x43601c _start at ???
0xfffffffffffffffe


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

   +b gnat      13.2.1 (new,gnat_external,executable in path)
   +b gnatprove 12.1.1 (new,binary)
ERROR: Build ended with errors