Test ran at 2024-12-02 00:39:44.781943+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.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... #=#=# 0.2% # 2.7% ### 5.3% ##### 7.2% ###### 9.0% ######## 12.0% ######### 12.8% ########## 14.4% ############ 16.8% ############# 18.7% ############# 19.2% ############### 21.8% ############### 22.0% ################# 23.9% ################## 26.3% ################### 27.6% #################### 28.8% ####################### 32.0% ######################### 35.5% ######################### 36.0% ########################### 38.1% ############################ 39.3% ############################# 41.2% ############################### 43.1% ################################## 47.4% ##################################### 51.7% ##################################### 52.7% ####################################### 55.1% ######################################## 56.1% ######################################### 58.3% ########################################### 60.3% ############################################## 64.5% ############################################## 64.6% ################################################ 67.0% ################################################## 69.9% ################################################### 71.9% ###################################################### 75.1% ####################################################### 76.6% ######################################################## 79.2% ########################################################## 81.4% ############################################################ 83.8% ############################################################## 86.2% ############################################################## 86.7% ############################################################### 88.0% ############################################################### 88.6% ################################################################## 92.3% ################################################################### 93.4% #################################################################### 95.8% ###################################################################### 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", "D:\a\alire-crates-ci\alire-crates-ci\test\3360dd30-b8e6-4ea5-9fbf-381d89bf1aa0\program_proofs_in_spark_0.1.1_37500dca\ch5/ch5.gpr"] exited with code 4 ERROR: Command ["gprbuild", "-s", "-j0", "-p", "-P", "D:\a\alire-crates-ci\alire-crates-ci\test\3360dd30-b8e6-4ea5-9fbf-381d89bf1aa0\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", "D:\a\alire-crates-ci\alire-crates-ci\test\3360dd30-b8e6-4ea5-9fbf-381d89bf1aa0\program_proofs_in_spark_0.1.1_37500dca\ch5/ch5.gpr"] exited with code 4 stderr: raised ALIRE.CHECKED_ERROR : alire-stored-error:1 [D:\a\alire-crates-ci\alire-crates-ci\alire_install\bin\alr.exe] 0xdc98eb Semantic_Versioning.Basic.At_Least at alire.adb:251 0xa63e32 Semantic_Versioning.Basic.At_Least at alire-os_lib-subprocess.adb:110 0xc9b793 Semantic_Versioning.Basic.At_Least at alire-spawn.adb:21 0xc9bee4 Semantic_Versioning.Basic.At_Least at alire-spawn.adb:41 0xbfc3e0 Semantic_Versioning.Basic.At_Least at alire-roots.adb:140 0xbfa8e7 Semantic_Versioning.Basic.At_Least at alire-roots.adb:171 0xc17363 Semantic_Versioning.Basic.At_Least at alire-roots.adb:1364 0xc62228 Semantic_Versioning.Basic.At_Least at alire-solutions.adb:1443 0xc60e50 Semantic_Versioning.Basic.At_Least at alire-solutions.adb:1518 0xc174a4 Semantic_Versioning.Basic.At_Least at alire-roots.adb:1368 0xbfac57 Semantic_Versioning.Basic.At_Least at alire-roots.adb:196 0x47726b Semantic_Versioning.Basic.At_Least at alr-commands-build.adb:58 0x488aa6 Semantic_Versioning.Basic.At_Least at alr-commands-get.adb:187 0x48d3cc Semantic_Versioning.Basic.At_Least at alr-commands-get.adb:348 0x51c0a3 Semantic_Versioning.Basic.At_Least at clic-subcommand-instance.adb:742 0x528a27 Semantic_Versioning.Basic.At_Least at alr-commands.adb:492 0x401761 Alr.Main at alr-main.adb:10 0x404bd6 Main at b__alr-main.adb:2130 0x401423 __tmainCRTStartup at ??? 0x40113b mainCRTStartup at ??? [C:\Windows\System32\KERNEL32.DLL] 0x7ffb14574cae [C:\Windows\SYSTEM32\ntdll.dll] 0x7ffb1473edc9 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