Test ran at 2025-07-18 12:26:28.870865+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.1% ### 5.2% ######## 12.1% ############# 18.7% ################## 25.4% ###################### 31.5% ########################### 38.1% ################################ 44.8% ##################################### 51.5% ######################################### 57.8% ############################################## 64.5% ################################################### 71.3% ######################################################## 78.0% ############################################################# 84.8% ################################################################# 91.5% ###################################################################### 98.2% ######################################################################## 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 spark-pointers-abstract_sets.ads:16:03: warning: "Always_Terminates" is not a valid aspect identifier [enabled by default] [Ada] spark-lemmas-unconstrained_array.adb spark-lemmas-unconstrained_array.ads:24:08: warning: "Always_Terminates" is not a valid aspect identifier [enabled by default] [Ada] spark-containers-formal-vectors.adb spark-c-constant_strings.ads:25:03: warning: "Always_Terminates" is not a valid aspect identifier [enabled by default] [Ada] spark.ads [Ada] spark-containers-functional-base.adb [Ada] spark-lemmas-float_base.ads [Ada] spark-containers-formal-unbounded_hashed_sets.adb spark-lemmas-floating_point_arithmetic.ads:47:08: warning: "Always_Terminates" is not a valid aspect identifier [enabled by default] [Ada] spark-containers-formal-doubly_linked_lists.adb spark-containers-functional-multisets.ads:39:03: warning: "Always_Terminates" is not a valid aspect identifier [enabled by default] [Ada] spark-conversions-long_float_conversions.ads spark-containers-formal-vectors.ads:36:03: warning: "Always_Terminates" is not a valid aspect identifier [enabled by default] spark-containers-formal-vectors.ads:922:45: warning: "Always_Terminates" is not a valid aspect identifier [enabled by default] [Ada] spark-containers-formal-hashed_maps.adb spark-containers-formal-doubly_linked_lists.ads:30:03: warning: "Always_Terminates" is not a valid aspect identifier [enabled by default] spark-containers-formal-doubly_linked_lists.ads:1658:45: warning: "Always_Terminates" is not a valid aspect identifier [enabled by default] [Ada] spark-containers-functional-vectors-higher_order.adb spark-containers-formal-unbounded_hashed_sets.ads:59:03: warning: "Always_Terminates" is not a valid aspect identifier [enabled by default] spark-containers-formal-unbounded_hashed_sets.ads:1371:42: warning: "Always_Terminates" is not a valid aspect identifier [enabled by default] [Ada] spark-big_integers.ads spark-containers-functional-vectors-higher_order.ads:13:03: warning: "Always_Terminates" is not a valid aspect identifier [enabled by default] [Ada] spark-containers-functional-sets-higher_order.adb [Ada] spark-c-strings.adb spark-c-strings.ads:25:03: warning: "Always_Terminates" is not a valid aspect identifier [enabled by default] [Ada] spark-containers-functional-maps.adb spark-containers-formal-hashed_maps.ads:63:03: warning: "Always_Terminates" is not a valid aspect identifier [enabled by default] [Ada] spark-containers-formal-unbounded_hashed_maps.adb spark-containers-functional-sets-higher_order.ads:14:03: warning: "Always_Terminates" is not a valid aspect identifier [enabled by default] [Ada] spark-containers-formal-unbounded_doubly_linked_lists.adb [Ada] spark-lemmas-fixed_point_arithmetic.adb spark-lemmas-fixed_point_arithmetic.ads:19:08: warning: "Always_Terminates" is not a valid aspect identifier [enabled by default] [Ada] spark-conversions-float_conversions.ads spark-containers-functional-maps.ads:65:03: warning: "Always_Terminates" is not a valid aspect identifier [enabled by default] [Ada] spark-pointers-abstract_maps.ads spark-pointers-abstract_maps.ads:17:03: warning: "Always_Terminates" is not a valid aspect identifier [enabled by default] [Ada] spark-containers-formal-hash_tables-prime_numbers.adb [Ada] spark-containers-formal-hashed_sets.adb spark-containers-formal-unbounded_doubly_linked_lists.ads:32:03: warning: "Always_Terminates" is not a valid aspect identifier [enabled by default] spark-containers-formal-unbounded_doubly_linked_lists.ads:1650:45: warning: "Always_Terminates" is not a valid aspect identifier [enabled by default] [Ada] spark-c.ads [Ada] spark-lemmas-mod_arithmetic.adb spark-containers-formal-unbounded_hashed_maps.ads:59:03: warning: "Always_Terminates" is not a valid aspect identifier [enabled by default] [Ada] spark-containers-functional.ads spark-lemmas-mod_arithmetic.ads:24:08: warning: "Always_Terminates" is not a valid aspect identifier [enabled by default] [Ada] spark-cut_operations.adb [Ada] spark-containers-formal-ordered_maps.adb spark-cut_operations.ads:23:03: warning: "Always_Terminates" is not a valid aspect identifier [enabled by default] [Ada] spark-containers-formal.ads [Ada] spark-containers-formal-unbounded_vectors.adb [Ada] spark-tests.ads [Ada] spark-containers-functional-maps-higher_order.adb spark-containers-formal-hashed_sets.ads:63:03: warning: "Always_Terminates" is not a valid aspect identifier [enabled by default] spark-containers-formal-hashed_sets.ads:1423:42: warning: "Always_Terminates" is not a valid aspect identifier [enabled by default] [Ada] spark-tests-array_lemmas.adb spark-containers-functional-maps-higher_order.ads:14:03: warning: "Always_Terminates" is not a valid aspect identifier [enabled by default] [Ada] spark-containers-functional-infinite_sequences-higher_order.adb spark-containers-formal-unbounded_vectors.ads:32:03: warning: "Always_Terminates" is not a valid aspect identifier [enabled by default] spark-containers-formal-unbounded_vectors.ads:888:45: warning: "Always_Terminates" is not a valid aspect identifier [enabled by default] [Ada] spark-containers-formal-hash_tables-generic_operations.adb [Ada] spark-containers-formal-unbounded_ordered_maps.adb [Ada] spark-containers-stable_sorting.adb spark-containers-functional-infinite_sequences-higher_order.ads:13:03: warning: "Always_Terminates" is not a valid aspect identifier [enabled by default] [Ada] spark-lemmas-long_float_arithmetic.ads [Ada] spark-containers-functional-sets.adb spark-containers-formal-ordered_maps.ads:56:03: warning: "Always_Terminates" is not a valid aspect identifier [enabled by default] [Ada] spark-pointers-pointers_with_aliasing_separate_memory.adb spark-pointers-pointers_with_aliasing_separate_memory.ads:15:03: warning: "Always_Terminates" is not a valid aspect identifier [enabled by default] [Ada] spark-containers-formal-ordered_sets.adb spark-containers-functional-sets.ads:40:03: warning: "Always_Terminates" is not a valid aspect identifier [enabled by default] [Ada] spark-containers-functional-vectors.adb spark-containers-formal-unbounded_ordered_maps.ads:52:03: warning: "Always_Terminates" is not a valid aspect identifier [enabled by default] [Ada] spark-lemmas.ads [Ada] spark-big_intervals.ads spark-containers-functional-vectors.ads:48:03: warning: "Always_Terminates" is not a valid aspect identifier [enabled by default] [Ada] spark-higher_order-fold.adb [Ada] spark-lemmas-float_arithmetic.ads [Ada] spark-lemmas-long_integer_arithmetic.ads spark-containers-formal-ordered_sets.ads:53:03: warning: "Always_Terminates" is not a valid aspect identifier [enabled by default] spark-containers-formal-ordered_sets.ads:1589:42: warning: "Always_Terminates" is not a valid aspect identifier [enabled by default] [Ada] spark-containers-hash.adb spark-containers-hash.ads:15:06: warning: "Always_Terminates" is not a valid aspect identifier [enabled by default] [Ada] spark-containers-formal-hash_tables.ads [Ada] spark-containers-formal-holders.adb spark-higher_order-fold.ads:33:31: warning: "Always_Terminates" is not a valid aspect identifier [enabled by default] spark-higher_order-fold.ads:85:27: warning: "Always_Terminates" is not a valid aspect identifier [enabled by default] spark-higher_order-fold.ads:128:33: warning: "Always_Terminates" is not a valid aspect identifier [enabled by default] spark-higher_order-fold.ads:183:29: warning: "Always_Terminates" is not a valid aspect identifier [enabled by default] spark-higher_order-fold.ads:223:32: warning: "Always_Terminates" is not a valid aspect identifier [enabled by default] spark-higher_order-fold.ads:275:28: warning: "Always_Terminates" is not a valid aspect identifier [enabled by default] spark-higher_order-fold.ads:308:21: warning: "Always_Terminates" is not a valid aspect identifier [enabled by default] spark-higher_order-fold.ads:415:23: warning: "Always_Terminates" is not a valid aspect identifier [enabled by default] spark-higher_order-fold.ads:497:28: warning: "Always_Terminates" is not a valid aspect identifier [enabled by default] spark-higher_order-fold.ads:577:24: warning: "Always_Terminates" is not a valid aspect identifier [enabled by default] spark-higher_order-fold.ads:615:23: warning: "Always_Terminates" is not a valid aspect identifier [enabled by default] spark-higher_order-fold.ads:747:25: warning: "Always_Terminates" is not a valid aspect identifier [enabled by default] [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 spark-pointers-pointers_with_aliasing.ads:14:03: warning: "Always_Terminates" is not a valid aspect identifier [enabled by default] [Ada] spark-big_reals.ads [Ada] spark-lemmas-arithmetic.adb [Ada] spark-lemmas-integer_arithmetic.ads spark-containers-functional-infinite_sequences.ads:45:03: warning: "Always_Terminates" is not a valid aspect identifier [enabled by default] [Ada] spark-containers-parameter_checks.adb [Ada] spark-lemmas-constrained_array.adb spark-lemmas-arithmetic.ads:26:08: warning: "Always_Terminates" is not a valid aspect identifier [enabled by default] [Ada] spark-lemmas-mod64_arithmetic.ads spark-lemmas-constrained_array.ads:24:08: warning: "Always_Terminates" is not a valid aspect identifier [enabled by default] [Ada] aho_corasick_config.ads [Ada] aho_corasick.adb spark-containers-formal-unbounded_ordered_sets.ads:49:03: warning: "Always_Terminates" is not a valid aspect identifier [enabled by default] spark-containers-formal-unbounded_ordered_sets.ads:1577:42: warning: "Always_Terminates" is not a valid aspect identifier [enabled by default] Build Libraries [gprlib] Aho_Corasick.lexch [archive] libAho_Corasick.a [index] libAho_Corasick.a Success: Build finished successfully in 3.10 seconds. Found declared GPR file: aho_corasick.gpr [alr test] Test completed SUCCESSFULLY