Test ran at 2024-11-14 13:19:21.291968+00:00 SOLUTION: gnatprove=13.2.1: Automatic formal verification of SPARK code Origin: (case OS is Linux => (case Host_Arch is X86_64 => binary archive gnatprove-x86_64-linux-13.2.0-1.tar.gz at https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatprove-13.2.0-1/gnatprove-x86_64-linux-13.2.0-1.tar.gz), Macos => (case Host_Arch is X86_64 => binary archive gnatprove-x86_64-darwin-13.2.0-1.tar.gz at https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatprove-13.2.0-1/gnatprove-x86_64-darwin-13.2.0-1.tar.gz), Windows => (case Host_Arch is X86_64 => binary archive gnatprove-x86_64-windows64-13.2.0-1.tar.gz at https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatprove-13.2.0-1/gnatprove-x86_64-windows64-13.2.0-1.tar.gz)) with hash sha256:28fc3583d2364c1e10790fe258c408faffa42d7ff77bb81dc18d4907608f4017 Properties: Auto_Gpr_With: auto-gpr-with=false Configuration: no modifiers Description: Automatic formal verification of SPARK code Environment: GPR_PROJECT_PATH=${CRATE_ROOT}/lib/gnat:${GPR_PROJECT_PATH} Environment: PATH=${CRATE_ROOT}/bin:${PATH} License: GPL-3.0-or-later Maintainer: chouteau@adacore.com Maintainers_Logins: Fabien-Chouteau Name: gnatprove Version: 13.2.1 LOG: Note: Deploying gnatprove=13.2.1... #=#=# ### 4.7% ########## 14.5% ################# 23.9% ######################## 33.4% ############################## 42.9% #################################### 51.2% ####################################### 55.4% ############################################## 64.6% ##################################################### 74.6% ########################################################### 82.1% ############################################################### 88.7% ################################################################ 90.0% ###################################################################### 98.0% ######################################################################## 100.0% gnatprove=13.2.1 successfully retrieved. There are no dependencies. Warning: Binary release does not contain default project file: gnatprove.gpr