Test ran at 2024-04-27 01:47:57.327377+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 (installed) Dependencies (graph): elevator=1.0.0 --> gnatprove=12.1.1 (^12.1.1) LOG: Note: Deploying elevator=1.0.0... Note: Deploying gnatprove=12.1.1... #=#=# ##O#-# 0.0% # 2.0% ##### 8.2% ######## 12.2% ########### 16.0% ############## 19.8% ################# 23.6% ###################### 30.9% ######################## 34.2% ########################### 37.8% ############################# 41.4% ################################ 45.1% ################################### 48.7% ##################################### 52.3% ######################################## 56.0% ########################################## 59.6% ############################################# 63.2% ############################################### 66.6% ################################################## 70.1% #################################################### 73.4% ####################################################### 76.9% ######################################################### 80.4% ############################################################ 84.0% ############################################################### 87.6% ################################################################# 91.1% #################################################################### 94.8% ###################################################################### 98.0% ######################################################################## 100.0% Note: gnatprove=12.1.1 installed successfully. Note: Building elevator/elevator.gpr... Setup [mkdir] object directory for project Elevator [mkdir] exec directory for project Elevator Compile [Ada] main.adb main.adb:3:80: (style) this line is too long main.adb:4:80: (style) this line is too long main.adb:5:80: (style) this line is too long main.adb:10:80: (style) this line is too long main.adb:17:80: (style) this line is too long main.adb:18:80: (style) this line is too long main.adb:34:07: (style) space required main.adb:37:07: (style) space required main.adb:41:40: (style) space required main.adb:57:10: (style) space required main.adb:58:10: (style) space required main.adb:60:01: (style) multiple blank lines [Ada] cabin_package.adb [Ada] controller_package.adb [Ada] elevator.adb cabin_package.adb:3:80: (style) this line is too long cabin_package.adb:4:80: (style) this line is too long cabin_package.adb:5:80: (style) this line is too long cabin_package.adb:10:80: (style) this line is too long cabin_package.adb:17:80: (style) this line is too long cabin_package.adb:18:80: (style) this line is too long cabin_package.adb:32:10: (style) redundant parentheses cabin_package.adb:34:18: (style) space required cabin_package.adb:35:13: (style) redundant parentheses cabin_package.adb:37:18: (style) space required cabin_package.ads:3:80: (style) this line is too long cabin_package.ads:4:80: (style) this line is too long cabin_package.ads:5:80: (style) this line is too long cabin_package.ads:10:80: (style) this line is too long cabin_package.ads:17:80: (style) this line is too long cabin_package.ads:18:80: (style) this line is too long cabin_package.ads:31:25: (style) space required cabin_package.ads:41:25: (style) space required cabin_package.ads:48:24: (style) space required [Ada] user_package.adb controller_package.adb:3:80: (style) this line is too long controller_package.adb:4:80: (style) this line is too long controller_package.adb:5:80: (style) this line is too long controller_package.adb:10:80: (style) this line is too long controller_package.adb:17:80: (style) this line is too long controller_package.adb:18:80: (style) this line is too long controller_package.adb:32:01: (style) trailing spaces not permitted controller_package.adb:33:28: (style) space required controller_package.adb:35:80: (style) this line is too long controller_package.adb:36:19: (style) "and then" required controller_package.adb:36:33: (style) "and then" required controller_package.adb:36:50: (style) space required controller_package.adb:36:56: (style) bad casing of "True" declared in Standard controller_package.adb:40:24: (style) "and then" required controller_package.adb:40:38: (style) "and then" required controller_package.adb:40:55: (style) space required controller_package.adb:40:61: (style) bad casing of "True" declared in Standard controller_package.adb:41:20: (style) bad casing of "True" declared in Standard controller_package.adb:44:14: (style) bad casing of "False" declared in Standard controller_package.adb:47:25: (style) space required controller_package.adb:47:43: (style) bad casing of "UP_BUTTONS_ARRAY_Type" declared at button_package.ads:33 controller_package.adb:50:19: (style) "and then" required controller_package.adb:50:33: (style) "and then" required controller_package.adb:50:50: (style) space required controller_package.adb:50:56: (style) bad casing of "True" declared in Standard controller_package.adb:54:24: (style) "and then" required controller_package.adb:54:38: (style) "and then" required controller_package.adb:54:55: (style) space required controller_package.adb:54:61: (style) bad casing of "True" declared in Standard controller_package.adb:55:20: (style) bad casing of "True" declared in Standard controller_package.adb:58:14: (style) bad casing of "False" declared in Standard controller_package.adb:61:27: (style) space required controller_package.adb:64:19: (style) "and then" required controller_package.adb:64:33: (style) "and then" required controller_package.adb:64:50: (style) space required controller_package.adb:64:56: (style) bad casing of "True" declared in Standard controller_package.adb:68:24: (style) "and then" required controller_package.adb:68:38: (style) "and then" required controller_package.adb:68:55: (style) space required controller_package.adb:68:61: (style) bad casing of "True" declared in Standard controller_package.adb:69:20: (style) bad casing of "True" declared in Standard controller_package.adb:72:14: (style) bad casing of "False" declared in Standard controller_package.adb:76:62: (style) space required controller_package.adb:77:62: (style) space required controller_package.adb:78:56: (style) space required controller_package.adb:79:56: (style) space required controller_package.adb:80:60: (style) space required controller_package.adb:81:60: (style) space required controller_package.adb:87:22: (style) redundant parentheses controller_package.adb:87:43: (style) space required controller_package.adb:87:53: (style) bad casing of "True" declared in Standard controller_package.adb:87:59: (style) "or else" required controller_package.adb:88:70: (style) space required controller_package.adb:88:80: (style) bad casing of "True" declared in Standard controller_package.adb:91:30: (style) space required controller_package.adb:94:25: (style) redundant parentheses controller_package.adb:96:33: (style) space required controller_package.adb:98:66: (style) space required controller_package.adb:98:76: (style) bad casing of "True" declared in Standard controller_package.adb:100:36: (style) space required controller_package.adb:101:31: (style) redundant parentheses controller_package.adb:103:36: (style) space required controller_package.adb:108:22: (style) redundant parentheses controller_package.adb:108:43: (style) space required controller_package.adb:108:53: (style) bad casing of "True" declared in Standard controller_package.adb:108:59: (style) "or else" required controller_package.adb:109:64: (style) space required controller_package.adb:109:74: (style) bad casing of "True" declared in Standard controller_package.adb:112:30: (style) space required controller_package.adb:115:25: (style) redundant parentheses controller_package.adb:117:33: (style) space required controller_package.adb:119:72: (style) space required controller_package.adb:119:82: (style) bad casing of "True" declared in Standard controller_package.adb:121:36: (style) space required controller_package.adb:122:31: (style) redundant parentheses controller_package.adb:124:36: (style) space required controller_package.adb:131:24: (style) space required controller_package.adb:134:19: (style) redundant parentheses controller_package.adb:135:22: (style) redundant parentheses controller_package.adb:135:36: (style) bad casing of "UP" declared at direction_package.ads:28 controller_package.adb:136:25: (style) redundant parentheses controller_package.adb:136:45: (style) space required controller_package.adb:136:55: (style) bad casing of "False" declared in Standard controller_package.adb:137:72: (style) space required controller_package.adb:137:82: (style) bad casing of "False" declared in Standard controller_package.adb:140:33: (style) space required controller_package.adb:143:33: (style) space required controller_package.adb:146:25: (style) redundant parentheses controller_package.adb:146:45: (style) space required controller_package.adb:146:55: (style) bad casing of "False" declared in Standard controller_package.adb:147:66: (style) space required controller_package.adb:147:76: (style) bad casing of "False" declared in Standard controller_package.adb:150:33: (style) space required controller_package.adb:153:33: (style) space required controller_package.adb:157:22: (style) redundant parentheses controller_package.adb:157:36: (style) bad casing of "UP" declared at direction_package.ads:28 controller_package.adb:159:30: (style) space required controller_package.adb:162:30: (style) space required controller_package.adb:168:36: (style) space required controller_package.adb:168:46: (style) bad casing of "True" declared in Standard controller_package.adb:168:52: (style) "or else" required controller_package.adb:169:60: (style) space required controller_package.adb:169:70: (style) bad casing of "True" declared in Standard controller_package.adb:172:24: (style) space required controller_package.adb:174:80: (style) this line is too long controller_package.adb:176:27: (style) space required controller_package.adb:180:36: (style) space required controller_package.adb:180:46: (style) bad casing of "True" declared in Standard controller_package.adb:180:52: (style) "or else" required controller_package.adb:181:54: (style) space required controller_package.adb:181:64: (style) bad casing of "True" declared in Standard controller_package.adb:184:24: (style) space required controller_package.adb:186:80: (style) this line is too long controller_package.adb:188:27: (style) space required controller_package.adb:194:01: (style) multiple blank lines controller_package.ads:3:80: (style) this line is too long controller_package.ads:4:80: (style) this line is too long controller_package.ads:5:80: (style) this line is too long controller_package.ads:10:80: (style) this line is too long controller_package.ads:17:80: (style) this line is too long controller_package.ads:18:80: (style) this line is too long controller_package.ads:34:80: (style) this line is too long controller_package.ads:39:25: (style) space required controller_package.ads:46:24: (style) space required [Ada] floor_package.ads elevator.adb:3:80: (style) this line is too long elevator.adb:4:80: (style) this line is too long elevator.adb:5:80: (style) this line is too long elevator.adb:10:80: (style) this line is too long elevator.adb:17:80: (style) this line is too long elevator.adb:18:80: (style) this line is too long elevator.adb:27:07: (style) space required elevator.adb:51:21: (style) bad casing of "UP" declared at direction_package.ads:28 elevator.adb:56:21: (style) bad casing of "UP" declared at direction_package.ads:28 elevator.adb:61:21: (style) bad casing of "DOWN" declared at direction_package.ads:28 elevator.adb:66:21: (style) bad casing of "DOWN" declared at direction_package.ads:28 elevator.adb:101:16: (style) bad casing of "HALF" declared at door_package.ads:27 elevator.adb:102:26: (style) space required elevator.adb:102:37: (style) bad casing of "False" declared in Standard elevator.adb:104:26: (style) space required elevator.adb:104:37: (style) bad casing of "False" declared in Standard elevator.adb:110:16: (style) bad casing of "HALF" declared at door_package.ads:27 elevator.adb:111:26: (style) space required elevator.adb:111:37: (style) bad casing of "False" declared in Standard elevator.adb:113:28: (style) space required elevator.adb:113:39: (style) bad casing of "False" declared in Standard elevator.adb:119:16: (style) bad casing of "OPEN" declared at door_package.ads:27 elevator.adb:120:26: (style) space required elevator.adb:120:37: (style) bad casing of "False" declared in Standard elevator.adb:122:26: (style) space required elevator.adb:122:37: (style) bad casing of "False" declared in Standard elevator.adb:128:16: (style) bad casing of "OPEN" declared at door_package.ads:27 elevator.adb:129:26: (style) space required elevator.adb:129:37: (style) bad casing of "False" declared in Standard elevator.adb:131:28: (style) space required elevator.adb:131:39: (style) bad casing of "False" declared in Standard elevator.adb:135:32: (style) space required elevator.adb:137:26: (style) space required elevator.adb:137:33: (style) bad casing of "True" declared in Standard elevator.adb:140:29: (style) space required elevator.adb:142:23: (style) space required elevator.adb:142:30: (style) bad casing of "True" declared in Standard elevator.adb:145:31: (style) space required elevator.adb:147:25: (style) space required elevator.adb:147:32: (style) bad casing of "True" declared in Standard elevator.adb:150:07: (style) space required elevator.adb:154:15: (style) space required elevator.adb:155:10: (style) space required elevator.adb:156:10: (style) space required elevator.adb:157:10: (style) space required elevator.adb:157:44: (style) bad casing of "DIRECTION_TYPE" declared at direction_package.ads:28 elevator.adb:158:10: (style) space required elevator.adb:158:34: (style) bad casing of "DOOR_TYPE" declared at door_package.ads:27 elevator.adb:159:10: (style) space required elevator.adb:161:32: (style) space required elevator.adb:162:16: (style) space required elevator.adb:165:15: (style) space required elevator.adb:166:10: (style) space required elevator.adb:168:29: (style) space required elevator.adb:169:16: (style) space required elevator.adb:172:15: (style) space required elevator.adb:173:10: (style) space required elevator.adb:175:31: (style) space required elevator.adb:176:16: (style) space required elevator.adb:179:15: (style) space required elevator.adb:180:15: (style) space required elevator.adb:182:01: (style) multiple blank lines elevator.ads:3:80: (style) this line is too long elevator.ads:4:80: (style) this line is too long elevator.ads:5:80: (style) this line is too long elevator.ads:10:80: (style) this line is too long elevator.ads:17:80: (style) this line is too long elevator.ads:18:80: (style) this line is too long elevator.ads:34:01: (style) trailing spaces not permitted elevator.ads:35:07: (style) space required elevator.ads:37:27: (style) bad casing of "DIRECTION_TYPE" declared at direction_package.ads:28 elevator.ads:37:72: (style) trailing spaces not permitted elevator.ads:39:17: (style) bad casing of "DOOR_TYPE" declared at door_package.ads:27 elevator.ads:43:07: (style) space required elevator.ads:44:01: (style) trailing spaces not permitted elevator.ads:45:07: (style) space required elevator.ads:46:23: (style) space required elevator.ads:47:47: (style) bad casing of "DIRECTION_TYPE" declared at direction_package.ads:28 elevator.ads:49:37: (style) bad casing of "DOOR_TYPE" declared at door_package.ads:27 elevator.ads:52:80: (style) this line is too long elevator.ads:55:54: (style) bad casing of "UP" declared at direction_package.ads:28 elevator.ads:56:56: (style) bad casing of "DOWN" declared at direction_package.ads:28 elevator.ads:62:01: (style) trailing spaces not permitted elevator.ads:72:24: (style) "and then" required elevator.ads:72:43: (style) "and then" required elevator.ads:72:63: (style) "and then" required elevator.ads:73:06: (style) "and then" required elevator.ads:73:25: (style) space required elevator.ads:73:66: (style) bad casing of "False" declared in Standard elevator.ads:74:06: (style) "and then" required elevator.ads:74:25: (style) space required elevator.ads:74:65: (style) bad casing of "False" declared in Standard elevator.ads:75:06: (style) "and then" required elevator.ads:75:25: (style) space required elevator.ads:75:65: (style) bad casing of "False" declared in Standard elevator.ads:86:23: (style) space required elevator.ads:96:06: (style) "and then" required elevator.ads:96:20: (style) space required elevator.ads:103:01: (style) trailing spaces not permitted elevator.ads:113:23: (style) space required elevator.ads:121:24: (style) space required elevator.ads:128:06: (style) "and then" required elevator.ads:129:01: (style) trailing spaces not permitted elevator.ads:134:23: (style) space required elevator.ads:135:80: (style) this line is too long elevator.ads:136:28: (style) bad casing of "DOWN" declared at direction_package.ads:28 elevator.ads:139:34: (style) space required elevator.ads:139:44: (style) bad casing of "False" declared in Standard elevator.ads:140:53: (style) space required elevator.ads:140:63: (style) bad casing of "False" declared in Standard elevator.ads:142:37: (style) space required elevator.ads:142:44: (style) bad casing of "True" declared in Standard elevator.ads:144:34: (style) space required elevator.ads:144:41: (style) bad casing of "True" declared in Standard elevator.ads:146:36: (style) space required elevator.ads:146:43: (style) bad casing of "True" declared in Standard elevator.ads:147:31: (style) space required elevator.ads:147:41: (style) bad casing of "True" declared in Standard elevator.ads:148:27: (style) bad casing of "UP" declared at direction_package.ads:28 elevator.ads:149:25: (style) space required elevator.ads:150:80: (style) this line is too long elevator.ads:151:01: (style) trailing spaces not permitted elevator.ads:161:24: (style) space required elevator.ads:167:33: (style) trailing spaces not permitted elevator.ads:168:36: (style) bad casing of "DOWN" declared at direction_package.ads:28 elevator.ads:170:37: (style) space required elevator.ads:170:47: (style) bad casing of "False" declared in Standard elevator.ads:171:56: (style) space required elevator.ads:171:66: (style) bad casing of "False" declared in Standard elevator.ads:173:44: (style) space required elevator.ads:173:51: (style) bad casing of "True" declared in Standard elevator.ads:175:41: (style) space required elevator.ads:175:48: (style) bad casing of "True" declared in Standard elevator.ads:177:43: (style) space required elevator.ads:177:50: (style) bad casing of "True" declared in Standard elevator.ads:179:80: (style) this line is too long elevator.ads:179:81: (style) space required elevator.ads:179:87: (style) bad casing of "True" declared in Standard elevator.ads:179:93: (style) "or else" required elevator.ads:180:80: (style) this line is too long elevator.ads:180:82: (style) space required elevator.ads:180:88: (style) bad casing of "True" declared in Standard elevator.ads:181:80: (style) space required elevator.ads:181:86: (style) bad casing of "True" declared in Standard elevator.ads:184:24: (style) space required elevator.ads:190:45: (style) "and then" required elevator.ads:190:62: (style) bad casing of "UP" declared at direction_package.ads:28 elevator.ads:191:01: (style) trailing spaces not permitted elevator.ads:201:24: (style) space required elevator.ads:207:67: (style) bad casing of "UP" declared at direction_package.ads:28 elevator.ads:209:37: (style) space required elevator.ads:209:47: (style) bad casing of "False" declared in Standard elevator.ads:210:62: (style) space required elevator.ads:210:72: (style) bad casing of "False" declared in Standard elevator.ads:212:44: (style) space required elevator.ads:212:51: (style) bad casing of "True" declared in Standard elevator.ads:214:41: (style) space required elevator.ads:214:48: (style) bad casing of "True" declared in Standard elevator.ads:216:43: (style) space required elevator.ads:216:50: (style) bad casing of "True" declared in Standard elevator.ads:217:37: (style) trailing spaces not permitted elevator.ads:218:36: (style) space required elevator.ads:218:46: (style) bad casing of "True" declared in Standard elevator.ads:220:24: (style) space required elevator.ads:226:45: (style) "and then" required elevator.ads:226:62: (style) bad casing of "DOWN" declared at direction_package.ads:28 elevator.ads:227:01: (style) trailing spaces not permitted elevator.ads:237:24: (style) space required elevator.ads:243:67: (style) bad casing of "UP" declared at direction_package.ads:28 elevator.ads:245:37: (style) space required elevator.ads:245:47: (style) bad casing of "False" declared in Standard elevator.ads:246:62: (style) space required elevator.ads:246:72: (style) bad casing of "False" declared in Standard elevator.ads:248:44: (style) space required elevator.ads:248:51: (style) bad casing of "True" declared in Standard elevator.ads:250:41: (style) space required elevator.ads:250:48: (style) bad casing of "True" declared in Standard elevator.ads:252:43: (style) space required elevator.ads:252:50: (style) bad casing of "True" declared in Standard elevator.ads:254:73: (style) space required elevator.ads:254:79: (style) bad casing of "True" declared in Standard elevator.ads:254:85: (style) "or else" required elevator.ads:255:70: (style) space required elevator.ads:255:76: (style) bad casing of "True" declared in Standard elevator.ads:256:72: (style) space required elevator.ads:256:78: (style) bad casing of "True" declared in Standard elevator.ads:259:24: (style) space required elevator.ads:265:45: (style) "and then" required elevator.ads:265:62: (style) bad casing of "DOWN" declared at direction_package.ads:28 elevator.ads:266:01: (style) trailing spaces not permitted elevator.ads:276:23: (style) space required elevator.ads:282:43: (style) trailing spaces not permitted elevator.ads:287:76: (style) space required elevator.ads:287:82: (style) bad casing of "True" declared in Standard elevator.ads:287:88: (style) "or else" required elevator.ads:288:77: (style) space required elevator.ads:288:83: (style) bad casing of "True" declared in Standard elevator.ads:289:75: (style) space required elevator.ads:289:81: (style) bad casing of "True" declared in Standard elevator.ads:291:34: (style) space required elevator.ads:291:44: (style) bad casing of "False" declared in Standard elevator.ads:292:31: (style) space required elevator.ads:292:41: (style) bad casing of "False" declared in Standard elevator.ads:293:24: (style) space required elevator.ads:299:45: (style) "and then" required elevator.ads:300:01: (style) trailing spaces not permitted elevator.ads:310:23: (style) space required elevator.ads:316:43: (style) trailing spaces not permitted elevator.ads:317:28: (style) bad casing of "DOWN" declared at direction_package.ads:28 elevator.ads:321:68: (style) space required elevator.ads:321:74: (style) bad casing of "True" declared in Standard elevator.ads:321:80: (style) "or else" required elevator.ads:322:65: (style) space required elevator.ads:322:71: (style) bad casing of "True" declared in Standard elevator.ads:323:67: (style) space required elevator.ads:323:73: (style) bad casing of "True" declared in Standard elevator.ads:325:34: (style) space required elevator.ads:325:44: (style) bad casing of "False" declared in Standard elevator.ads:326:33: (style) space required elevator.ads:326:43: (style) bad casing of "False" declared in Standard elevator.ads:327:24: (style) space required elevator.ads:333:45: (style) "and then" required elevator.ads:334:01: (style) trailing spaces not permitted elevator.ads:344:23: (style) space required elevator.ads:350:43: (style) trailing spaces not permitted elevator.ads:352:32: (style) bad casing of "UP" declared at direction_package.ads:28 elevator.ads:353:38: (style) space required elevator.ads:353:48: (style) bad casing of "True" declared in Standard elevator.ads:353:54: (style) "or else" required elevator.ads:354:65: (style) space required elevator.ads:354:75: (style) bad casing of "True" declared in Standard elevator.ads:356:38: (style) space required elevator.ads:356:48: (style) bad casing of "True" declared in Standard elevator.ads:356:54: (style) "or else" required elevator.ads:357:59: (style) space required elevator.ads:357:69: (style) bad casing of "True" declared in Standard elevator.ads:358:24: (style) space required elevator.ads:364:45: (style) "and then" required elevator.ads:375:23: (style) space required elevator.ads:381:43: (style) trailing spaces not permitted elevator.ads:383:32: (style) bad casing of "UP" declared at direction_package.ads:28 elevator.ads:384:77: (style) space required elevator.ads:384:84: (style) bad casing of "True" declared in Standard elevator.ads:385:32: (style) bad casing of "UP" declared at direction_package.ads:28 elevator.ads:386:78: (style) space required elevator.ads:386:85: (style) bad casing of "True" declared in Standard elevator.ads:387:32: (style) bad casing of "UP" declared at direction_package.ads:28 elevator.ads:388:76: (style) space required elevator.ads:388:83: (style) bad casing of "True" declared in Standard elevator.ads:389:32: (style) bad casing of "DOWN" declared at direction_package.ads:28 elevator.ads:390:69: (style) space required elevator.ads:390:76: (style) bad casing of "True" declared in Standard elevator.ads:391:32: (style) bad casing of "DOWN" declared at direction_package.ads:28 elevator.ads:392:66: (style) space required elevator.ads:392:73: (style) bad casing of "True" declared in Standard elevator.ads:393:32: (style) bad casing of "DOWN" declared at direction_package.ads:28 elevator.ads:394:68: (style) space required elevator.ads:394:75: (style) bad casing of "True" declared in Standard elevator.ads:395:24: (style) space required elevator.ads:401:45: (style) "and then" required elevator.ads:412:23: (style) space required elevator.ads:418:43: (style) trailing spaces not permitted elevator.ads:420:24: (style) space required elevator.ads:426:45: (style) "and then" required elevator.ads:437:23: (style) space required elevator.ads:443:43: (style) trailing spaces not permitted elevator.ads:445:34: (style) space required elevator.ads:445:44: (style) bad casing of "False" declared in Standard elevator.ads:446:34: (style) "and then" required elevator.ads:446:78: (style) space required elevator.ads:446:88: (style) bad casing of "False" declared in Standard elevator.ads:447:36: (style) "and then" required elevator.ads:447:74: (style) space required elevator.ads:447:84: (style) bad casing of "False" declared in Standard elevator.ads:448:24: (style) space required elevator.ads:454:45: (style) "and then" required elevator.ads:464:23: (style) space required elevator.ads:470:43: (style) trailing spaces not permitted elevator.ads:475:36: (style) space required elevator.ads:475:46: (style) bad casing of "True" declared in Standard elevator.ads:476:63: (style) space required elevator.ads:476:73: (style) bad casing of "True" declared in Standard elevator.ads:478:24: (style) space required elevator.ads:484:65: (style) trailing spaces not permitted elevator.ads:485:34: (style) space required elevator.ads:485:44: (style) bad casing of "False" declared in Standard elevator.ads:486:59: (style) space required elevator.ads:486:69: (style) bad casing of "False" declared in Standard elevator.ads:496:23: (style) space required elevator.ads:502:43: (style) trailing spaces not permitted elevator.ads:507:36: (style) space required elevator.ads:507:46: (style) bad casing of "True" declared in Standard elevator.ads:508:57: (style) space required elevator.ads:508:67: (style) bad casing of "True" declared in Standard elevator.ads:510:24: (style) space required elevator.ads:516:65: (style) trailing spaces not permitted elevator.ads:517:34: (style) space required elevator.ads:517:44: (style) bad casing of "False" declared in Standard elevator.ads:518:53: (style) space required elevator.ads:518:63: (style) bad casing of "False" declared in Standard elevator.ads:528:23: (style) space required elevator.ads:534:43: (style) trailing spaces not permitted elevator.ads:537:24: (style) space required elevator.ads:543:65: (style) trailing spaces not permitted elevator.ads:544:34: (style) space required elevator.ads:544:44: (style) bad casing of "False" declared in Standard elevator.ads:545:59: (style) space required elevator.ads:545:69: (style) bad casing of "False" declared in Standard elevator.ads:555:23: (style) space required elevator.ads:561:43: (style) trailing spaces not permitted elevator.ads:564:24: (style) space required elevator.ads:570:65: (style) trailing spaces not permitted elevator.ads:571:34: (style) space required elevator.ads:571:44: (style) bad casing of "False" declared in Standard elevator.ads:572:53: (style) space required elevator.ads:572:63: (style) bad casing of "False" declared in Standard elevator.ads:574:32: (style) space required elevator.ads:583:23: (style) space required elevator.ads:590:34: (style) space required elevator.ads:590:40: (style) bad casing of "False" declared in Standard elevator.ads:591:24: (style) space required elevator.ads:597:45: (style) "and then" required elevator.ads:597:69: (style) space required elevator.ads:597:75: (style) bad casing of "True" declared in Standard elevator.ads:599:29: (style) space required elevator.ads:608:23: (style) space required elevator.ads:615:55: (style) space required elevator.ads:615:61: (style) bad casing of "False" declared in Standard elevator.ads:616:24: (style) space required elevator.ads:622:45: (style) "and then" required elevator.ads:622:66: (style) space required elevator.ads:622:72: (style) bad casing of "True" declared in Standard elevator.ads:624:31: (style) space required elevator.ads:633:23: (style) space required elevator.ads:640:49: (style) space required elevator.ads:640:55: (style) bad casing of "False" declared in Standard elevator.ads:641:24: (style) space required elevator.ads:647:72: (style) space required elevator.ads:647:78: (style) bad casing of "True" declared in Standard elevator.ads:649:07: (style) space required elevator.ads:651:07: (style) space required elevator.ads:665:07: (style) space required [Ada] motor_package.ads floor_package.ads:3:80: (style) this line is too long floor_package.ads:4:80: (style) this line is too long floor_package.ads:5:80: (style) this line is too long floor_package.ads:10:80: (style) this line is too long floor_package.ads:17:80: (style) this line is too long floor_package.ads:18:80: (style) this line is too long floor_package.ads:27:06: (style) two spaces required [Ada] button_package.ads user_package.adb:3:80: (style) this line is too long user_package.adb:4:80: (style) this line is too long user_package.adb:5:80: (style) this line is too long user_package.adb:10:80: (style) this line is too long user_package.adb:17:80: (style) this line is too long user_package.adb:18:80: (style) this line is too long user_package.adb:35:18: (style) space required user_package.adb:36:18: (style) space required user_package.adb:37:18: (style) space required user_package.adb:38:18: (style) space required user_package.adb:39:18: (style) space required user_package.adb:40:18: (style) space required user_package.adb:45:13: (style) space required user_package.adb:46:13: (style) space required user_package.adb:49:16: (style) space required user_package.adb:50:16: (style) space required user_package.adb:51:27: (style) "and then" required user_package.adb:52:38: (style) space required user_package.adb:53:27: (style) space required user_package.adb:55:37: (style) space required user_package.adb:56:22: (style) space required user_package.adb:57:22: (style) space required user_package.adb:58:27: (style) space required user_package.adb:62:15: (style) bad indentation user_package.adb:65:16: (style) space required user_package.adb:66:16: (style) space required user_package.adb:67:27: (style) "and then" required user_package.adb:68:35: (style) space required user_package.adb:69:27: (style) space required user_package.adb:71:34: (style) space required user_package.adb:72:22: (style) space required user_package.adb:73:22: (style) space required user_package.adb:74:27: (style) space required user_package.adb:78:15: (style) bad indentation user_package.adb:81:16: (style) space required user_package.adb:82:16: (style) space required user_package.adb:83:26: (style) "and then" required user_package.adb:84:37: (style) space required user_package.adb:85:27: (style) space required user_package.adb:87:36: (style) space required user_package.adb:88:22: (style) space required user_package.adb:89:22: (style) space required user_package.adb:90:27: (style) space required user_package.adb:94:15: (style) bad indentation user_package.ads:3:80: (style) this line is too long user_package.ads:4:80: (style) this line is too long user_package.ads:5:80: (style) this line is too long user_package.ads:10:80: (style) this line is too long user_package.ads:17:80: (style) this line is too long user_package.ads:18:80: (style) this line is too long user_package.ads:43:25: (style) space required user_package.ads:50:24: (style) space required [Ada] direction_package.ads motor_package.ads:3:80: (style) this line is too long motor_package.ads:4:80: (style) this line is too long motor_package.ads:5:80: (style) this line is too long motor_package.ads:10:80: (style) this line is too long motor_package.ads:17:80: (style) this line is too long motor_package.ads:18:80: (style) this line is too long motor_package.ads:27:05: (style) bad indentation [Ada] door_package.ads button_package.ads:3:80: (style) this line is too long button_package.ads:4:80: (style) this line is too long button_package.ads:5:80: (style) this line is too long button_package.ads:10:80: (style) this line is too long button_package.ads:17:80: (style) this line is too long button_package.ads:18:80: (style) this line is too long button_package.ads:28:07: (style) space required button_package.ads:32:07: (style) space required button_package.ads:36:07: (style) space required direction_package.ads:3:80: (style) this line is too long direction_package.ads:4:80: (style) this line is too long direction_package.ads:5:80: (style) this line is too long direction_package.ads:10:80: (style) this line is too long direction_package.ads:17:80: (style) this line is too long direction_package.ads:18:80: (style) this line is too long direction_package.ads:27:07: (style) space required door_package.ads:3:80: (style) this line is too long door_package.ads:4:80: (style) this line is too long door_package.ads:5:80: (style) this line is too long door_package.ads:10:80: (style) this line is too long door_package.ads:17:80: (style) this line is too long door_package.ads:18:80: (style) this line is too long door_package.ads:26:07: (style) space required Bind [gprbind] main.bexch [Ada] main.ali Link [link] main.adb -macosx_version_min has been renamed to -macos_version_min 0 0x100419f43 __assert_rtn + 64 1 0x10031bf43 ld::AtomPlacement::findAtom(unsigned char, unsigned long long, ld::AtomPlacement::AtomLoc const*&, long long&) const + 1411 2 0x100338431 ld::InputFiles::SliceParser::parseObjectFile(mach_o::Header const*) const + 19745 3 0x100348e44 ld::InputFiles::parseAllFiles(void (ld::AtomFile const*) block_pointer)::$_7::operator()(unsigned long, ld::FileInfo const&) const + 1380 4 0x7ff808702def _dispatch_client_callout2 + 8 5 0x7ff808714547 _dispatch_apply_invoke3 + 431 6 0x7ff808702dbc _dispatch_client_callout + 8 7 0x7ff80870404e _dispatch_once_callout + 20 8 0x7ff808713740 _dispatch_apply_invoke + 184 9 0x7ff808702dbc _dispatch_client_callout + 8 10 0x7ff8087122ca _dispatch_root_queue_drain + 871 11 0x7ff80871284f _dispatch_worker_thread2 + 152 12 0x7ff8088a0b43 _pthread_wqthread + 262 ld: Assertion failed: (resultIndex < sectData.atoms.size()), function findAtom, file Relocations.cpp, line 1336. collect2: error: ld returned 1 exit status gprbuild: link of main.adb failed gprbuild: failed command was: /users/runner/.config/alire/cache/dependencies/gnat_native_13.1.0_071d715c/bin/gcc main.o b__main.o /Users/runner/work/alire-crates-ci/alire-crates-ci/test/1b226a03-ade1-4596-b0dc-e550cd4bb5f9/elevator_1.0.0_b439645a/obj/development/direction_package.o /Users/runner/work/alire-crates-ci/alire-crates-ci/test/1b226a03-ade1-4596-b0dc-e550cd4bb5f9/elevator_1.0.0_b439645a/obj/development/door_package.o /Users/runner/work/alire-crates-ci/alire-crates-ci/test/1b226a03-ade1-4596-b0dc-e550cd4bb5f9/elevator_1.0.0_b439645a/obj/development/floor_package.o /Users/runner/work/alire-crates-ci/alire-crates-ci/test/1b226a03-ade1-4596-b0dc-e550cd4bb5f9/elevator_1.0.0_b439645a/obj/development/button_package.o /Users/runner/work/alire-crates-ci/alire-crates-ci/test/1b226a03-ade1-4596-b0dc-e550cd4bb5f9/elevator_1.0.0_b439645a/obj/development/motor_package.o /Users/runner/work/alire-crates-ci/alire-crates-ci/test/1b226a03-ade1-4596-b0dc-e550cd4bb5f9/elevator_1.0.0_b439645a/obj/development/elevator.o /Users/runner/work/alire-crates-ci/alire-crates-ci/test/1b226a03-ade1-4596-b0dc-e550cd4bb5f9/elevator_1.0.0_b439645a/obj/development/cabin_package.o /Users/runner/work/alire-crates-ci/alire-crates-ci/test/1b226a03-ade1-4596-b0dc-e550cd4bb5f9/elevator_1.0.0_b439645a/obj/development/controller_package.o /Users/runner/work/alire-crates-ci/alire-crates-ci/test/1b226a03-ade1-4596-b0dc-e550cd4bb5f9/elevator_1.0.0_b439645a/obj/development/user_package.o -L/Users/runner/work/alire-crates-ci/alire-crates-ci/test/1b226a03-ade1-4596-b0dc-e550cd4bb5f9/elevator_1.0.0_b439645a/obj/development/ -L/Users/runner/work/alire-crates-ci/alire-crates-ci/test/1b226a03-ade1-4596-b0dc-e550cd4bb5f9/elevator_1.0.0_b439645a/obj/development/ -L/users/runner/.config/alire/cache/dependencies/gnat_native_13.1.0_071d715c/lib/gcc/x86_64-apple-darwin21.6.0/13.1.0/adalib/ /users/runner/.config/alire/cache/dependencies/gnat_native_13.1.0_071d715c/lib/gcc/x86_64-apple-darwin21.6.0/13.1.0/adalib/libgnat.a -Wl,-rpath,@executable_path/..//obj/development -Wl,-rpath,@executable_path/../../../../../../..//.config/alire/cache/dependencies/gnat_native_13.1.0_071d715c/lib/gcc/x86_64-apple-darwin21.6.0/13.1.0/adalib -o /Users/runner/work/alire-crates-ci/alire-crates-ci/test/1b226a03-ade1-4596-b0dc-e550cd4bb5f9/elevator_1.0.0_b439645a/bin//main stderr: Command ["gprbuild", "-s", "-j0", "-p", "-P", "/Users/runner/work/alire-crates-ci/alire-crates-ci/test/1b226a03-ade1-4596-b0dc-e550cd4bb5f9/elevator_1.0.0_b439645a/elevator.gpr"] exited with code 4 ERROR: Command ["gprbuild", "-s", "-j0", "-p", "-P", "/Users/runner/work/alire-crates-ci/alire-crates-ci/test/1b226a03-ade1-4596-b0dc-e550cd4bb5f9/elevator_1.0.0_b439645a/elevator.gpr"] exited with code 4 stderr: ALIRE.CHECKED_ERROR stderr: Command ["gprbuild", "-s", "-j0", "-p", "-P", "/Users/runner/work/alire-crates-ci/alire-crates-ci/test/1b226a03-ade1-4596-b0dc-e550cd4bb5f9/elevator_1.0.0_b439645a/elevator.gpr"] exited with code 4 stderr: raised ALIRE.CHECKED_ERROR : alire-stored-error:1 Load address: 0x104268000 Call stack traceback locations: 0x104b70415 0x104843e83 0x104a56df9 0x104a57581 0x1049b7ac3 0x1049b5f99 0x1049d2873 0x104a1edc1 0x104a1d81a 0x1049d29b8 0x1049b6349 0x1042c79c1 0x1042d8578 0x1042dd01c 0x10436305c 0x10436e3b8 0x104269605 0x10426c914 Warning: elevator=1.0.0 successfully retrieved but its build failed. Dependencies were solved as follows: +i gnatprove 12.1.1 (new,installed) ERROR: Build ended with errors