Test ran at 2025-01-27 00:43:42.967387+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:a69a9af451dbeaa1ab8c9d8c430ea25ae9e05b7595073c38e1576241f0630371 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: Note: Deploying gnatcov=22.0.1... #=#=# ##O#-# 0.1% ############ 17.5% ############################ 39.2% ################################# 47.0% ################################################### 71.1% ####################################################### 76.6% ######################################################## 78.9% ######################################################### 79.8% ########################################################## 81.1% ########################################################## 81.8% ########################################################### 82.5% ########################################################### 83.1% ############################################################ 84.0% ############################################################ 84.7% ############################################################# 85.2% ############################################################# 85.6% ############################################################## 86.5% ############################################################## 87.2% ############################################################### 87.6% ############################################################### 88.1% ############################################################### 88.8% ################################################################ 89.4% ################################################################# 90.3% ################################################################## 92.5% ##################################################################### 96.3% ######################################################################## 100.0% gnatcov=22.0.1 successfully retrieved. There are no dependencies. Warning: Binary release does not contain default project file: gnatcov.gpr