Test ran at 2025-09-13 13:10:44.430361+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=15.2.1 (gnat_native) gnatprove=12.1.1 Dependencies (graph): program_proofs_in_spark=0.1.1 --> gnat=15.2.1 (gnat_native) (>=12 & <2000) program_proofs_in_spark=0.1.1 --> gnatprove=12.1.1 (^12.1.1) LOG: [alr test] Testing program_proofs_in_spark=0.1.1 [alr test] Spawning retrieval for remote crate: alr -d -n get 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% # 2.6% ### 4.5% #### 6.4% ###### 9.1% ####### 10.6% ######### 12.9% ########### 15.4% ############ 16.9% ############# 19.3% ############### 22.1% ################# 23.8% ################## 25.7% ################### 27.0% ################### 27.0% #################### 28.9% ###################### 31.6% ####################### 32.1% ######################## 34.6% ######################### 35.3% ########################## 36.6% ########################## 36.6% ########################### 38.6% ############################ 39.9% ############################ 39.9% ############################## 41.8% ############################### 44.0% ################################ 45.0% ################################## 47.7% ################################## 48.2% ################################### 49.5% #################################### 50.8% ##################################### 52.1% ###################################### 54.0% ####################################### 54.6% ######################################## 56.2% ######################################### 57.8% ########################################### 60.4% ############################################ 61.7% ############################################# 63.6% ############################################## 64.3% ################################################ 66.8% ################################################ 67.5% ################################################# 68.2% ################################################# 68.2% ################################################# 68.9% ################################################## 70.2% ################################################## 70.7% #################################################### 73.1% ##################################################### 73.9% ###################################################### 76.3% ####################################################### 77.4% ######################################################### 79.8% ######################################################### 80.5% ########################################################## 80.8% ########################################################## 80.8% ########################################################## 81.5% ########################################################### 82.2% ########################################################### 83.0% ############################################################ 83.6% ############################################################## 86.2% ############################################################### 88.2% ################################################################ 90.0% ################################################################# 91.3% ################################################################# 91.4% ################################################################### 93.2% ################################################################### 93.3% ################################################################### 93.4% ################################################################### 93.5% ################################################################### 93.7% ################################################################### 93.9% ################################################################### 94.2% #################################################################### 94.6% #################################################################### 95.1% #################################################################### 95.8% ##################################################################### 96.4% ####################################################################### 98.9% ####################################################################### 99.6% ######################################################################## 100.0% program_proofs_in_spark=0.1.1 successfully retrieved. Dependencies were solved as follows: +b gnat 15.2.1 (new,gnat_native,binary) +b gnatprove 12.1.1 (new,binary) [alr test] Spawning default test for remote crate: alr -d -n build --release -- -cargs:Ada -gnatwn 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/21d31166-22cd-42be-9747-2d60d47b4eab/program_proofs_in_spark_0.1.1_37500dca/ch5/ch5.gpr", "-cargs:Ada", "-gnatwn"] exited with code 4 ERROR: Command ["gprbuild", "-s", "-j0", "-p", "-P", "/home/runner/work/alire-crates-ci/alire-crates-ci/test/21d31166-22cd-42be-9747-2d60d47b4eab/program_proofs_in_spark_0.1.1_37500dca/ch5/ch5.gpr", "-cargs:Ada", "-gnatwn"] 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/21d31166-22cd-42be-9747-2d60d47b4eab/program_proofs_in_spark_0.1.1_37500dca/ch5/ch5.gpr", "-cargs:Ada", "-gnatwn"] exited with code 4 stderr: raised ALIRE.CHECKED_ERROR : alire-stored-error:1 [/usr/bin/alr] 0xe75bc6 Alire.Raise_Checked_Error at alire.adb:284 0xac1a54 Alire.Os_Lib.Subprocess.Checked_Spawn at alire-os_lib-subprocess.adb:111 0xd40276 Alire.Spawn.Command at alire-spawn.adb:22 0xd412ee Alire.Spawn.Gprbuild at alire-spawn.adb:68 0xc748cb Alire.Roots.Build at alire-roots.adb:189 0xc7301a Alire.Roots.Build at alire-roots.adb:255 0xc9832b Alire.Roots.Traverse at alire-roots.adb:2143 0xcfee85 Alire.Solutions.Traverse.Visit at alire-solutions.adb:1472 0xcfdfcc Alire.Solutions.Traverse at alire-solutions.adb:1555 0xc9841e Alire.Roots.Traverse at alire-roots.adb:2147 0xc984dd Alire.Roots.Traverse at alire-roots.adb:2127 0xc7359b Alire.Roots.Build at alire-roots.adb:286 0xc736d7 Alire.Roots.Build at alire-roots.adb:114 0x49aa0d Alr.Commands.Build.Execute at alr-commands-build.adb:145 0x49a36d Alr.Commands.Build.Execute at alr-commands-build.adb:113 0x49a51f Alr.Commands.Build.Execute at alr-commands-build.adb:54 0x53bbcc Alr.Commands.Sub_Cmd.Execute at clic-subcommand-instance.adb:749 0x5472be Alr.Commands.Execute at alr-commands.adb:632 0x43d48a Alr.Main at alr-main.adb:13 0x4403a3 Main at b__alr-main.adb:2445 [/lib/x86_64-linux-gnu/libc.so.6] 0x7f563012c1c8 0x7f563012c289 [/usr/bin/alr] 0x43d323 _start at ??? 0xfffffffffffffffe stderr: ALIRE.ROOTS.BUILD._WRAPPED_STATEMENTS.BUILD_FAILED stderr: alire-roots.adb:202 stderr: raised ALIRE.ROOTS.BUILD._WRAPPED_STATEMENTS.BUILD_FAILED : alire-roots.adb:202 [/usr/bin/alr] 0xc74cc7 Alire.Roots.Build at alire-roots.adb:202 0xc7301a Alire.Roots.Build at alire-roots.adb:255 0xc9832b Alire.Roots.Traverse at alire-roots.adb:2143 0xcfee85 Alire.Solutions.Traverse.Visit at alire-solutions.adb:1472 0xcfdfcc Alire.Solutions.Traverse at alire-solutions.adb:1555 0xc9841e Alire.Roots.Traverse at alire-roots.adb:2147 0xc984dd Alire.Roots.Traverse at alire-roots.adb:2127 0xc7359b Alire.Roots.Build at alire-roots.adb:286 0xc736d7 Alire.Roots.Build at alire-roots.adb:114 0x49aa0d Alr.Commands.Build.Execute at alr-commands-build.adb:145 0x49a36d Alr.Commands.Build.Execute at alr-commands-build.adb:113 0x49a51f Alr.Commands.Build.Execute at alr-commands-build.adb:54 0x53bbcc Alr.Commands.Sub_Cmd.Execute at clic-subcommand-instance.adb:749 0x5472be Alr.Commands.Execute at alr-commands.adb:632 0x43d48a Alr.Main at alr-main.adb:13 0x4403a3 Main at b__alr-main.adb:2445 [/lib/x86_64-linux-gnu/libc.so.6] 0x7f563012c1c8 0x7f563012c289 [/usr/bin/alr] 0x43d323 _start at ??? 0xfffffffffffffffe ERROR: Compilation failed.