Test ran at 2025-07-18 12:32:35.718924+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... #=#=# 0.0% # 2.4% ### 4.8% ##### 7.2% ####### 10.5% ######### 12.5% ########## 14.5% ############ 16.9% ############# 19.3% ############### 21.3% ################ 22.7% ################## 25.2% ################### 26.7% #################### 29.0% ###################### 30.9% ####################### 33.1% ######################### 35.6% ########################### 37.5% ########################### 38.8% ############################## 41.8% ############################### 43.5% ################################# 45.9% ################################## 48.3% #################################### 50.7% ###################################### 53.2% ######################################## 55.6% ########################################## 58.5% ########################################### 60.0% ############################################ 61.5% ############################################# 63.0% ############################################## 65.3% ################################################ 67.7% ################################################## 70.1% #################################################### 72.5% ##################################################### 74.4% ####################################################### 76.5% ######################################################## 78.4% ########################################################## 81.3% ########################################################### 83.2% ############################################################# 84.9% ############################################################## 87.0% ############################################################### 88.4% ################################################################ 89.4% ################################################################## 91.8% ################################################################### 94.2% ##################################################################### 96.7% ####################################################################### 99.1% ######################################################################## 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.12 seconds. Found declared GPR file: aho_corasick.gpr [alr test] Test completed SUCCESSFULLY