Test ran at 2025-07-18 13:28:19.417060+00:00

SOLUTION:
aho_corasick=0.2.0: Aho-Corasick Implementation
Origin: commit e7132ae19b4ecc372ccff0a90a77582a9af7e3b3 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.2.0
   Website: 
Dependencies (direct):
   gnatprove^15.1.0
Dependencies (solution):
   gnatprove=15.1.0
Dependencies (graph):
   aho_corasick=0.2.0 --> gnatprove=15.1.0 (^15.1.0)


LOG:
[alr test] Testing aho_corasick=0.2.0
[alr test] Spawning retrieval for remote crate: alr -d -n get aho_corasick=0.2.0
Note: Deploying aho_corasick=0.2.0...
Note: Deploying gnatprove=15.1.0...

#=#=#                                                                          
##                                                                         3.5%
########                                                                  11.2%
############                                                              17.1%
##################                                                        25.7%
#########################                                                 34.8%
###############################                                           43.7%
######################################                                    52.9%
############################################                              61.8%
##################################################                        70.2%
########################################################                  77.9%
#############################################################             85.5%
###################################################################       94.4%
######################################################################## 100.0%

aho_corasick=0.2.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.2.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
   [Ada]          spark-containers.ads
   [Ada]          spark-lemmas-floating_point_arithmetic.adb
   [Ada]          spark-conversions.ads
   [Ada]          spark-c-constant_strings.adb
   [Ada]          spark-pointers.ads
   [Ada]          spark-pointers-abstract_sets.adb
   [Ada]          spark-lemmas-unconstrained_array.adb
   [Ada]          spark-containers-formal-vectors.adb
   [Ada]          spark.ads
   [Ada]          spark-containers-functional-base.adb
   [Ada]          spark-lemmas-float_base.ads
   [Ada]          spark-containers-formal-unbounded_hashed_sets.adb
   [Ada]          spark-containers-formal-doubly_linked_lists.adb
   [Ada]          spark-conversions-long_float_conversions.ads
   [Ada]          spark-containers-formal-hashed_maps.adb
   [Ada]          spark-containers-functional-vectors-higher_order.adb
   [Ada]          spark-big_integers.ads
   [Ada]          spark-containers-functional-sets-higher_order.adb
   [Ada]          spark-c-strings.adb
   [Ada]          spark-containers-functional-maps.adb
   [Ada]          spark-containers-formal-unbounded_hashed_maps.adb
   [Ada]          spark-containers-formal-unbounded_doubly_linked_lists.adb
   [Ada]          spark-lemmas-fixed_point_arithmetic.adb
   [Ada]          spark-conversions-float_conversions.ads
   [Ada]          spark-pointers-abstract_maps.ads
   [Ada]          spark-containers-formal-hash_tables-prime_numbers.adb
   [Ada]          spark-containers-formal-hashed_sets.adb
   [Ada]          spark-c.ads
   [Ada]          spark-lemmas-mod_arithmetic.adb
   [Ada]          spark-containers-functional.ads
   [Ada]          spark-cut_operations.adb
   [Ada]          spark-containers-formal-ordered_maps.adb
   [Ada]          spark-containers-formal.ads
   [Ada]          spark-containers-formal-unbounded_vectors.adb
   [Ada]          spark-tests.ads
   [Ada]          spark-containers-functional-maps-higher_order.adb
   [Ada]          spark-tests-array_lemmas.adb
   [Ada]          spark-containers-functional-infinite_sequences-higher_order.adb
   [Ada]          spark-containers-formal-hash_tables-generic_operations.adb
   [Ada]          spark-containers-formal-unbounded_ordered_maps.adb
   [Ada]          spark-containers-stable_sorting.adb
   [Ada]          spark-lemmas-long_float_arithmetic.ads
   [Ada]          spark-containers-functional-sets.adb
   [Ada]          spark-pointers-pointers_with_aliasing_separate_memory.adb
   [Ada]          spark-containers-formal-ordered_sets.adb
   [Ada]          spark-containers-functional-vectors.adb
   [Ada]          spark-lemmas.ads
   [Ada]          spark-big_intervals.ads
   [Ada]          spark-higher_order-fold.adb
   [Ada]          spark-lemmas-float_arithmetic.ads
   [Ada]          spark-lemmas-long_integer_arithmetic.ads
   [Ada]          spark-containers-hash.adb
   [Ada]          spark-containers-formal-hash_tables.ads
   [Ada]          spark-containers-formal-holders.adb
   [Ada]          spark-conversions-long_integer_conversions.ads
   [Ada]          spark-containers-formal-unbounded_ordered_sets.adb
   [Ada]          spark-containers-types.ads
   [Ada]          spark-containers-functional-infinite_sequences.adb
   [Ada]          spark-pointers-pointers_with_aliasing.adb
   [Ada]          spark-big_reals.ads
   [Ada]          spark-lemmas-arithmetic.adb
   [Ada]          spark-lemmas-integer_arithmetic.ads
   [Ada]          spark-containers-parameter_checks.adb
   [Ada]          spark-lemmas-constrained_array.adb
   [Ada]          spark-lemmas-mod64_arithmetic.ads
   [Ada]          aho_corasick_config.ads
   [Ada]          aho_corasick.adb
Build Libraries
   [gprlib]       Aho_Corasick.lexch
   [archive]      libAho_Corasick.a
   [index]        libAho_Corasick.a
Success: Build finished successfully in 3.30 seconds.
Found declared GPR file: aho_corasick.gpr
[alr test] Test completed SUCCESSFULLY