Test ran at 2025-02-19 00:42:04.755188+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_native) gnatprove=12.1.1 Dependencies (graph): program_proofs_in_spark=0.1.1 --> gnat=12.2.1 (gnat_native) (>=12 & <2000) program_proofs_in_spark=0.1.1 --> gnatprove=12.1.1 (^12.1.1) LOG: Spawning: alr -d -n get --build program_proofs_in_spark=0.1.1 Note: Deploying program_proofs_in_spark=0.1.1... Note: Deploying gnatprove=12.1.1... #=#=# 1.0% ## 3.2% #### 6.5% ####### 9.7% ########### 16.5% ############### 21.5% ################ 22.5% ################ 23.2% ###################### 30.7% ########################### 38.4% ################################ 45.0% ################################### 49.3% ###################################### 54.1% ########################################### 61.0% ################################################# 69.1% ##################################################### 73.9% ######################################################## 78.5% ############################################################ 83.5% ############################################################### 88.6% ###################################################################### 97.6% ######################################################################## 100.0% 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 [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=0.1.1/ch7/ch7.gpr (2/5)... Setup [mkdir] object directory for project Ch7 Compile [Ada] unary_numbers.adb Note: Building program_proofs_in_spark=0.1.1/ch12/ch12.gpr (3/5)... Setup [mkdir] object directory for project Ch12 Compile [Ada] fibonacci_squared.adb Note: Building program_proofs_in_spark=0.1.1/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=0.1.1/ch15/ch15.gpr (5/5)... Setup [mkdir] object directory for project Ch15 Compile [Ada] dutch_national_flag.adb [Ada] sort.adb [Ada] sort_types.ads program_proofs_in_spark=0.1.1 successfully retrieved and built. Dependencies were solved as follows: +b gnat 12.2.1 (new,gnat_native,binary) +b gnatprove 12.1.1 (new,binary) 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