Test ran at 2025-03-24 13:21:22.060175+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: Spawning: alr -d -n get --build strategy=0.1.0 Note: Deploying strategy=0.1.0... 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-tuples.adb [Ada] strategy-modular.adb [Ada] strategy-vectors.adb [Ada] strategy.ads [Ada] strategy-standard.adb [Ada] strategy-arrays.adb [Ada] strategy-enums.adb [Ada] strategy-runners.adb [Ada] strategy-conversions.adb Build Libraries [gprlib] Strategy.lexch [archive] libStrategy.a [index] libStrategy.a strategy=0.1.0 successfully retrieved and built. There are no dependencies. Found declared GPR file: strategy.gpr