Test ran at 2025-02-15 12:32:17.186563+00:00 SOLUTION: elevator=1.0.0: A Simple Elevator System Origin: commit b439645aabfe091eef46b3a3174e47ffa86e3930 from https://github.com/ada-Soton/elevator.git Properties: Author: Thai Son Hoang Description: A Simple Elevator System Executable: main License: CC-BY-SA-4.0 Maintainer: Thai Son Hoang Maintainers_Logins: tshoang Name: elevator Tag: elevator Tag: teaching Version: 1.0.0 Website: https://github.com/ada-Soton/elevator Dependencies (direct): gnatprove^12.1.1 Dependencies (solution): gnatprove=12.1.1 Dependencies (graph): elevator=1.0.0 --> gnatprove=12.1.1 (^12.1.1) LOG: Spawning: alr -d -n get --build elevator=1.0.0 Note: Deploying elevator=1.0.0... Note: Deploying gnatprove=12.1.1... #=#=# 0.0% # 2.6% ### 4.5% ### 4.5% #### 5.9% #### 6.4% ###### 9.1% ####### 9.9% ######## 12.1% ######### 12.9% ########## 15.2% ########### 16.1% ############# 18.7% ############## 20.6% ################ 22.5% ################# 24.4% ################## 25.7% #################### 28.4% ##################### 30.3% ####################### 32.1% ######################### 34.9% ########################## 36.6% ########################## 36.6% ########################### 37.9% ############################ 39.7% ############################# 41.5% ############################### 43.1% ################################ 45.0% ################################## 47.7% ################################### 49.5% ##################################### 51.4% ##################################### 52.7% ###################################### 54.0% ####################################### 55.5% ######################################### 57.2% ######################################### 57.9% ########################################### 60.0% ############################################ 61.4% ############################################ 62.3% ############################################ 62.4% ############################################## 64.3% ################################################ 67.0% ################################################# 68.8% ################################################## 70.7% #################################################### 73.3% ###################################################### 75.0% ####################################################### 76.6% ######################################################## 78.4% ######################################################### 80.3% ########################################################## 81.4% ############################################################ 83.4% ############################################################# 84.9% ############################################################## 86.7% ############################################################### 88.9% ################################################################ 90.0% ################################################################## 92.0% ################################################################### 93.3% #################################################################### 94.6% #################################################################### 94.6% ##################################################################### 96.0% ###################################################################### 97.7% ###################################################################### 97.7% ####################################################################### 99.6% ######################################################################## 100.0% Note: Building elevator=1.0.0/elevator.gpr... Setup [mkdir] object directory for project Elevator [mkdir] exec directory for project Elevator Compile [Ada] main.adb [Ada] cabin_package.adb [Ada] controller_package.adb [Ada] elevator.adb [Ada] user_package.adb [Ada] floor_package.ads [Ada] motor_package.ads [Ada] button_package.ads [Ada] direction_package.ads [Ada] door_package.ads Bind [gprbind] main.bexch [Ada] main.ali Link [link] main.adb elevator=1.0.0 successfully retrieved and built. Dependencies were solved as follows: +b gnatprove 12.1.1 (new,binary) Found declared GPR file: elevator.gpr