Test ran at 2023-04-28 01:25:33.752082+00:00 SOLUTION: gnatprove=12.1.1: Automatic formal verification of SPARK code Origin: (case OS is Linux => (case Host_Arch is X86_64 => binary archive gnatprove-x86_64-linux-12.1.0-1.tar.gz at https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatprove-12.1.0-1/gnatprove-x86_64-linux-12.1.0-1.tar.gz), Macos => (case Host_Arch is X86_64 => binary archive gnatprove-x86_64-darwin-12.1.0-1.tar.gz at https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatprove-12.1.0-1/gnatprove-x86_64-darwin-12.1.0-1.tar.gz), Windows => (case Host_Arch is X86_64 => binary archive gnatprove-x86_64-windows64-12.1.0-1.tar.gz at https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatprove-12.1.0-1/gnatprove-x86_64-windows64-12.1.0-1.tar.gz)) with hash sha256:e1e1ce47c7097b0a7a8cecbb132784f6e6cbcc0550ad8d96cf3dce39db47464d Properties: Auto_Gpr_With: auto-gpr-with=false Configuration: no modifiers Description: Automatic formal verification of SPARK code Environment: PATH=${CRATE_ROOT}/bin:${PATH} License: GPL-3.0-or-later Maintainer: chouteau@adacore.com Maintainers_Logins: Fabien-Chouteau Name: gnatprove Version: 12.1.1 LOG: Note: Deploying gnatprove=12.1.1... #=#=# ##O#-# 0.1% 0.6% # 1.8% ### 4.7% ######## 12.0% ################ 22.7% ###################### 31.6% ######################### 34.9% ############################# 40.8% ################################# 46.3% #################################### 50.4% ####################################### 55.0% ########################################## 59.3% ############################################## 64.4% ################################################# 69.0% ################################################### 72.0% ######################################################### 79.6% ########################################################### 82.3% ############################################################# 85.2% ################################################################## 92.5% ##################################################################### 96.5% ###################################################################### 98.2% ######################################################################## 100.0% gnatprove=12.1.1 successfully retrieved. There are no dependencies. Warning: Binary release does not contain default project file: gnatprove.gpr