Test ran at 2024-07-26 12:41:37.245816+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% ########## 15.1% ############################## 43.0% #################################################### 72.9% ######################################################################## 100.0% gnatcov=22.0.1 successfully retrieved. There are no dependencies. Warning: Binary release does not contain default project file: gnatcov.gpr