Test ran at 2025-09-05 12:56:06.985541+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.7% 0.7% # 1.8% # 1.8% # 1.8% # 2.0% # 2.4% ## 3.4% ## 3.5% ## 3.6% ## 3.6% ## 3.9% ### 4.4% ### 5.3% #### 5.6% #### 6.3% ##### 7.1% ###### 8.6% ###### 9.1% ####### 10.1% ####### 10.6% ######## 11.6% ######## 12.4% ######### 13.8% ########## 14.5% ########### 15.6% ########### 15.9% ############ 17.4% ############ 17.7% ############# 19.1% ############## 19.7% ############## 20.8% ############### 21.2% ################ 22.6% ################ 23.0% ################# 23.7% ################# 23.7% ################# 24.8% ################## 25.5% ################## 25.5% ################### 26.5% ################### 27.5% #################### 28.3% #################### 28.4% #################### 28.5% #################### 28.8% ##################### 29.9% ##################### 30.4% ###################### 31.5% ###################### 31.9% ####################### 33.2% ######################## 33.6% ######################## 34.7% ######################### 35.4% ########################## 36.8% ########################### 37.9% ############################ 38.9% ############################ 40.2% ############################# 40.7% ############################# 41.6% ############################## 42.5% ############################### 43.6% ############################### 44.3% ################################ 45.7% ################################# 46.0% ################################# 46.1% ################################# 46.2% ################################# 46.5% ################################## 47.6% ################################## 47.9% ################################### 49.0% ################################### 49.6% #################################### 50.7% #################################### 51.2% ##################################### 51.6% ##################################### 52.5% ###################################### 53.1% ####################################### 54.6% ####################################### 55.5% ######################################## 56.3% ######################################## 56.9% ######################################### 57.9% ########################################## 58.4% ########################################### 59.8% ########################################### 60.2% ############################################ 61.6% ############################################ 62.0% ############################################# 63.3% ############################################## 64.4% ############################################### 65.5% ################################################ 66.7% ################################################ 67.2% ################################################# 68.8% ################################################# 69.3% ################################################## 70.5% ################################################### 70.9% ################################################### 72.0% #################################################### 72.6% ##################################################### 74.0% ##################################################### 74.7% ###################################################### 75.8% ###################################################### 76.3% ####################################################### 77.4% ######################################################## 77.9% ######################################################## 79.1% ######################################################### 79.6% ######################################################### 80.0% ######################################################### 80.0% ######################################################### 80.4% ########################################################## 81.4% ########################################################### 82.6% ########################################################### 83.2% ############################################################ 84.6% ############################################################# 85.2% ############################################################## 86.4% ############################################################## 86.8% ############################################################### 88.2% ############################################################### 88.7% ################################################################ 89.8% ################################################################ 90.3% ################################################################# 91.3% ################################################################## 92.0% ################################################################### 93.4% ################################################################### 94.3% #################################################################### 94.5% #################################################################### 94.5% #################################################################### 95.6% ##################################################################### 96.8% ###################################################################### 97.3% ###################################################################### 98.4% ####################################################################### 99.1% ####################################################################### 99.9% ####################################################################### 99.9% ######################################################################## 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 [Ada] spark-pointers-pointers_with_aliasing_separate_memory.adb [Ada] spark-pointers-pointers_with_aliasing.adb [Ada] spark-pointers-abstract_sets.adb [Ada] spark-pointers-abstract_maps.ads [Ada] spark-lemmas.ads [Ada] spark-lemmas-unconstrained_array.adb [Ada] spark-lemmas-mod_arithmetic.adb [Ada] spark-lemmas-mod64_arithmetic.ads [Ada] spark-lemmas-mod32_arithmetic.ads [Ada] spark-lemmas-long_integer_arithmetic.ads [Ada] spark-lemmas-long_float_arithmetic.ads [Ada] spark-lemmas-integer_arithmetic.ads [Ada] spark-lemmas-float_base.ads [Ada] spark-lemmas-float_arithmetic.ads [Ada] spark-lemmas-floating_point_arithmetic.adb [Ada] spark-lemmas-fixed_point_arithmetic.adb [Ada] spark-lemmas-constrained_array.adb [Ada] spark-lemmas-arithmetic.adb [Ada] spark-higher_order.adb [Ada] spark-higher_order-fold.adb [Ada] spark-cut_operations.adb [Ada] spark-conversions.ads [Ada] spark-conversions-long_integer_conversions.ads [Ada] spark-conversions-long_float_conversions.ads [Ada] spark-conversions-float_conversions.ads [Ada] spark-containers.ads [Ada] spark-containers-types.ads [Ada] spark-containers-stable_sorting.adb [Ada] spark-containers-parameter_checks.adb [Ada] spark-containers-hash.adb [Ada] spark-containers-functional.ads [Ada] spark-containers-functional-vectors.adb [Ada] spark-containers-functional-vectors-higher_order.adb [Ada] spark-containers-functional-sets.adb [Ada] spark-containers-functional-sets-higher_order.adb [Ada] spark-containers-functional-multisets.adb [Ada] spark-containers-functional-maps.adb [Ada] spark-containers-functional-maps-higher_order.adb [Ada] spark-containers-functional-infinite_sequences.adb [Ada] spark-containers-functional-infinite_sequences-higher_order.adb [Ada] spark-containers-functional-base.adb [Ada] spark-containers-formal.ads [Ada] spark-containers-formal-vectors.adb [Ada] spark-containers-formal-unbounded_vectors.adb [Ada] spark-containers-formal-unbounded_ordered_sets.adb [Ada] spark-containers-formal-unbounded_ordered_maps.adb [Ada] spark-containers-formal-unbounded_hashed_sets.adb [Ada] spark-containers-formal-unbounded_hashed_maps.adb [Ada] spark-containers-formal-unbounded_doubly_linked_lists.adb [Ada] spark-containers-formal-ordered_sets.adb [Ada] spark-containers-formal-ordered_maps.adb [Ada] spark-containers-formal-holders.adb [Ada] spark-containers-formal-hash_tables.ads [Ada] spark-containers-formal-hash_tables-prime_numbers.adb [Ada] spark-containers-formal-hash_tables-generic_operations.adb [Ada] spark-containers-formal-hash_tables-generic_keys.adb [Ada] spark-containers-formal-hashed_sets.adb [Ada] spark-containers-formal-hashed_maps.adb [Ada] spark-containers-formal-doubly_linked_lists.adb [Ada] spark-c.ads [Ada] spark-c-strings.adb [Ada] spark-c-constant_strings.adb [Ada] spark-big_reals.ads [Ada] spark-big_intervals.ads [Ada] spark-big_integers.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 4.88 seconds. Found declared GPR file: aho_corasick.gpr [alr test] Test completed SUCCESSFULLY