Test ran at 2025-10-30 12:27:55.706242+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 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.ads [Ada] bigints-uints.adb [Ada] bigints-uints-modulo_ops.adb bigints-machine_ints.ads:91:29: error: aspect "Post" is not allowed for a static expression function bigints-machine_ints.ads:95:29: error: aspect "Post" is not allowed for a static expression function bigints-machine_ints.ads:119:29: error: aspect "Post" is not allowed for a static expression function bigints-machine_ints.ads:123:29: error: aspect "Post" is not allowed for a static expression function bigints-machine_ints.ads:127:30: error: aspect "Post" is not allowed for a static expression function bigints-machine_ints.ads:131:30: error: aspect "Post" is not allowed for a static expression function bigints-machine_ints.ads:91:29: error: aspect "Post" is not allowed for a static expression function bigints-machine_ints.ads:95:29: error: aspect "Post" is not allowed for a static expression function bigints-machine_ints.ads:119:29: error: aspect "Post" is not allowed for a static expression function bigints-machine_ints.ads:123:29: error: aspect "Post" is not allowed for a static expression function bigints-machine_ints.ads:127:30: error: aspect "Post" is not allowed for a static expression function bigints-machine_ints.ads:131:30: error: aspect "Post" is not allowed for a static expression function compilation of bigints-uints-modulo_ops.adb failed compilation of bigints-uints.adb failed gprbuild: *** compilation phase failed stderr: Command ["gprbuild", "-s", "-j0", "-p", "-P", "D:\a\alire-crates-ci\alire-crates-ci\test\5331919f-a7dc-4fed-8d96-9017fffcd94e\bigints_0.1.0_f5a14868\bigints.gpr", "-cargs:Ada", "-gnatwn"] exited with code 4 ERROR: Command ["gprbuild", "-s", "-j0", "-p", "-P", "D:\a\alire-crates-ci\alire-crates-ci\test\5331919f-a7dc-4fed-8d96-9017fffcd94e\bigints_0.1.0_f5a14868\bigints.gpr", "-cargs:Ada", "-gnatwn"] exited with code 4 stderr: ALIRE.CHECKED_ERROR stderr: Command ["gprbuild", "-s", "-j0", "-p", "-P", "D:\a\alire-crates-ci\alire-crates-ci\test\5331919f-a7dc-4fed-8d96-9017fffcd94e\bigints_0.1.0_f5a14868\bigints.gpr", "-cargs:Ada", "-gnatwn"] exited with code 4 stderr: raised ALIRE.CHECKED_ERROR : alire-stored-error:1 [D:\a\alire-crates-ci\alire-crates-ci\alire_install\bin\alr.exe] 0x7ff64d36da2a Semantic_Versioning.Basic.Restrictions.First_Index at alire.adb:284 0x7ff64cf6595b Semantic_Versioning.Basic.Restrictions.First_Index at alire-os_lib-subprocess.adb:111 0x7ff64d21cba1 Semantic_Versioning.Basic.Restrictions.First_Index at alire-spawn.adb:22 0x7ff64d21dd5d Semantic_Versioning.Basic.Restrictions.First_Index at alire-spawn.adb:68 0x7ff64d142d64 Semantic_Versioning.Basic.Restrictions.First_Index at alire-roots.adb:189 0x7ff64d1411da Semantic_Versioning.Basic.Restrictions.First_Index at alire-roots.adb:255 0x7ff64d16912d Semantic_Versioning.Basic.Restrictions.First_Index at alire-roots.adb:2143 0x7ff64d1d82f9 Semantic_Versioning.Basic.Restrictions.First_Index at alire-solutions.adb:1472 0x7ff64d1d7424 Semantic_Versioning.Basic.Restrictions.First_Index at alire-solutions.adb:1555 0x7ff64d16922c Semantic_Versioning.Basic.Restrictions.First_Index at alire-roots.adb:2147 0x7ff64d1692fa Semantic_Versioning.Basic.Restrictions.First_Index at alire-roots.adb:2127 0x7ff64d1417a7 Semantic_Versioning.Basic.Restrictions.First_Index at alire-roots.adb:286 0x7ff64d141912 Semantic_Versioning.Basic.Restrictions.First_Index at alire-roots.adb:114 0x7ff64c8b3baa Semantic_Versioning.Basic.Restrictions.First_Index at alr-commands-build.adb:145 0x7ff64c8b341e Semantic_Versioning.Basic.Restrictions.First_Index at alr-commands-build.adb:113 0x7ff64c8b35ba Semantic_Versioning.Basic.Restrictions.First_Index at alr-commands-build.adb:54 0x7ff64c965dea Semantic_Versioning.Basic.Restrictions.First_Index at clic-subcommand-instance.adb:749 0x7ff64c972b0e Semantic_Versioning.Basic.Restrictions.First_Index at alr-commands.adb:632 0x7ff64c8416a0 Alr.Main at alr-main.adb:13 0x7ff64c845270 Main at b__alr-main.adb:2454 0x7ff64c84133e __tmainCRTStartup at ??? 0x7ff64c841144 mainCRTStartup at ??? [C:\Windows\System32\KERNEL32.DLL] 0x7ffe47f8e8d5 [C:\Windows\SYSTEM32\ntdll.dll] 0x7ffe49d0c53a stderr: ALIRE.ROOTS.BUILD._WRAPPED_STATEMENTS.BUILD_FAILED stderr: alire-roots.adb:202 stderr: raised ALIRE.ROOTS.BUILD._WRAPPED_STATEMENTS.BUILD_FAILED : alire-roots.adb:202 [D:\a\alire-crates-ci\alire-crates-ci\alire_install\bin\alr.exe] 0x7ff64d14313c Semantic_Versioning.Basic.Restrictions.First_Index at alire-roots.adb:202 0x7ff64d1411da Semantic_Versioning.Basic.Restrictions.First_Index at alire-roots.adb:255 0x7ff64d16912d Semantic_Versioning.Basic.Restrictions.First_Index at alire-roots.adb:2143 0x7ff64d1d82f9 Semantic_Versioning.Basic.Restrictions.First_Index at alire-solutions.adb:1472 0x7ff64d1d7424 Semantic_Versioning.Basic.Restrictions.First_Index at alire-solutions.adb:1555 0x7ff64d16922c Semantic_Versioning.Basic.Restrictions.First_Index at alire-roots.adb:2147 0x7ff64d1692fa Semantic_Versioning.Basic.Restrictions.First_Index at alire-roots.adb:2127 0x7ff64d1417a7 Semantic_Versioning.Basic.Restrictions.First_Index at alire-roots.adb:286 0x7ff64d141912 Semantic_Versioning.Basic.Restrictions.First_Index at alire-roots.adb:114 0x7ff64c8b3baa Semantic_Versioning.Basic.Restrictions.First_Index at alr-commands-build.adb:145 0x7ff64c8b341e Semantic_Versioning.Basic.Restrictions.First_Index at alr-commands-build.adb:113 0x7ff64c8b35ba Semantic_Versioning.Basic.Restrictions.First_Index at alr-commands-build.adb:54 0x7ff64c965dea Semantic_Versioning.Basic.Restrictions.First_Index at clic-subcommand-instance.adb:749 0x7ff64c972b0e Semantic_Versioning.Basic.Restrictions.First_Index at alr-commands.adb:632 0x7ff64c8416a0 Alr.Main at alr-main.adb:13 0x7ff64c845270 Main at b__alr-main.adb:2454 0x7ff64c84133e __tmainCRTStartup at ??? 0x7ff64c841144 mainCRTStartup at ??? [C:\Windows\System32\KERNEL32.DLL] 0x7ffe47f8e8d5 [C:\Windows\SYSTEM32\ntdll.dll] 0x7ffe49d0c53a ERROR: Compilation failed.