Test ran at 2025-08-05 00:46:11.285843+00:00 SOLUTION: aho_corasick=0.3.0: Aho-Corasick Implementation Origin: commit fddeabadee10c6eb44bec7ea75d8e0e798237ed0 from https://github.com/docandrew/aho_corasick.git Properties: Author: docandrew Description: Aho-Corasick Implementation License: MIT OR Apache-2.0 WITH LLVM-exception Maintainer: docandrew Maintainers_Logins: docandrew Name: aho_corasick Tag: strings Tag: search Tag: matching Tag: intrusion Tag: aho-corasick Version: 0.3.0 Website: Dependencies (direct): gnatprove^15.1.0 Dependencies (solution): gnatprove=15.1.0 Dependencies (graph): aho_corasick=0.3.0 --> gnatprove=15.1.0 (^15.1.0) LOG: [alr test] Testing aho_corasick=0.3.0 [alr test] Spawning retrieval for remote crate: alr -d -n get aho_corasick=0.3.0 Note: Deploying aho_corasick=0.3.0... Note: Deploying gnatprove=15.1.0... #=#=# 0.0% # 2.4% ## 3.1% ### 4.8% ##### 7.3% ###### 9.7% ######## 12.1% ########## 14.5% ############ 16.9% ############# 19.3% ############### 21.8% ################# 24.2% ################### 26.6% #################### 29.0% ###################### 31.4% ######################## 33.8% ########################## 36.3% ########################### 38.7% ############################# 41.1% ############################### 43.5% ################################# 45.9% ################################## 48.3% ################################### 48.7% #################################### 50.7% ###################################### 53.2% ######################################## 55.6% ######################################### 58.1% ########################################## 59.2% ########################################### 60.1% ############################################ 61.2% ############################################# 62.8% ############################################## 65.3% ################################################ 67.7% ################################################## 70.1% #################################################### 72.5% ##################################################### 74.6% ###################################################### 75.2% ####################################################### 77.4% ######################################################### 79.7% ######################################################### 80.3% ########################################################## 80.6% ########################################################## 80.9% ########################################################## 81.7% ########################################################### 82.2% ############################################################ 84.6% ############################################################## 87.0% ################################################################ 89.4% ################################################################## 91.8% ################################################################### 93.7% #################################################################### 95.3% ##################################################################### 96.8% ####################################################################### 99.1% ######################################################################## 100.0% aho_corasick=0.3.0 successfully retrieved. Dependencies were solved as follows: +b gnatprove 15.1.0 (new,binary) [alr test] Spawning default test for remote crate: alr -d -n build --release -- -cargs:Ada -gnatwn Note: Building aho_corasick=0.3.0/aho_corasick.gpr... Setup [mkdir] object directory for project SPARKlib [mkdir] object directory for project Aho_Corasick [mkdir] library directory for project Aho_Corasick Compile [Ada] spark-lemmas-mod32_arithmetic.ads [Ada] spark-higher_order.adb [Ada] spark-containers-formal-hash_tables-generic_keys.adb [Ada] spark-containers-functional-multisets.adb gnat1: invalid switch: -gnat2022 gnat1: invalid switch: -gnat2022 gnat1: invalid switch: -gnat2022 gnat1: invalid switch: -gnat2022 compilation of spark-containers-functional-multisets.adb failed compilation of spark-containers-formal-hash_tables-generic_keys.adb failed compilation of spark-higher_order.adb failed compilation of spark-lemmas-mod32_arithmetic.ads failed gprbuild: *** compilation phase failed stderr: Command ["gprbuild", "-s", "-j0", "-p", "-P", "/home/runner/work/alire-crates-ci/alire-crates-ci/test/0b42e0e8-86a8-4709-81ae-daed6f05530a/aho_corasick_0.3.0_fddeabad/aho_corasick.gpr", "-cargs:Ada", "-gnatwn"] exited with code 4 ERROR: Command ["gprbuild", "-s", "-j0", "-p", "-P", "/home/runner/work/alire-crates-ci/alire-crates-ci/test/0b42e0e8-86a8-4709-81ae-daed6f05530a/aho_corasick_0.3.0_fddeabad/aho_corasick.gpr", "-cargs:Ada", "-gnatwn"] exited with code 4 stderr: ALIRE.CHECKED_ERROR stderr: Command ["gprbuild", "-s", "-j0", "-p", "-P", "/home/runner/work/alire-crates-ci/alire-crates-ci/test/0b42e0e8-86a8-4709-81ae-daed6f05530a/aho_corasick_0.3.0_fddeabad/aho_corasick.gpr", "-cargs:Ada", "-gnatwn"] exited with code 4 stderr: raised ALIRE.CHECKED_ERROR : alire-stored-error:1 [/home/runner/work/alire-crates-ci/alire-crates-ci/alire_install/bin/alr] 0xe75bc6 Alire.Raise_Checked_Error at alire.adb:284 0xac1a54 Alire.Os_Lib.Subprocess.Checked_Spawn at alire-os_lib-subprocess.adb:111 0xd40276 Alire.Spawn.Command at alire-spawn.adb:22 0xd412ee Alire.Spawn.Gprbuild at alire-spawn.adb:68 0xc748cb Alire.Roots.Build at alire-roots.adb:189 0xc7301a Alire.Roots.Build at alire-roots.adb:255 0xc9832b Alire.Roots.Traverse at alire-roots.adb:2143 0xcfee85 Alire.Solutions.Traverse.Visit at alire-solutions.adb:1472 0xcfdfcc Alire.Solutions.Traverse at alire-solutions.adb:1555 0xc9841e Alire.Roots.Traverse at alire-roots.adb:2147 0xc984dd Alire.Roots.Traverse at alire-roots.adb:2127 0xc7359b Alire.Roots.Build at alire-roots.adb:286 0xc736d7 Alire.Roots.Build at alire-roots.adb:114 0x49aa0d Alr.Commands.Build.Execute at alr-commands-build.adb:145 0x49a36d Alr.Commands.Build.Execute at alr-commands-build.adb:113 0x49a51f Alr.Commands.Build.Execute at alr-commands-build.adb:54 0x53bbcc Alr.Commands.Sub_Cmd.Execute at clic-subcommand-instance.adb:749 0x5472be Alr.Commands.Execute at alr-commands.adb:632 0x43d48a Alr.Main at alr-main.adb:13 0x4403a3 Main at b__alr-main.adb:2445 [/lib/x86_64-linux-gnu/libc.so.6] 0x7f981142a1c8 0x7f981142a289 [/home/runner/work/alire-crates-ci/alire-crates-ci/alire_install/bin/alr] 0x43d323 _start at ??? 0xfffffffffffffffe stderr: ALIRE.ROOTS.BUILD._WRAPPED_STATEMENTS.BUILD_FAILED stderr: alire-roots.adb:202 stderr: raised ALIRE.ROOTS.BUILD._WRAPPED_STATEMENTS.BUILD_FAILED : alire-roots.adb:202 [/home/runner/work/alire-crates-ci/alire-crates-ci/alire_install/bin/alr] 0xc74cc7 Alire.Roots.Build at alire-roots.adb:202 0xc7301a Alire.Roots.Build at alire-roots.adb:255 0xc9832b Alire.Roots.Traverse at alire-roots.adb:2143 0xcfee85 Alire.Solutions.Traverse.Visit at alire-solutions.adb:1472 0xcfdfcc Alire.Solutions.Traverse at alire-solutions.adb:1555 0xc9841e Alire.Roots.Traverse at alire-roots.adb:2147 0xc984dd Alire.Roots.Traverse at alire-roots.adb:2127 0xc7359b Alire.Roots.Build at alire-roots.adb:286 0xc736d7 Alire.Roots.Build at alire-roots.adb:114 0x49aa0d Alr.Commands.Build.Execute at alr-commands-build.adb:145 0x49a36d Alr.Commands.Build.Execute at alr-commands-build.adb:113 0x49a51f Alr.Commands.Build.Execute at alr-commands-build.adb:54 0x53bbcc Alr.Commands.Sub_Cmd.Execute at clic-subcommand-instance.adb:749 0x5472be Alr.Commands.Execute at alr-commands.adb:632 0x43d48a Alr.Main at alr-main.adb:13 0x4403a3 Main at b__alr-main.adb:2445 [/lib/x86_64-linux-gnu/libc.so.6] 0x7f981142a1c8 0x7f981142a289 [/home/runner/work/alire-crates-ci/alire-crates-ci/alire_install/bin/alr] 0x43d323 _start at ??? 0xfffffffffffffffe ERROR: Compilation failed.