Test ran at 2025-09-12 13:21:02.707319+00:00

SOLUTION:
littlefs=1.0.0: Ada/SPARK binding for the LittleFS flash embedded filesystem
Origin: commit b899127ccb86bd7779d681fb35cda3b9be4fdd47 from https://github.com/Fabien-Chouteau/littlefs-ada.git
Properties:
   Author: Fabien Chouteau
   Config type: Assert : Boolean default: 'false'
   Config type: Debug : Boolean default: 'false'
   Config type: Error : Boolean default: 'false'
   Config type: Max_Attr_Size : Integer range 1 .. 1022 default: '1022'
   Config type: Max_File_Size : Integer range 1 .. 2147483647 default: '2147483647'
   Config type: Max_Name_Size : Integer range 1 .. 1022 default: '255'
   Config type: No_Malloc : Boolean default: 'true'
   Config type: Trace : Boolean default: 'false'
   Config type: Warn : Boolean default: 'false'
   Configuration: no modifiers
   Description: Ada/SPARK binding for the LittleFS flash embedded filesystem
   License: BSD-3-Clause
   Maintainer: Fabien Chouteau <chouteau@adacore.com>
   Maintainers_Logins: Fabien-Chouteau
   Name: littlefs
   Tag: embedded
   Tag: filesystem
   Tag: nostd
   Tag: flash
   Version: 1.0.0
   Website: https://github.com/Fabien-Chouteau/littlefs-ada


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

littlefs=1.0.0 successfully retrieved.
There are no dependencies.
[alr test] Spawning default test for remote crate: alr -d -n build --release -- -cargs:Ada -gnatwn
Note: Building littlefs=1.0.0/littlefs.gpr...
Setup
   [mkdir]        object directory for project Littlefs
   [mkdir]        library directory for project Littlefs
Compile
   [C]            lfs.c
   [C]            lfs_util.c
   [Ada]          littlefs_config.ads
   [Ada]          littlefs.adb
Build Libraries
   [gprlib]       Littlefs.lexch
   [archive]      libLittlefs.a
   [index]        libLittlefs.a
Success: Build finished successfully in 2.54 seconds.
Found declared GPR file: littlefs.gpr
[alr test] Test completed SUCCESSFULLY