Test ran at 2024-08-01 12:42:39.835579+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.0% # 1.9% ### 5.1% ##### 7.3% ##### 7.3% ####### 10.3% ########## 14.4% ########### 15.5% ############## 19.7% ############### 21.2% ################ 22.7% ################ 23.3% ################## 25.8% ##################### 29.4% ###################### 30.9% ######################## 34.1% ######################### 36.0% ########################### 38.7% ############################# 41.2% ############################### 43.3% ############################### 44.4% ################################# 46.4% ################################### 49.8% ##################################### 51.5% ####################################### 54.5% ######################################## 56.8% ########################################## 58.8% ########################################## 59.6% ############################################ 61.8% ############################################## 65.1% ################################################ 67.0% ################################################## 70.6% ################################################### 72.1% ###################################################### 75.4% ####################################################### 77.2% ######################################################## 78.3% ######################################################## 79.0% ########################################################### 82.4% ############################################################# 85.7% ############################################################### 87.5% ################################################################# 90.9% ################################################################## 92.7% #################################################################### 94.7% ###################################################################### 97.8% ######################################################################## 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/c098b7f6-dcb9-421a-ba96-49b385391191/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/c098b7f6-dcb9-421a-ba96-49b385391191/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/c098b7f6-dcb9-421a-ba96-49b385391191/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: 0x104f40000 Call stack traceback locations: 0x105848415 0x10551be83 0x10572edf9 0x10572f581 0x10568fac3 0x10568df99 0x1056aa873 0x1056f6dc1 0x1056f581a 0x1056aa9b8 0x10568e349 0x104f9f9c1 0x104fb0578 0x104fb501c 0x10503b05c 0x1050463b8 0x104f41605 0x104f44914 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