Test ran at 2025-07-17 00:43:20.173720+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 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... #=#=# ##O#-# 0.0% # 2.5% ### 4.3% #### 6.3% ###### 8.7% ######### 12.9% ######### 13.1% ############ 17.0% ############ 17.5% ############### 21.7% ############### 21.8% ################## 25.4% ################## 26.1% ##################### 30.1% ##################### 30.5% ######################## 34.0% ######################### 34.8% ########################### 38.5% ############################ 39.4% ############################## 42.1% ############################### 43.5% ################################## 47.5% ################################## 47.9% #################################### 50.1% ##################################### 51.9% ######################################## 56.6% ########################################### 60.9% ############################################# 62.6% ############################################# 62.7% ############################################### 65.3% ################################################## 69.5% ################################################## 70.8% ##################################################### 74.0% ####################################################### 76.6% ######################################################## 78.3% ######################################################### 80.0% ######################################################### 80.1% ########################################################### 82.7% ############################################################ 83.5% ############################################################ 83.5% ############################################################## 87.0% ################################################################# 91.2% ################################################################## 92.3% #################################################################### 95.7% ####################################################################### 99.3% ######################################################################## 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-conversions-float_conversions.ads [Ada] spark-lemmas-arithmetic.adb [Ada] spark-c.ads [Ada] spark-containers-formal-hashed_sets.adb [Ada] spark-containers-functional-vectors.adb [Ada] spark-lemmas-long_integer_arithmetic.ads [Ada] spark-pointers-pointers_with_aliasing_separate_memory.adb [Ada] spark-higher_order-fold.adb [Ada] spark-big_integers.ads [Ada] spark-containers-functional-infinite_sequences.adb [Ada] spark-pointers.ads [Ada] spark-containers-formal-hash_tables-prime_numbers.adb [Ada] spark-containers.ads [Ada] spark-lemmas-fixed_point_arithmetic.adb [Ada] spark-lemmas-float_arithmetic.ads [Ada] spark-containers-formal-doubly_linked_lists.adb [Ada] spark-containers-formal-hash_tables-generic_keys.adb [Ada] spark-containers-functional-sets-higher_order.adb [Ada] spark-containers-functional-sets.adb [Ada] spark-containers-formal-unbounded_ordered_maps.adb [Ada] spark-conversions-long_float_conversions.ads [Ada] spark-containers-formal-hash_tables.ads [Ada] spark-lemmas-mod32_arithmetic.ads [Ada] spark-lemmas-floating_point_arithmetic.adb [Ada] spark-lemmas-integer_arithmetic.ads [Ada] spark-containers-formal-ordered_maps.adb [Ada] spark-containers-formal-unbounded_hashed_maps.adb [Ada] spark-containers-types.ads [Ada] spark-containers-parameter_checks.adb [Ada] spark-pointers-pointers_with_aliasing.adb [Ada] spark-tests.ads [Ada] spark-containers-formal-ordered_sets.adb [Ada] spark-containers-formal-hash_tables-generic_operations.adb [Ada] spark-containers-formal-unbounded_hashed_sets.adb [Ada] spark-pointers-abstract_sets.adb [Ada] spark-lemmas.ads [Ada] spark-tests-array_lemmas.adb [Ada] spark-containers-hash.adb [Ada] spark-c-constant_strings.adb [Ada] spark-containers-functional-multisets.adb [Ada] spark-containers-formal-holders.adb [Ada] spark-lemmas-constrained_array.adb [Ada] spark-containers-formal-unbounded_ordered_sets.adb [Ada] spark-containers-functional-maps.adb [Ada] spark-lemmas-long_float_arithmetic.ads [Ada] spark-big_reals.ads [Ada] spark-containers-formal-unbounded_vectors.adb [Ada] spark-big_intervals.ads [Ada] spark-lemmas-mod_arithmetic.adb [Ada] spark-containers-formal-vectors.adb [Ada] spark-conversions-long_integer_conversions.ads [Ada] spark-lemmas-unconstrained_array.adb [Ada] spark-containers-functional-maps-higher_order.adb [Ada] spark-lemmas-mod64_arithmetic.ads [Ada] spark-containers-stable_sorting.adb [Ada] spark-higher_order.adb [Ada] spark-containers-functional-infinite_sequences-higher_order.adb [Ada] spark.ads [Ada] spark-c-strings.adb [Ada] spark-containers-formal.ads [Ada] spark-cut_operations.adb [Ada] spark-conversions.ads [Ada] spark-containers-formal-hashed_maps.adb [Ada] spark-containers-functional-vectors-higher_order.adb [Ada] spark-pointers-abstract_maps.ads [Ada] spark-lemmas-float_base.ads [Ada] spark-containers-formal-unbounded_doubly_linked_lists.adb [Ada] spark-containers-functional-base.adb [Ada] spark-containers-functional.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 5.38 seconds. Found declared GPR file: aho_corasick.gpr [alr test] Test completed SUCCESSFULLY