Test ran at 2025-03-21 01:28:26.566017+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% ## 3.2% ## 3.4% ### 4.7% ##### 7.4% ####### 10.3% ######### 12.9% ######### 13.6% ########### 16.1% ############# 18.9% ############### 21.0% ################ 22.4% ################ 22.6% ################## 25.3% ################### 26.6% #################### 28.1% #################### 28.9% ####################### 32.1% ######################## 33.4% ######################### 35.3% ######################### 35.6% ######################### 35.8% ########################### 38.3% ########################### 38.7% ############################# 40.4% ############################## 42.4% ################################ 45.0% ################################## 48.2% ################################## 48.3% ################################### 49.6% ##################################### 51.4% ###################################### 52.9% ####################################### 54.6% ######################################### 58.3% ############################################ 61.7% ############################################## 64.3% ############################################### 65.5% ################################################ 67.5% ################################################## 70.0% ################################################## 70.7% ##################################################### 73.9% ####################################################### 77.1% ######################################################### 80.1% ######################################################### 80.3% ############################################################ 83.5% ############################################################## 86.8% ################################################################ 89.1% ################################################################ 89.6% ################################################################ 90.3% ################################################################## 92.0% ################################################################## 92.8% ################################################################### 93.1% ################################################################### 93.8% ##################################################################### 96.4% ####################################################################### 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