Test ran at 2023-05-24 13:05:17.411138+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=12.2.1 (gnat_external) (installed) gnatprove=12.1.1 (installed) Dependencies (graph): program_proofs_in_spark=0.1.1 --> gnat=12.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... #=#=# # 1.5% ## 3.4% ### 5.0% #### 6.0% ##### 7.0% ##### 7.9% ###### 9.4% ####### 10.8% ######### 12.6% ########## 14.1% ########### 15.4% ########### 16.5% ############ 17.4% ############## 19.5% ############### 21.8% ################ 23.2% ################# 24.6% ################### 26.4% #################### 27.9% ##################### 30.0% ###################### 31.7% ####################### 32.5% ######################### 34.8% ########################## 36.5% ########################### 37.8% ############################ 39.4% ############################# 40.7% ############################## 41.9% ############################### 43.4% ################################ 45.1% ################################# 45.9% ################################## 47.3% ################################### 49.0% #################################### 50.2% #################################### 51.4% ##################################### 52.4% ###################################### 53.6% ####################################### 54.8% ######################################## 56.2% ######################################### 57.1% ######################################### 58.0% ########################################## 59.4% ########################################### 60.7% ############################################ 62.3% ############################################# 63.3% ############################################## 64.4% ############################################### 65.9% ################################################ 67.7% ################################################# 68.8% ################################################## 70.7% ################################################### 72.2% ##################################################### 74.3% ###################################################### 76.1% ####################################################### 76.8% ######################################################## 78.3% ######################################################### 79.4% ######################################################### 80.3% ########################################################## 81.8% ############################################################ 83.7% ############################################################# 84.8% ############################################################# 85.9% ############################################################## 86.9% ############################################################### 87.8% ################################################################ 89.3% ################################################################# 90.9% ################################################################## 91.8% ################################################################### 93.4% #################################################################### 94.9% ##################################################################### 96.5% ###################################################################### 97.9% ####################################################################### 98.9% ######################################################################## 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 [Ada] abstract_syntax_trees.adb Bind [gprbind] test_abstract_syntax_trees.bexch [Ada] test_abstract_syntax_trees.ali Link [link] test_abstract_syntax_trees.adb Note: Building program_proofs_in_spark/ch7/ch7.gpr (2/5)... Setup [mkdir] object directory for project Ch7 Compile [Ada] unary_numbers.adb Note: Building program_proofs_in_spark/ch12/ch12.gpr (3/5)... Setup [mkdir] object directory for project Ch12 Compile [Ada] fibonacci_squared.adb Note: Building program_proofs_in_spark/ch13/ch13.gpr (4/5)... Setup [mkdir] object directory for project Ch13 Compile [Ada] test_search.adb [Ada] search.adb Bind [gprbind] test_search.bexch [Ada] test_search.ali Link [link] test_search.adb Note: Building program_proofs_in_spark/ch15/ch15.gpr (5/5)... Setup [mkdir] object directory for project Ch15 Compile [Ada] dutch_national_flag.adb [Ada] sort_types.ads [Ada] sort.adb Build finished successfully in 2.84 seconds. program_proofs_in_spark=0.1.1 successfully retrieved and built. Dependencies were solved as follows: +i gnat 12.2.1 (new,installed,gnat_external) +i gnatprove 12.1.1 (new,installed) Found declared GPR file: ch5/ch5.gpr Found declared GPR file: ch7/ch7.gpr Found declared GPR file: ch12/ch12.gpr Found declared GPR file: ch13/ch13.gpr Found declared GPR file: ch15/ch15.gpr