Test ran at 2024-10-18 00:53:42.655132+00:00 SOLUTION: atomic=0.5.0: Standalone Ada/SPARK bindings to GCC atomic built-ins Origin: commit 14c344ccfb14bcba0feadb5303831d6409f65b5e from https://github.com/Fabien-Chouteau/atomic.git Properties: Author: Fabien Chouteau Config type: Backend : Enum (Intrinsic, armv6m, rp2040_spinlock) default: 'Intrinsic' Config type: RP2040_Spinlock_ID : Integer range 0 .. 31 default: '31' Configuration: no modifiers Description: Standalone Ada/SPARK bindings to GCC atomic built-ins License: MIT Maintainer: Fabien Chouteau Maintainers_Logins: Fabien-Chouteau Name: atomic Tag: atomic Tag: spark Tag: embedded Tag: nostd Version: 0.5.0 Website: https://github.com/Fabien-Chouteau/atomic LOG: Note: Deploying atomic=0.5.0... Note: Building atomic/atomic.gpr... Setup [mkdir] object directory for project Atomic [mkdir] library directory for project Atomic Compile [Ada] atomic.adb [Ada] atomic-signed.adb [Ada] atomic-unsigned.adb [Ada] atomic_config.ads [Ada] atomic-unsigned_32.ads atomic-signed.adb:75:80: (style) this line is too long atomic-signed.adb:77:80: (style) this line is too long atomic-signed.adb:79:80: (style) this line is too long atomic-signed.adb:81:80: (style) this line is too long atomic-signed.adb:104:80: (style) this line is too long atomic-signed.adb:106:80: (style) this line is too long atomic-signed.adb:108:80: (style) this line is too long atomic-signed.adb:110:80: (style) this line is too long atomic-signed.adb:135:80: (style) this line is too long atomic-signed.adb:137:80: (style) this line is too long atomic-signed.adb:139:80: (style) this line is too long atomic-signed.adb:141:80: (style) this line is too long atomic-signed.adb:167:80: (style) this line is too long atomic-signed.adb:169:80: (style) this line is too long atomic-signed.adb:171:80: (style) this line is too long atomic-signed.adb:173:80: (style) this line is too long atomic-signed.adb:180:80: (style) this line is too long atomic-signed.adb:181:80: (style) this line is too long atomic-signed.adb:182:80: (style) this line is too long atomic-signed.adb:183:80: (style) this line is too long atomic-signed.adb:198:80: (style) this line is too long atomic-signed.adb:200:80: (style) this line is too long atomic-signed.adb:202:80: (style) this line is too long atomic-signed.adb:204:80: (style) this line is too long atomic-signed.adb:227:80: (style) this line is too long atomic-signed.adb:229:80: (style) this line is too long atomic-signed.adb:231:80: (style) this line is too long atomic-signed.adb:233:80: (style) this line is too long atomic-signed.adb:256:80: (style) this line is too long atomic-signed.adb:258:80: (style) this line is too long atomic-signed.adb:260:80: (style) this line is too long atomic-signed.adb:262:80: (style) this line is too long atomic-signed.adb:285:80: (style) this line is too long atomic-signed.adb:287:80: (style) this line is too long atomic-signed.adb:289:80: (style) this line is too long atomic-signed.adb:291:80: (style) this line is too long atomic-signed.adb:317:80: (style) this line is too long atomic-signed.adb:319:80: (style) this line is too long atomic-signed.adb:321:80: (style) this line is too long atomic-signed.adb:323:80: (style) this line is too long atomic-signed.adb:350:80: (style) this line is too long atomic-signed.adb:352:80: (style) this line is too long atomic-signed.adb:354:80: (style) this line is too long atomic-signed.adb:356:80: (style) this line is too long atomic-signed.adb:363:80: (style) this line is too long atomic-signed.adb:364:80: (style) this line is too long atomic-signed.adb:365:80: (style) this line is too long atomic-signed.adb:366:80: (style) this line is too long atomic-signed.adb:380:80: (style) this line is too long atomic-signed.adb:382:80: (style) this line is too long atomic-signed.adb:384:80: (style) this line is too long atomic-signed.adb:386:80: (style) this line is too long atomic-signed.adb:408:80: (style) this line is too long atomic-signed.adb:410:80: (style) this line is too long atomic-signed.adb:412:80: (style) this line is too long atomic-signed.adb:414:80: (style) this line is too long atomic-signed.adb:436:80: (style) this line is too long atomic-signed.adb:438:80: (style) this line is too long atomic-signed.adb:440:80: (style) this line is too long atomic-signed.adb:442:80: (style) this line is too long atomic-signed.adb:464:80: (style) this line is too long atomic-signed.adb:466:80: (style) this line is too long atomic-signed.adb:468:80: (style) this line is too long atomic-signed.adb:470:80: (style) this line is too long atomic-signed.ads:95:06: (style) "and then" required atomic-signed.ads:102:06: (style) "and then" required [Ada] atomic-unsigned_16.ads [Ada] atomic-signed_16.ads atomic-unsigned.adb:75:80: (style) this line is too long atomic-unsigned.adb:77:80: (style) this line is too long atomic-unsigned.adb:79:80: (style) this line is too long atomic-unsigned.adb:81:80: (style) this line is too long atomic-unsigned.adb:104:80: (style) this line is too long atomic-unsigned.adb:106:80: (style) this line is too long atomic-unsigned.adb:108:80: (style) this line is too long atomic-unsigned.adb:110:80: (style) this line is too long atomic-unsigned.adb:133:80: (style) this line is too long atomic-unsigned.adb:135:80: (style) this line is too long atomic-unsigned.adb:137:80: (style) this line is too long atomic-unsigned.adb:139:80: (style) this line is too long atomic-unsigned.adb:162:80: (style) this line is too long atomic-unsigned.adb:164:80: (style) this line is too long atomic-unsigned.adb:166:80: (style) this line is too long atomic-unsigned.adb:168:80: (style) this line is too long atomic-unsigned.adb:191:80: (style) this line is too long atomic-unsigned.adb:193:80: (style) this line is too long atomic-unsigned.adb:195:80: (style) this line is too long atomic-unsigned.adb:197:80: (style) this line is too long atomic-unsigned.adb:220:80: (style) this line is too long atomic-unsigned.adb:222:80: (style) this line is too long atomic-unsigned.adb:224:80: (style) this line is too long atomic-unsigned.adb:226:80: (style) this line is too long atomic-unsigned.adb:251:80: (style) this line is too long atomic-unsigned.adb:253:80: (style) this line is too long atomic-unsigned.adb:255:80: (style) this line is too long atomic-unsigned.adb:257:80: (style) this line is too long atomic-unsigned.adb:283:80: (style) this line is too long atomic-unsigned.adb:285:80: (style) this line is too long atomic-unsigned.adb:287:80: (style) this line is too long atomic-unsigned.adb:289:80: (style) this line is too long atomic-unsigned.adb:296:80: (style) this line is too long atomic-unsigned.adb:297:80: (style) this line is too long atomic-unsigned.adb:298:80: (style) this line is too long atomic-unsigned.adb:299:80: (style) this line is too long atomic-unsigned.adb:314:80: (style) this line is too long atomic-unsigned.adb:316:80: (style) this line is too long atomic-unsigned.adb:318:80: (style) this line is too long atomic-unsigned.adb:320:80: (style) this line is too long atomic-unsigned.adb:343:80: (style) this line is too long atomic-unsigned.adb:345:80: (style) this line is too long atomic-unsigned.adb:347:80: (style) this line is too long atomic-unsigned.adb:349:80: (style) this line is too long atomic-unsigned.adb:372:80: (style) this line is too long atomic-unsigned.adb:374:80: (style) this line is too long atomic-unsigned.adb:376:80: (style) this line is too long atomic-unsigned.adb:378:80: (style) this line is too long atomic-unsigned.adb:401:80: (style) this line is too long atomic-unsigned.adb:403:80: (style) this line is too long atomic-unsigned.adb:405:80: (style) this line is too long atomic-unsigned.adb:407:80: (style) this line is too long atomic-unsigned.adb:430:80: (style) this line is too long atomic-unsigned.adb:432:80: (style) this line is too long atomic-unsigned.adb:434:80: (style) this line is too long atomic-unsigned.adb:436:80: (style) this line is too long atomic-unsigned.adb:459:80: (style) this line is too long atomic-unsigned.adb:461:80: (style) this line is too long atomic-unsigned.adb:463:80: (style) this line is too long atomic-unsigned.adb:465:80: (style) this line is too long atomic-unsigned.adb:488:80: (style) this line is too long atomic-unsigned.adb:490:80: (style) this line is too long atomic-unsigned.adb:492:80: (style) this line is too long atomic-unsigned.adb:494:80: (style) this line is too long atomic-unsigned.adb:517:80: (style) this line is too long atomic-unsigned.adb:519:80: (style) this line is too long atomic-unsigned.adb:521:80: (style) this line is too long atomic-unsigned.adb:523:80: (style) this line is too long atomic-unsigned.adb:546:80: (style) this line is too long atomic-unsigned.adb:548:80: (style) this line is too long atomic-unsigned.adb:550:80: (style) this line is too long atomic-unsigned.adb:552:80: (style) this line is too long atomic-unsigned.adb:575:80: (style) this line is too long atomic-unsigned.adb:577:80: (style) this line is too long atomic-unsigned.adb:579:80: (style) this line is too long atomic-unsigned.adb:581:80: (style) this line is too long atomic-unsigned.adb:604:80: (style) this line is too long atomic-unsigned.adb:606:80: (style) this line is too long atomic-unsigned.adb:608:80: (style) this line is too long atomic-unsigned.adb:610:80: (style) this line is too long atomic-unsigned.adb:633:80: (style) this line is too long atomic-unsigned.adb:635:80: (style) this line is too long atomic-unsigned.adb:637:80: (style) this line is too long atomic-unsigned.adb:639:80: (style) this line is too long atomic-unsigned.adb:665:80: (style) this line is too long atomic-unsigned.adb:667:80: (style) this line is too long atomic-unsigned.adb:669:80: (style) this line is too long atomic-unsigned.adb:671:80: (style) this line is too long atomic-unsigned.adb:698:80: (style) this line is too long atomic-unsigned.adb:700:80: (style) this line is too long atomic-unsigned.adb:702:80: (style) this line is too long atomic-unsigned.adb:704:80: (style) this line is too long atomic-unsigned.adb:711:80: (style) this line is too long atomic-unsigned.adb:712:80: (style) this line is too long atomic-unsigned.adb:713:80: (style) this line is too long atomic-unsigned.adb:714:80: (style) this line is too long atomic-unsigned.adb:728:80: (style) this line is too long atomic-unsigned.adb:730:80: (style) this line is too long atomic-unsigned.adb:732:80: (style) this line is too long atomic-unsigned.adb:734:80: (style) this line is too long atomic-unsigned.adb:756:80: (style) this line is too long atomic-unsigned.adb:758:80: (style) this line is too long atomic-unsigned.adb:760:80: (style) this line is too long atomic-unsigned.adb:762:80: (style) this line is too long atomic-unsigned.adb:784:80: (style) this line is too long atomic-unsigned.adb:786:80: (style) this line is too long atomic-unsigned.adb:788:80: (style) this line is too long atomic-unsigned.adb:790:80: (style) this line is too long atomic-unsigned.adb:812:80: (style) this line is too long atomic-unsigned.adb:814:80: (style) this line is too long atomic-unsigned.adb:816:80: (style) this line is too long atomic-unsigned.adb:818:80: (style) this line is too long atomic-unsigned.adb:840:80: (style) this line is too long atomic-unsigned.adb:842:80: (style) this line is too long atomic-unsigned.adb:844:80: (style) this line is too long atomic-unsigned.adb:846:80: (style) this line is too long atomic-unsigned.adb:868:80: (style) this line is too long atomic-unsigned.adb:870:80: (style) this line is too long atomic-unsigned.adb:872:80: (style) this line is too long atomic-unsigned.adb:874:80: (style) this line is too long atomic-unsigned.adb:896:80: (style) this line is too long atomic-unsigned.adb:898:80: (style) this line is too long atomic-unsigned.adb:900:80: (style) this line is too long atomic-unsigned.adb:902:80: (style) this line is too long atomic-unsigned.adb:924:80: (style) this line is too long atomic-unsigned.adb:926:80: (style) this line is too long atomic-unsigned.adb:928:80: (style) this line is too long atomic-unsigned.adb:930:80: (style) this line is too long atomic-unsigned.adb:952:80: (style) this line is too long atomic-unsigned.adb:954:80: (style) this line is too long atomic-unsigned.adb:956:80: (style) this line is too long atomic-unsigned.adb:958:80: (style) this line is too long atomic-unsigned.adb:980:80: (style) this line is too long atomic-unsigned.adb:982:80: (style) this line is too long atomic-unsigned.adb:984:80: (style) this line is too long atomic-unsigned.adb:986:80: (style) this line is too long atomic-unsigned.adb:1008:80: (style) this line is too long atomic-unsigned.adb:1010:80: (style) this line is too long atomic-unsigned.adb:1012:80: (style) this line is too long atomic-unsigned.adb:1014:80: (style) this line is too long atomic-unsigned.adb:1036:80: (style) this line is too long atomic-unsigned.adb:1038:80: (style) this line is too long atomic-unsigned.adb:1040:80: (style) this line is too long atomic-unsigned.adb:1042:80: (style) this line is too long atomic-unsigned.ads:142:06: (style) "and then" required atomic-unsigned.ads:149:06: (style) "and then" required atomic-unsigned.ads:156:06: (style) "and then" required atomic-unsigned.ads:163:06: (style) "and then" required atomic-unsigned.ads:170:06: (style) "and then" required atomic-unsigned.ads:177:06: (style) "and then" required [Ada] atomic-unsigned_8.ads [Ada] atomic-signed_8.ads [Ada] atomic-signed_32.ads Build Libraries [gprlib] Atomic.lexch [archive] libAtomic.a [index] libAtomic.a Build finished successfully in 0.38 seconds. atomic=0.5.0 successfully retrieved and built. There are no dependencies. Found declared GPR file: atomic.gpr