Test ran at 2025-08-03 12:26:18.333417+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 <jonfandrew@fastmail.com>
   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...

#=#=#                                                                          
#                                                                          2.2%
#####                                                                      7.0%
########                                                                  11.6%
#############                                                             18.1%
#################                                                         24.8%
######################                                                    31.3%
########################                                                  33.6%
############################                                              39.3%
################################                                          45.6%
####################################                                      51.3%
########################################                                  56.6%
#############################################                             63.0%
#################################################                         68.1%
#####################################################                     74.3%
######################################################                    76.1%
##########################################################                81.4%
###############################################################           87.6%
################################################################          90.3%
####################################################################      95.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\6ae8e29d-b9c5-4363-80b9-c2ab11d76454\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\6ae8e29d-b9c5-4363-80b9-c2ab11d76454\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\6ae8e29d-b9c5-4363-80b9-c2ab11d76454\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]
0x7ff7bdb6da2a Semantic_Versioning.Basic.Restrictions.First_Index at alire.adb:284
0x7ff7bd76595b Semantic_Versioning.Basic.Restrictions.First_Index at alire-os_lib-subprocess.adb:111
0x7ff7bda1cba1 Semantic_Versioning.Basic.Restrictions.First_Index at alire-spawn.adb:22
0x7ff7bda1dd5d Semantic_Versioning.Basic.Restrictions.First_Index at alire-spawn.adb:68
0x7ff7bd942d64 Semantic_Versioning.Basic.Restrictions.First_Index at alire-roots.adb:189
0x7ff7bd9411da Semantic_Versioning.Basic.Restrictions.First_Index at alire-roots.adb:255
0x7ff7bd96912d Semantic_Versioning.Basic.Restrictions.First_Index at alire-roots.adb:2143
0x7ff7bd9d82f9 Semantic_Versioning.Basic.Restrictions.First_Index at alire-solutions.adb:1472
0x7ff7bd9d7424 Semantic_Versioning.Basic.Restrictions.First_Index at alire-solutions.adb:1555
0x7ff7bd96922c Semantic_Versioning.Basic.Restrictions.First_Index at alire-roots.adb:2147
0x7ff7bd9692fa Semantic_Versioning.Basic.Restrictions.First_Index at alire-roots.adb:2127
0x7ff7bd9417a7 Semantic_Versioning.Basic.Restrictions.First_Index at alire-roots.adb:286
0x7ff7bd941912 Semantic_Versioning.Basic.Restrictions.First_Index at alire-roots.adb:114
0x7ff7bd0b3baa Semantic_Versioning.Basic.Restrictions.First_Index at alr-commands-build.adb:145
0x7ff7bd0b341e Semantic_Versioning.Basic.Restrictions.First_Index at alr-commands-build.adb:113
0x7ff7bd0b35ba Semantic_Versioning.Basic.Restrictions.First_Index at alr-commands-build.adb:54
0x7ff7bd165dea Semantic_Versioning.Basic.Restrictions.First_Index at clic-subcommand-instance.adb:749
0x7ff7bd172b0e Semantic_Versioning.Basic.Restrictions.First_Index at alr-commands.adb:632
0x7ff7bd0416a0 Alr.Main at alr-main.adb:13
0x7ff7bd045270 Main at b__alr-main.adb:2454
0x7ff7bd04133e __tmainCRTStartup at ???
0x7ff7bd041144 mainCRTStartup at ???
[C:\Windows\System32\KERNEL32.DLL]
0x7ff8b1944cae
[C:\Windows\SYSTEM32\ntdll.dll]
0x7ff8b1ededc9

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]
0x7ff7bd94313c Semantic_Versioning.Basic.Restrictions.First_Index at alire-roots.adb:202
0x7ff7bd9411da Semantic_Versioning.Basic.Restrictions.First_Index at alire-roots.adb:255
0x7ff7bd96912d Semantic_Versioning.Basic.Restrictions.First_Index at alire-roots.adb:2143
0x7ff7bd9d82f9 Semantic_Versioning.Basic.Restrictions.First_Index at alire-solutions.adb:1472
0x7ff7bd9d7424 Semantic_Versioning.Basic.Restrictions.First_Index at alire-solutions.adb:1555
0x7ff7bd96922c Semantic_Versioning.Basic.Restrictions.First_Index at alire-roots.adb:2147
0x7ff7bd9692fa Semantic_Versioning.Basic.Restrictions.First_Index at alire-roots.adb:2127
0x7ff7bd9417a7 Semantic_Versioning.Basic.Restrictions.First_Index at alire-roots.adb:286
0x7ff7bd941912 Semantic_Versioning.Basic.Restrictions.First_Index at alire-roots.adb:114
0x7ff7bd0b3baa Semantic_Versioning.Basic.Restrictions.First_Index at alr-commands-build.adb:145
0x7ff7bd0b341e Semantic_Versioning.Basic.Restrictions.First_Index at alr-commands-build.adb:113
0x7ff7bd0b35ba Semantic_Versioning.Basic.Restrictions.First_Index at alr-commands-build.adb:54
0x7ff7bd165dea Semantic_Versioning.Basic.Restrictions.First_Index at clic-subcommand-instance.adb:749
0x7ff7bd172b0e Semantic_Versioning.Basic.Restrictions.First_Index at alr-commands.adb:632
0x7ff7bd0416a0 Alr.Main at alr-main.adb:13
0x7ff7bd045270 Main at b__alr-main.adb:2454
0x7ff7bd04133e __tmainCRTStartup at ???
0x7ff7bd041144 mainCRTStartup at ???
[C:\Windows\System32\KERNEL32.DLL]
0x7ff8b1944cae
[C:\Windows\SYSTEM32\ntdll.dll]
0x7ff8b1ededc9

ERROR: Compilation failed.