Test ran at 2025-09-17 12:44:46.752866+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: [alr test] Testing elevator=1.0.0 [alr test] Spawning retrieval for remote crate: alr -d -n get elevator=1.0.0 Note: Deploying elevator=1.0.0... Note: Deploying gnatprove=12.1.1... #=#=# ### 5.2% ###### 9.6% ###### 9.7% ####### 10.6% ######## 12.1% ############ 17.7% ################# 24.0% ##################### 29.8% ##################### 29.9% ########################## 37.2% ############################### 44.4% #################################### 50.3% ####################################### 55.5% ########################################### 59.9% ############################################### 65.4% ################################################### 71.9% ####################################################### 76.8% ############################################################ 83.9% ################################################################ 89.1% #################################################################### 95.8% ######################################################################## 100.0% elevator=1.0.0 successfully retrieved. Dependencies were solved as follows: +b gnatprove 12.1.1 (new,binary) [alr test] Spawning default test for remote crate: alr -d -n build --release -- -cargs:Ada -gnatwn 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 Success: Build finished successfully in 2.07 seconds. Found declared GPR file: elevator.gpr [alr test] Test completed SUCCESSFULLY