Test ran at 2025-09-17 01:15:58.559450+00:00

SOLUTION:
bigints=0.1.0: Experimental SPARK Constant Time Big Integer library
Origin: commit f5a14868e8a0e2cf8e273c592c11b8de02e81164 from https://github.com/AldanTanneo/bigints.git
Properties:
   Author: Cesar SAGAERT
   Build Switches: 
   Description: Experimental SPARK Constant Time Big Integer library
   License: MIT
   Maintainer: Cesar SAGAERT <sagaert@adacore.com>
   Maintainers_Logins: AldanTanneo
   Name: bigints
   Tag: spark
   Tag: cryptography
   Tag: prime-field
   Tag: integers
   Version: 0.1.0
   Website: https://github.com/AldanTanneo/bigints


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

bigints=0.1.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 bigints=0.1.0/bigints.gpr...
Setup
   [mkdir]        object directory for project Bigints
   [mkdir]        library directory for project Bigints
Compile
   [Ada]          bigints_config.ads
   [Ada]          bigints-primitives.adb
   [Ada]          bigints-modular.adb
   [Ada]          bigints.ads
   [Ada]          bigints-uints-modulo_ops.adb
   [Ada]          bigints-u256_modulo.ads
   [Ada]          bigints-u256s.ads
   [Ada]          bigints-uints.adb
   [Ada]          bigints-const_choice.adb
   [Ada]          bigints-machine_ints.ads
   [Ada]          bigints-f25519.ads
bigints-f25519.ads:6:01: warning: in instantiation at bigints-modular.ads:99 [enabled by default]
bigints-f25519.ads:6:01: warning: value conversion implemented by copy [enabled by default]
bigints-f25519.ads:6:01: warning: use pair of types with same root type [enabled by default]
bigints-f25519.ads:6:01: warning: to avoid new object in RM 4.6(58.5/5) [enabled by default]
bigints-f25519.ads:6:01: warning: in instantiation at bigints-modular.ads:101 [enabled by default]
bigints-f25519.ads:6:01: warning: value conversion implemented by copy [enabled by default]
bigints-f25519.ads:6:01: warning: use pair of types with same root type [enabled by default]
bigints-f25519.ads:6:01: warning: to avoid new object in RM 4.6(58.5/5) [enabled by default]
bigints-f25519.ads:6:01: warning: in instantiation at bigints-modular.ads:102 [enabled by default]
bigints-f25519.ads:6:01: warning: value conversion implemented by copy [enabled by default]
bigints-f25519.ads:6:01: warning: use pair of types with same root type [enabled by default]
bigints-f25519.ads:6:01: warning: to avoid new object in RM 4.6(58.5/5) [enabled by default]
Build Libraries
   [gprlib]       Bigints.lexch
   [archive]      libBigints.a
   [index]        libBigints.a
Success: Build finished successfully in 1.38 seconds.
Found declared GPR file: bigints.gpr
[alr test] Test completed SUCCESSFULLY