Test ran at 2025-08-23 12:36:06.524295+00:00 SOLUTION: strategy=0.1.0: Property-based testing framework Origin: commit d30506c53e2247309e6cc2843ebc7917555f5a00 from https://github.com/Fabien-Chouteau/strategy.git Properties: Author: Fabien Chouteau Config type: Enable_Oneof : Boolean default: 'false' Configuration: no modifiers Description: Property-based testing framework License: MIT OR Apache-2.0 WITH LLVM-exception Maintainer: Fabien Chouteau Maintainers_Logins: Fabien-Chouteau Name: strategy Tag: test Tag: property Tag: testing Version: 0.1.0 Website: LOG: [alr test] Testing strategy=0.1.0 [alr test] Spawning retrieval for remote crate: alr -d -n get strategy=0.1.0 Note: Deploying strategy=0.1.0... strategy=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 strategy=0.1.0/strategy.gpr... Setup [mkdir] object directory for project Strategy [mkdir] library directory for project Strategy Compile [Ada] strategy_config.ads [Ada] strategy.ads [Ada] strategy-vectors.adb [Ada] strategy-tuples.adb [Ada] strategy-standard.adb strategy-vectors.adb:23:18: too many arguments in call to "RNG.Random" strategy.ads:1:08: warning: unrecognized pragma "Ada_2022" strategy-modular.adb:18:34: too many arguments in call to "RNG.Random" compilation of strategy-standard.adb failed compilation of strategy-vectors.adb failed gprbuild: *** compilation phase failed stderr: Command ["gprbuild", "-s", "-j0", "-p", "-P", "D:\a\alire-crates-ci\alire-crates-ci\test\11812513-c398-4e75-9278-dae05dd2c653\strategy_0.1.0_d30506c5\strategy.gpr", "-cargs:Ada", "-gnatwn"] exited with code 4 ERROR: Command ["gprbuild", "-s", "-j0", "-p", "-P", "D:\a\alire-crates-ci\alire-crates-ci\test\11812513-c398-4e75-9278-dae05dd2c653\strategy_0.1.0_d30506c5\strategy.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\11812513-c398-4e75-9278-dae05dd2c653\strategy_0.1.0_d30506c5\strategy.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] 0x7ff6929dda2a Semantic_Versioning.Basic.Restrictions.First_Index at alire.adb:284 0x7ff6925d595b Semantic_Versioning.Basic.Restrictions.First_Index at alire-os_lib-subprocess.adb:111 0x7ff69288cba1 Semantic_Versioning.Basic.Restrictions.First_Index at alire-spawn.adb:22 0x7ff69288dd5d Semantic_Versioning.Basic.Restrictions.First_Index at alire-spawn.adb:68 0x7ff6927b2d64 Semantic_Versioning.Basic.Restrictions.First_Index at alire-roots.adb:189 0x7ff6927b11da Semantic_Versioning.Basic.Restrictions.First_Index at alire-roots.adb:255 0x7ff6927d912d Semantic_Versioning.Basic.Restrictions.First_Index at alire-roots.adb:2143 0x7ff6928482f9 Semantic_Versioning.Basic.Restrictions.First_Index at alire-solutions.adb:1472 0x7ff692847424 Semantic_Versioning.Basic.Restrictions.First_Index at alire-solutions.adb:1555 0x7ff6927d922c Semantic_Versioning.Basic.Restrictions.First_Index at alire-roots.adb:2147 0x7ff6927d92fa Semantic_Versioning.Basic.Restrictions.First_Index at alire-roots.adb:2127 0x7ff6927b17a7 Semantic_Versioning.Basic.Restrictions.First_Index at alire-roots.adb:286 0x7ff6927b1912 Semantic_Versioning.Basic.Restrictions.First_Index at alire-roots.adb:114 0x7ff691f23baa Semantic_Versioning.Basic.Restrictions.First_Index at alr-commands-build.adb:145 0x7ff691f2341e Semantic_Versioning.Basic.Restrictions.First_Index at alr-commands-build.adb:113 0x7ff691f235ba Semantic_Versioning.Basic.Restrictions.First_Index at alr-commands-build.adb:54 0x7ff691fd5dea Semantic_Versioning.Basic.Restrictions.First_Index at clic-subcommand-instance.adb:749 0x7ff691fe2b0e Semantic_Versioning.Basic.Restrictions.First_Index at alr-commands.adb:632 0x7ff691eb16a0 Alr.Main at alr-main.adb:13 0x7ff691eb5270 Main at b__alr-main.adb:2454 0x7ff691eb133e __tmainCRTStartup at ??? 0x7ff691eb1144 mainCRTStartup at ??? [C:\Windows\System32\KERNEL32.DLL] 0x7ffba1994cae [C:\Windows\SYSTEM32\ntdll.dll] 0x7ffba3a9edc9 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] 0x7ff6927b313c Semantic_Versioning.Basic.Restrictions.First_Index at alire-roots.adb:202 0x7ff6927b11da Semantic_Versioning.Basic.Restrictions.First_Index at alire-roots.adb:255 0x7ff6927d912d Semantic_Versioning.Basic.Restrictions.First_Index at alire-roots.adb:2143 0x7ff6928482f9 Semantic_Versioning.Basic.Restrictions.First_Index at alire-solutions.adb:1472 0x7ff692847424 Semantic_Versioning.Basic.Restrictions.First_Index at alire-solutions.adb:1555 0x7ff6927d922c Semantic_Versioning.Basic.Restrictions.First_Index at alire-roots.adb:2147 0x7ff6927d92fa Semantic_Versioning.Basic.Restrictions.First_Index at alire-roots.adb:2127 0x7ff6927b17a7 Semantic_Versioning.Basic.Restrictions.First_Index at alire-roots.adb:286 0x7ff6927b1912 Semantic_Versioning.Basic.Restrictions.First_Index at alire-roots.adb:114 0x7ff691f23baa Semantic_Versioning.Basic.Restrictions.First_Index at alr-commands-build.adb:145 0x7ff691f2341e Semantic_Versioning.Basic.Restrictions.First_Index at alr-commands-build.adb:113 0x7ff691f235ba Semantic_Versioning.Basic.Restrictions.First_Index at alr-commands-build.adb:54 0x7ff691fd5dea Semantic_Versioning.Basic.Restrictions.First_Index at clic-subcommand-instance.adb:749 0x7ff691fe2b0e Semantic_Versioning.Basic.Restrictions.First_Index at alr-commands.adb:632 0x7ff691eb16a0 Alr.Main at alr-main.adb:13 0x7ff691eb5270 Main at b__alr-main.adb:2454 0x7ff691eb133e __tmainCRTStartup at ??? 0x7ff691eb1144 mainCRTStartup at ??? [C:\Windows\System32\KERNEL32.DLL] 0x7ffba1994cae [C:\Windows\SYSTEM32\ntdll.dll] 0x7ffba3a9edc9 ERROR: Compilation failed.