Test ran at 2025-09-30 01:13:06.806754+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% # 1.9% # 2.4% ### 4.8% #### 6.9% ##### 8.2% ###### 9.3% ####### 10.5% ######## 11.6% ######## 12.3% ########## 14.0% ########## 14.5% ########### 16.2% ############ 16.9% ############# 18.4% ############# 19.3% ############## 19.6% ############## 20.3% ############### 21.5% ############### 21.9% ################ 23.5% ################# 24.2% ################## 25.9% ################### 26.6% #################### 28.2% #################### 29.0% ###################### 30.6% ###################### 31.4% ####################### 32.1% ####################### 32.1% ######################## 33.8% ######################### 35.4% ########################## 36.2% ########################## 37.2% ########################### 38.2% ############################ 38.9% ############################# 40.7% ############################# 41.1% ############################### 43.2% ############################### 43.7% ################################ 45.2% ################################# 45.9% ################################## 47.7% ################################## 48.3% ################################### 50.0% #################################### 50.7% #################################### 51.0% #################################### 51.2% ##################################### 51.6% ##################################### 51.9% ##################################### 52.2% ##################################### 52.6% ###################################### 53.0% ###################################### 53.2% ######################################## 55.6% ######################################### 57.4% ######################################### 58.0% ########################################## 59.6% ########################################### 60.4% ############################################ 62.3% ############################################# 63.6% ############################################## 65.3% ################################################ 67.7% ################################################## 69.7% ################################################## 70.3% ################################################### 71.7% #################################################### 72.5% ##################################################### 74.1% ##################################################### 74.9% ###################################################### 75.6% ###################################################### 75.9% ###################################################### 76.2% ####################################################### 76.6% ####################################################### 76.9% ####################################################### 77.2% ####################################################### 77.3% ######################################################## 78.3% ######################################################## 78.3% ######################################################### 79.7% ########################################################## 80.8% ########################################################### 82.2% ############################################################ 84.6% ############################################################# 85.6% ############################################################# 85.6% ############################################################## 87.0% ############################################################### 88.5% ################################################################ 89.4% ################################################################## 91.8% ################################################################### 93.6% ################################################################### 94.2% ##################################################################### 96.7% ####################################################################### 98.6% ####################################################################### 99.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: Alire has selected automatically this toolchain: gprbuild=25.0.1 gnat_native=15.2.1 You can select a different toolchain at any time with `alr toolchain --select` Download will start now: Note: Deploying gprbuild=25.0.1... #=#=# 0.0% ######### 12.8% ############ 17.3% ################## 25.7% ##################### 30.4% ############################ 40.0% ################################ 45.5% ######################################## 56.4% ########################################### 60.8% ################################################## 70.2% ###################################################### 75.9% ############################################################### 88.2% ################################################################## 91.9% ######################################################################## 100.0% Note: gprbuild=25.0.1 installed successfully. Note: Deploying gnat_native=15.2.1... #=#=# 0.1% # 2.7% ### 5.5% #### 6.6% #### 6.7% #### 6.7% ##### 8.2% ####### 11.0% ######### 12.7% ######### 13.7% ########### 16.5% ############# 18.7% ############## 19.7% ############### 22.0% ################# 23.6% ################# 24.7% ################### 27.5% ##################### 30.2% ####################### 32.3% ####################### 33.0% ######################### 35.1% ######################### 35.7% ########################### 38.5% ############################ 40.1% ############################# 41.2% ############################### 43.9% ################################# 46.2% ################################## 47.5% #################################### 50.1% ##################################### 52.3% ###################################### 53.9% ####################################### 54.9% ######################################### 57.7% ########################################### 59.9% ############################################ 61.6% ############################################# 62.7% ############################################## 64.3% ############################################### 66.1% ################################################ 67.9% ################################################# 68.6% ################################################## 70.7% ################################################### 71.4% #################################################### 73.1% ##################################################### 74.1% ####################################################### 76.9% ######################################################### 79.6% ########################################################## 81.4% ########################################################### 82.4% ############################################################# 85.1% ############################################################### 87.9% ################################################################# 90.6% ################################################################## 92.4% ################################################################### 93.3% ##################################################################### 96.1% ###################################################################### 98.3% ####################################################################### 99.9% ######################################################################## 100.0% Note: gnat_native=15.2.1 installed successfully. 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-containers-formal-hashed_sets.adb [Ada] spark-containers-formal-ordered_maps.adb [Ada] spark-lemmas.ads [Ada] spark-lemmas-long_integer_arithmetic.ads [Ada] spark-lemmas-long_float_arithmetic.ads [Ada] spark-containers-stable_sorting.adb [Ada] spark-pointers-abstract_maps.ads [Ada] spark-lemmas-constrained_array.adb [Ada] spark-containers-formal-hash_tables.ads [Ada] spark-containers-functional-maps-higher_order.adb [Ada] spark-containers-functional-vectors.adb [Ada] spark-lemmas-integer_arithmetic.ads [Ada] spark-big_reals.ads [Ada] spark-conversions-long_float_conversions.ads [Ada] spark-containers-functional-base.adb [Ada] spark-pointers-pointers_with_aliasing.adb [Ada] spark-containers-functional-multisets.adb [Ada] spark-pointers-abstract_sets.adb [Ada] spark-containers-functional-infinite_sequences.adb [Ada] spark-conversions-long_integer_conversions.ads [Ada] spark-lemmas-mod64_arithmetic.ads [Ada] spark-containers-formal-hash_tables-generic_keys.adb [Ada] spark-containers-formal-unbounded_vectors.adb [Ada] spark-containers-formal-hashed_maps.adb [Ada] spark-c-strings.adb [Ada] spark-big_intervals.ads [Ada] spark-containers-formal-unbounded_doubly_linked_lists.adb [Ada] spark-pointers.ads [Ada] spark-c.ads [Ada] spark-containers-formal-unbounded_ordered_maps.adb [Ada] spark-containers-formal-doubly_linked_lists.adb [Ada] spark-lemmas-arithmetic.adb [Ada] spark-lemmas-mod_arithmetic.adb [Ada] spark-lemmas-fixed_point_arithmetic.adb [Ada] spark-lemmas-floating_point_arithmetic.adb [Ada] spark-containers-formal-ordered_sets.adb [Ada] spark-lemmas-float_arithmetic.ads [Ada] spark-higher_order.adb [Ada] spark-conversions.ads [Ada] spark-higher_order-fold.adb [Ada] spark-lemmas-unconstrained_array.adb [Ada] spark-containers-functional.ads [Ada] spark-c-constant_strings.adb [Ada] spark-cut_operations.adb [Ada] spark-containers-functional-vectors-higher_order.adb [Ada] spark-containers-formal-unbounded_hashed_maps.adb [Ada] spark-containers-formal-vectors.adb [Ada] spark-tests-array_lemmas.adb [Ada] spark-containers-parameter_checks.adb [Ada] spark-containers-formal-unbounded_ordered_sets.adb [Ada] spark-containers.ads [Ada] spark-containers-formal-holders.adb [Ada] spark-tests.ads [Ada] spark.ads [Ada] spark-containers-functional-infinite_sequences-higher_order.adb [Ada] spark-containers-functional-sets-higher_order.adb [Ada] spark-containers-formal-unbounded_hashed_sets.adb [Ada] spark-conversions-float_conversions.ads [Ada] spark-containers-hash.adb [Ada] spark-big_integers.ads [Ada] spark-containers-formal-hash_tables-prime_numbers.adb [Ada] spark-pointers-pointers_with_aliasing_separate_memory.adb [Ada] spark-containers-formal-hash_tables-generic_operations.adb [Ada] spark-containers-functional-sets.adb [Ada] spark-containers-types.ads [Ada] spark-lemmas-float_base.ads [Ada] spark-lemmas-mod32_arithmetic.ads [Ada] spark-containers-formal.ads [Ada] spark-containers-functional-maps.adb [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.21 seconds. Found declared GPR file: aho_corasick.gpr [alr test] Test completed SUCCESSFULLY