Test ran at 2025-07-18 12:25:09.913851+00:00

SOLUTION:
rsfile=1.0.1: Randomly pick a file with probability proportional to its size
Origin: commit f3d684685a9f41a94a20f80ce114a33cca028475 from https://github.com/mosteo/rsfile.git
Properties:
   Author: Alejandro R. Mosteo
   Configuration: no modifiers
   Description: Randomly pick a file with probability proportional to its size
   Executable: rsfile
   License: GPL-3.0-only
   Maintainer: Alejandro R. Mosteo <alejandro@mosteo.com>
   Maintainers_Logins: mosteo
   Name: rsfile
   Tag: command-line
   Tag: tool
   Tag: random
   Tag: file-size
   Version: 1.0.1


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

rsfile=1.0.1 successfully retrieved.
There are no dependencies.
[alr test] Spawning default test for remote crate: alr -d -n build --release -- -cargs:Ada -gnatwn
Note: Building rsfile=1.0.1/rsfile.gpr...
Setup
   [mkdir]        object directory for project Rsfile
Compile
   [Ada]          rsfile.adb
Bind
   [gprbind]      rsfile.bexch
   [Ada]          rsfile.ali
Link
   [link]         rsfile.adb
Success: Build finished successfully in 1.03 seconds.
Found declared GPR file: rsfile.gpr
[alr test] Test completed SUCCESSFULLY