Test ran at 2025-03-19 12:52:09.551535+00:00 SOLUTION: gnatcov=22.0.1: Coverage Analysis Tool Origin: (case OS is Linux => (case Host_Arch is X86_64 => binary archive gnatcov-x86_64-linux-22.0-1.tar.gz at https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatcov-22.0-1/gnatcov-x86_64-linux-22.0-1.tar.gz), Macos => (case Host_Arch is X86_64 => binary archive gnatcov-x86_64-darwin-22.0-1.tar.gz at https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatcov-22.0-1/gnatcov-x86_64-darwin-22.0-1.tar.gz), Windows => (case Host_Arch is X86_64 => binary archive gnatcov-x86_64-windows64-22.0-1.tar.gz at https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatcov-22.0-1/gnatcov-x86_64-windows64-22.0-1.tar.gz)) with hash sha256:29e99b2faf507bf5919e7f60fa052694666de9326bd89a06eea18bad590a0448 Properties: Auto_Gpr_With: auto-gpr-with=false Configuration: no modifiers Description: Coverage Analysis Tool Environment: GPR_PROJECT_PATH=${GPR_PROJECT_PATH}:${CRATE_ROOT}/share/gnatcoverage/gnatcov_rts/ Environment: PATH=${CRATE_ROOT}/bin:${PATH} Maintainer: chouteau@adacore.com Maintainers_Logins: Fabien-Chouteau Name: gnatcov Tag: coverage Tag: analysis Tag: test Version: 22.0.1 LOG: Spawning: alr -d -n get gnatcov=22.0.1 Note: Deploying gnatcov=22.0.1... #=#=# 0.1% ################ 22.3% ############################# 40.5% ###################################### 53.1% ############################################ 62.1% ################################################# 69.0% ############################################################ 84.2% ################################################################### 93.2% ######################################################################## 100.0% gnatcov=22.0.1 successfully retrieved. There are no dependencies.