Test ran at 2025-07-29 01:27:47.636928+00:00

SOLUTION:
bbqueue=1.0.0: DMA friendly lock-free BipBuffer
Origin: commit f508818cae5c23e45864e19c618fe2b1dc7c6362 from https://github.com/Fabien-Chouteau/bbqueue-spark.git
Properties:
   Author: Fabien Chouteau
   Build Switches: 
   Description: DMA friendly lock-free BipBuffer
   License: MIT
   Long_Description: An Ada/SPARK proved implementation of James Munns'
BBQueue (https://github.com/jamesmunns/bbqueue)
   Maintainer: Fabien Chouteau <chouteau@adacore.com>
   Maintainers_Logins: Fabien-Chouteau
   Name: bbqueue
   Tag: spark
   Tag: nostd
   Tag: embedded
   Tag: lockfree
   Tag: dma
   Tag: bipbuffer
   Version: 1.0.0
   Website: https://github.com/Fabien-Chouteau/bbqueue-spark
Dependencies (direct):
   atomic^1.0.0
   gnat>=10
Dependencies (solution):
   atomic=1.0.0
   gnat=15.1.2 (gnat_native)
Dependencies (graph):
   bbqueue=1.0.0 --> atomic=1.0.0 (^1.0.0)
   bbqueue=1.0.0 --> gnat=15.1.2 (gnat_native) (>=10)


LOG:
[alr test] Testing bbqueue=1.0.0
[alr test] Spawning retrieval for remote crate: alr -d -n get bbqueue=1.0.0
Note: Deploying bbqueue=1.0.0...

bbqueue=1.0.0 successfully retrieved.
Dependencies were solved as follows:

   +  atomic 1.0.0  (new)
   +b gnat   15.1.2 (new,gnat_native,binary)
[alr test] Spawning default test for remote crate: alr -d -n build --release -- -cargs:Ada -gnatwn
Note: Building bbqueue=1.0.0/bbqueue.gpr...
Setup
   [mkdir]        object directory for project Bbqueue
   [mkdir]        library directory for project Bbqueue
Compile
   [Ada]          bbqueue_config.ads
   [Ada]          bbqueue.adb
   [Ada]          bbqueue-buffers-framed.adb
   [Ada]          bbqueue-buffers.adb
Build Libraries
   [gprlib]       Bbqueue.lexch
   [archive]      libBbqueue.a
   [index]        libBbqueue.a
Success: Build finished successfully in 0.51 seconds.
Found declared GPR file: bbqueue.gpr
[alr test] Test completed SUCCESSFULLY