Test ran at 2025-07-19 12:24:27.879082+00:00

SOLUTION:
libcrc=1.0.0: Cyclic Redundancy Check (CRC) Library
Origin: commit bb1d5fd0b7fa209348ecf574f2d00ea333c33e79 from https://github.com/damaki/libcrc.git
Properties:
   Author: Daniel King
   Description: Cyclic Redundancy Check (CRC) Library
   License: Apache-2.0
   Maintainer: Daniel King <damaki.gh@gmail.com>
   Maintainers_Logins: damaki
   Name: libcrc
   Tag: crc
   Tag: crc32
   Tag: spark
   Tag: error-checking
   Version: 1.0.0
   Website: https://github.com/damaki/libcrc


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

libcrc=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 libcrc=1.0.0/libcrc.gpr...
Setup
   [mkdir]        object directory for project Libcrc
   [mkdir]        library directory for project Libcrc
Compile
   [Ada]          libcrc_config.ads
   [Ada]          libcrc-predefined-ram_tables.ads
   [Ada]          libcrc-crc_32bit.ads
   [Ada]          libcrc-crc_24bit.ads
   [Ada]          libcrc-predefined_constant_tables.ads
libcrc-predefined_constant_tables.ads:29:03: warning: "Always_Terminates" is not a valid aspect identifier [enabled by default]
   [Ada]          libcrc-crc_8bit.ads
   [Ada]          libcrc-predefined.ads
   [Ada]          libcrc-generic_nbit_crcs-table_based.adb
libcrc-generic_nbit_crcs-table_based.ads:44:03: warning: "Always_Terminates" is not a valid aspect identifier [enabled by default]
   [Ada]          libcrc-crc_64bit.ads
   [Ada]          libcrc-crc_16bit.ads
   [Ada]          libcrc-generic_nbit_crcs.adb
   [Ada]          libcrc-predefined-bitwise.ads
libcrc-generic_nbit_crcs.ads:24:03: warning: "Always_Terminates" is not a valid aspect identifier [enabled by default]
   [Ada]          libcrc.adb
libcrc.ads:11:03: warning: "Always_Terminates" is not a valid aspect identifier [enabled by default]
   [Ada]          libcrc-generic_nbit_crcs-bitwise.adb
libcrc-generic_nbit_crcs-bitwise.ads:46:03: warning: "Always_Terminates" is not a valid aspect identifier [enabled by default]
   [Ada]          libcrc-predefined_elaborated_tables.ads
libcrc-predefined_elaborated_tables.ads:28:03: warning: "Always_Terminates" is not a valid aspect identifier [enabled by default]
libcrc-predefined-ram_tables.ads:18:03: warning: "Always_Terminates" is not a valid aspect identifier [enabled by default]
libcrc-predefined.ads:24:03: warning: "Always_Terminates" is not a valid aspect identifier [enabled by default]
libcrc-predefined-bitwise.ads:13:03: warning: "Always_Terminates" is not a valid aspect identifier [enabled by default]
Build Libraries
   [gprlib]       Libcrc.lexch
   [archive]      libLibcrc.a
   [index]        libLibcrc.a
Success: Build finished successfully in 1.43 seconds.
Found declared GPR file: libcrc.gpr
[alr test] Test completed SUCCESSFULLY