Test ran at 2024-05-23 01:20:20.011919+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 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) (installed) gnatprove=12.1.1 (installed) 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: Note: Deploying program_proofs_in_spark=0.1.1... Note: Deploying gnatprove=12.1.1... #=#=# ##O#-# 0.0% 0.7% # 2.5% ## 3.8% #### 5.7% ##### 7.6% ###### 9.5% ######## 11.4% ######### 13.3% ########## 15.2% ############ 17.1% ############# 19.1% ############### 21.0% ################ 22.8% ################# 24.7% ################### 26.7% #################### 28.6% ##################### 29.2% ###################### 31.0% ###################### 31.4% ####################### 32.9% ######################### 34.9% ########################## 37.0% ########################### 38.7% ############################# 40.8% ############################## 42.6% ################################ 44.6% ################################# 46.6% ################################## 48.4% #################################### 50.4% #################################### 51.1% ###################################### 53.0% ####################################### 54.9% ######################################## 56.8% ########################################## 58.7% ########################################### 60.7% ############################################# 62.6% ############################################## 64.5% ############################################### 66.5% ################################################# 68.5% ################################################## 70.4% #################################################### 72.4% #################################################### 73.3% ###################################################### 75.3% ####################################################### 77.1% ######################################################## 78.4% ######################################################### 80.3% ########################################################### 82.4% ############################################################ 84.5% ############################################################## 86.4% ############################################################### 88.5% ############################################################### 88.9% ################################################################# 90.8% ################################################################## 92.3% ################################################################### 93.6% ##################################################################### 96.1% ###################################################################### 98.1% ######################################################################## 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", "/home/runner/work/alire-crates-ci/alire-crates-ci/test/f26040a6-2241-41d5-b570-619a8473769e/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/f26040a6-2241-41d5-b570-619a8473769e/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/f26040a6-2241-41d5-b570-619a8473769e/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/bin/alr] 0xd7ada2 Alire.Raise_Checked_Error at alire.adb:251 0xa423cf Alire.Os_Lib.Subprocess.Checked_Spawn at alire-os_lib-subprocess.adb:110 0xc5cdee Alire.Spawn.Command at alire-spawn.adb:21 0xc5d51c Alire.Spawn.Gprbuild at alire-spawn.adb:41 0xbc1550 Alire.Roots.Build.Build_Single_Release.Call_Gprbuild at alire-roots.adb:140 0xbbfbaf Alire.Roots.Build.Build_Single_Release at alire-roots.adb:171 0xbdb95e Alire.Roots.Traverse.Traverse_Wrap at alire-roots.adb:1364 0xc25a8b Alire.Solutions.Traverse.Visit at alire-solutions.adb:1443 0xc246a2 Alire.Solutions.Traverse at alire-solutions.adb:1518 0xbdbaac Alire.Roots.Traverse at alire-roots.adb:1368 0xbbff40 Alire.Roots.Build at alire-roots.adb:196 0x4a0334 Alr.Commands.Build.Execute at alr-commands-build.adb:58 0x4b065a Alr.Commands.Get.Retrieve at alr-commands-get.adb:187 0x4b4e77 Alr.Commands.Get.Execute at alr-commands-get.adb:348 0x53bb7e Alr.Commands.Sub_Cmd.Execute at clic-subcommand-instance.adb:742 0x54756f Alr.Commands.Execute at alr-commands.adb:492 0x43cb1a Alr.Main at alr-main.adb:10 0x43f3e7 Main at b__alr-main.adb:2132 [/lib64/libc.so.6] 0x7f0a42c3b148 0x7f0a42c3b209 [/usr/bin/alr] 0x43c9f8 _start at ??? 0xfffffffffffffffe Warning: program_proofs_in_spark=0.1.1 successfully retrieved but its build failed. Dependencies were solved as follows: +i gnat 13.2.1 (new,installed,gnat_external) +i gnatprove 12.1.1 (new,installed) ERROR: Build ended with errors