Test ran at 2025-08-01 12:34:28.215928+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% 0.7% 0.7% # 1.8% ## 3.9% ### 5.3% ###### 8.6% ####### 10.6% ######## 12.4% ########## 14.2% ########### 15.9% ############# 19.1% ############### 21.2% ################ 23.2% ################### 26.6% ##################### 29.2% ##################### 30.1% ##################### 30.2% ###################### 31.3% ####################### 33.1% ######################### 35.4% ########################### 38.2% ############################ 39.3% ############################# 40.7% ############################### 43.9% ################################# 46.0% ################################## 47.8% #################################### 50.8% ###################################### 53.1% ####################################### 54.9% ######################################### 57.8% ########################################### 59.8% ############################################ 61.6% ############################################# 63.6% ############################################## 65.1% ################################################ 66.7% ################################################# 69.0% ################################################## 70.8% #################################################### 73.6% ###################################################### 75.5% ######################################################## 78.7% ########################################################## 81.4% ############################################################# 85.0% ############################################################## 87.4% ################################################################ 89.3% ################################################################## 92.0% ################################################################### 93.8% ###################################################################### 97.3% ######################################################################## 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.ads [Ada] spark-tests.ads [Ada] spark-tests-array_lemmas.adb [Ada] spark-pointers.ads gnat1: invalid switch: -gnat2022 gnat1: invalid switch: -gnat2022 gnat1: invalid switch: -gnat2022 gnat1: invalid switch: -gnat2022 compilation of spark.ads failed compilation of spark-pointers.ads failed compilation of spark-tests-array_lemmas.adb failed compilation of spark-tests.ads failed gprbuild: *** compilation phase failed stderr: Command ["gprbuild", "-s", "-j0", "-p", "-P", "D:\a\alire-crates-ci\alire-crates-ci\test\466eab67-762f-4a7a-8d5c-222f032d6bad\aho_corasick_0.3.0_fddeabad\aho_corasick.gpr", "-cargs:Ada", "-gnatwn"] exited with code 4 ERROR: Command ["gprbuild", "-s", "-j0", "-p", "-P", "D:\a\alire-crates-ci\alire-crates-ci\test\466eab67-762f-4a7a-8d5c-222f032d6bad\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", "D:\a\alire-crates-ci\alire-crates-ci\test\466eab67-762f-4a7a-8d5c-222f032d6bad\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 [D:\a\alire-crates-ci\alire-crates-ci\alire_install\bin\alr.exe] 0x7ff6f731da2a Semantic_Versioning.Basic.Restrictions.First_Index at alire.adb:284 0x7ff6f6f1595b Semantic_Versioning.Basic.Restrictions.First_Index at alire-os_lib-subprocess.adb:111 0x7ff6f71ccba1 Semantic_Versioning.Basic.Restrictions.First_Index at alire-spawn.adb:22 0x7ff6f71cdd5d Semantic_Versioning.Basic.Restrictions.First_Index at alire-spawn.adb:68 0x7ff6f70f2d64 Semantic_Versioning.Basic.Restrictions.First_Index at alire-roots.adb:189 0x7ff6f70f11da Semantic_Versioning.Basic.Restrictions.First_Index at alire-roots.adb:255 0x7ff6f711912d Semantic_Versioning.Basic.Restrictions.First_Index at alire-roots.adb:2143 0x7ff6f71882f9 Semantic_Versioning.Basic.Restrictions.First_Index at alire-solutions.adb:1472 0x7ff6f7187424 Semantic_Versioning.Basic.Restrictions.First_Index at alire-solutions.adb:1555 0x7ff6f711922c Semantic_Versioning.Basic.Restrictions.First_Index at alire-roots.adb:2147 0x7ff6f71192fa Semantic_Versioning.Basic.Restrictions.First_Index at alire-roots.adb:2127 0x7ff6f70f17a7 Semantic_Versioning.Basic.Restrictions.First_Index at alire-roots.adb:286 0x7ff6f70f1912 Semantic_Versioning.Basic.Restrictions.First_Index at alire-roots.adb:114 0x7ff6f6863baa Semantic_Versioning.Basic.Restrictions.First_Index at alr-commands-build.adb:145 0x7ff6f686341e Semantic_Versioning.Basic.Restrictions.First_Index at alr-commands-build.adb:113 0x7ff6f68635ba Semantic_Versioning.Basic.Restrictions.First_Index at alr-commands-build.adb:54 0x7ff6f6915dea Semantic_Versioning.Basic.Restrictions.First_Index at clic-subcommand-instance.adb:749 0x7ff6f6922b0e Semantic_Versioning.Basic.Restrictions.First_Index at alr-commands.adb:632 0x7ff6f67f16a0 Alr.Main at alr-main.adb:13 0x7ff6f67f5270 Main at b__alr-main.adb:2454 0x7ff6f67f133e __tmainCRTStartup at ??? 0x7ff6f67f1144 mainCRTStartup at ??? [C:\Windows\System32\KERNEL32.DLL] 0x7fff04604cae [C:\Windows\SYSTEM32\ntdll.dll] 0x7fff0505edc9 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 [D:\a\alire-crates-ci\alire-crates-ci\alire_install\bin\alr.exe] 0x7ff6f70f313c Semantic_Versioning.Basic.Restrictions.First_Index at alire-roots.adb:202 0x7ff6f70f11da Semantic_Versioning.Basic.Restrictions.First_Index at alire-roots.adb:255 0x7ff6f711912d Semantic_Versioning.Basic.Restrictions.First_Index at alire-roots.adb:2143 0x7ff6f71882f9 Semantic_Versioning.Basic.Restrictions.First_Index at alire-solutions.adb:1472 0x7ff6f7187424 Semantic_Versioning.Basic.Restrictions.First_Index at alire-solutions.adb:1555 0x7ff6f711922c Semantic_Versioning.Basic.Restrictions.First_Index at alire-roots.adb:2147 0x7ff6f71192fa Semantic_Versioning.Basic.Restrictions.First_Index at alire-roots.adb:2127 0x7ff6f70f17a7 Semantic_Versioning.Basic.Restrictions.First_Index at alire-roots.adb:286 0x7ff6f70f1912 Semantic_Versioning.Basic.Restrictions.First_Index at alire-roots.adb:114 0x7ff6f6863baa Semantic_Versioning.Basic.Restrictions.First_Index at alr-commands-build.adb:145 0x7ff6f686341e Semantic_Versioning.Basic.Restrictions.First_Index at alr-commands-build.adb:113 0x7ff6f68635ba Semantic_Versioning.Basic.Restrictions.First_Index at alr-commands-build.adb:54 0x7ff6f6915dea Semantic_Versioning.Basic.Restrictions.First_Index at clic-subcommand-instance.adb:749 0x7ff6f6922b0e Semantic_Versioning.Basic.Restrictions.First_Index at alr-commands.adb:632 0x7ff6f67f16a0 Alr.Main at alr-main.adb:13 0x7ff6f67f5270 Main at b__alr-main.adb:2454 0x7ff6f67f133e __tmainCRTStartup at ??? 0x7ff6f67f1144 mainCRTStartup at ??? [C:\Windows\System32\KERNEL32.DLL] 0x7fff04604cae [C:\Windows\SYSTEM32\ntdll.dll] 0x7fff0505edc9 ERROR: Compilation failed.