Test ran at 2024-11-11 13:42:47.071493+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#-# ##O=# # 0.1% ### 5.1% ####### 10.3% ########### 15.4% ############# 19.4% ################# 23.7% #################### 28.1% ####################### 33.0% ########################## 36.9% ############################# 41.2% ################################ 45.5% ################################### 49.4% ###################################### 53.6% ######################################### 57.8% ############################################ 62.1% ############################################### 66.0% ################################################# 69.2% ################################################### 72.1% ###################################################### 76.3% ########################################################## 80.6% ############################################################# 84.7% ############################################################### 88.8% ################################################################## 92.9% ##################################################################### 97.2% ######################################################################## 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 Build finished successfully in 9.34 seconds. elevator=1.0.0 successfully retrieved and built. Dependencies were solved as follows: +i gnatprove 12.1.1 (new,installed) Found declared GPR file: elevator.gpr