Test ran at 2023-12-25 12:24:08.423419+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:eae687f0fb100524933ae37123a1de5ec26e5fca7fe2355cf2b267c9ccc0989a 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... #=#=# 0.1% ## 4.0% ######### 12.9% ###################### 31.2% ######################################################## 78.1% ######################################################################## 100.0% gnatcov=22.0.1 successfully retrieved. There are no dependencies. Warning: Binary release does not contain default project file: gnatcov.gpr