diff --git a/src/proto_015_PtLimaPt/lib_protocol/test/integration/michelson/test_annotations.ml b/src/proto_015_PtLimaPt/lib_protocol/test/integration/michelson/test_annotations.ml index 200d25431759913ca10fc2840a635255117cc1ba..cf96ed583c246d02c7eef068901a2ba3d14cfc81 100644 --- a/src/proto_015_PtLimaPt/lib_protocol/test/integration/michelson/test_annotations.ml +++ b/src/proto_015_PtLimaPt/lib_protocol/test/integration/michelson/test_annotations.ml @@ -26,8 +26,7 @@ (** Testing ------- Component: Protocol (Michelson annotations) - Invocation: dune exec src/proto_alpha/lib_protocol/test/integration/michelson/main.exe \ - -- test "^annotations$" + Invocation: dune exec src/proto_015_PtLimaPt/lib_protocol/test/integration/main.exe Subject: This module tests that Michelson annotations are properly handled. *) diff --git a/src/proto_015_PtLimaPt/lib_protocol/test/integration/michelson/test_block_time_instructions.ml b/src/proto_015_PtLimaPt/lib_protocol/test/integration/michelson/test_block_time_instructions.ml index caa840f14b09be2e0094f1b22c64243598af5009..44403c7a0ceef8a87cb840dd03bab11952566f1b 100644 --- a/src/proto_015_PtLimaPt/lib_protocol/test/integration/michelson/test_block_time_instructions.ml +++ b/src/proto_015_PtLimaPt/lib_protocol/test/integration/michelson/test_block_time_instructions.ml @@ -26,8 +26,7 @@ (** Testing ------- Component: Protocol (Michelson block-time instructions) - Invocation: dune exec src/proto_alpha/lib_protocol/test/integration/michelson/main.exe \ - -- test "^block time instructions$" + Invocation: dune exec src/proto_015_PtLimaPt/lib_protocol/test/integration/main.exe Subject: This module tests that Michelson instructions related to block time are correct. *) diff --git a/src/proto_015_PtLimaPt/lib_protocol/test/integration/michelson/test_contract_event.ml b/src/proto_015_PtLimaPt/lib_protocol/test/integration/michelson/test_contract_event.ml index 16913a0155f48e30a9385069f9791d14ffa75525..7b009450330bd348196e2763fcc2777ff06a24af 100644 --- a/src/proto_015_PtLimaPt/lib_protocol/test/integration/michelson/test_contract_event.ml +++ b/src/proto_015_PtLimaPt/lib_protocol/test/integration/michelson/test_contract_event.ml @@ -30,8 +30,7 @@ open Lwt_result_syntax (** Testing ------- Component: Protocol (event logging) - Invocation: cd src/proto_alpha/lib_protocol/test/integration/michelson && \ - dune exec ./main.exe -- test '^event logging$' + Invocation: dune exec src/proto_015_PtLimaPt/lib_protocol/test/integration/main.exe Subject: This module tests that the event logs can be written to the receipt in correct order and expected format. *) diff --git a/src/proto_015_PtLimaPt/lib_protocol/test/integration/michelson/test_global_constants_storage.ml b/src/proto_015_PtLimaPt/lib_protocol/test/integration/michelson/test_global_constants_storage.ml index d08c70285a5149453e77164fc48d1182c2ecb098..07cda29da4b5789b9f919c45d2b47bfbd7669b0c 100644 --- a/src/proto_015_PtLimaPt/lib_protocol/test/integration/michelson/test_global_constants_storage.ml +++ b/src/proto_015_PtLimaPt/lib_protocol/test/integration/michelson/test_global_constants_storage.ml @@ -29,9 +29,7 @@ open Transfers (** Testing ------- Component: Protocol (global table of constants) - Invocation: dune exec \ - src/proto_alpha/lib_protocol/test/integration/michelson/main.exe \ - -- test "^global table of constants$" + Invocation: dune exec src/proto_015_PtLimaPt/lib_protocol/test/integration/main.exe Subject: This module tests that the global table of constants can be written to and read from across blocks. *) diff --git a/src/proto_015_PtLimaPt/lib_protocol/test/integration/michelson/test_interpretation.ml b/src/proto_015_PtLimaPt/lib_protocol/test/integration/michelson/test_interpretation.ml index ba0b164024a78627b4111c04c47c212f82b06547..9f6a1e07fd8d68739181d50dd86968b3b854d941 100644 --- a/src/proto_015_PtLimaPt/lib_protocol/test/integration/michelson/test_interpretation.ml +++ b/src/proto_015_PtLimaPt/lib_protocol/test/integration/michelson/test_interpretation.ml @@ -26,9 +26,7 @@ (** Testing ------- Component: Protocol (interpretation) - Dependencies: src/proto_alpha/lib_protocol/script_interpreter.ml - Invocation: cd src/proto_alpha/lib_protocol/test/integration/michelson && \ - dune exec ./main.exe -- test "^interpretation$" + Invocation: dune exec src/proto_015_PtLimaPt/lib_protocol/test/integration/michelson/main.exe Subject: Interpretation of Michelson scripts *) diff --git a/src/proto_015_PtLimaPt/lib_protocol/test/integration/michelson/test_main.ml b/src/proto_015_PtLimaPt/lib_protocol/test/integration/michelson/test_main.ml index 9aafa0dee0ca15ec0ab0fb01fb44c1b64623c3de..0d28bd12ddbc9d3398163b5b80a554f47f7252a4 100644 --- a/src/proto_015_PtLimaPt/lib_protocol/test/integration/michelson/test_main.ml +++ b/src/proto_015_PtLimaPt/lib_protocol/test/integration/michelson/test_main.ml @@ -26,7 +26,7 @@ (** Testing ------- Component: Protocol - Invocation: dune runtest src/proto_alpha/lib_protocol/test/integration/michelson + Invocation: dune exec src/proto_015_PtLimaPt/lib_protocol/test/integration/main.exe Subject: Integration > Michelson *) diff --git a/src/proto_015_PtLimaPt/lib_protocol/test/integration/michelson/test_patched_contracts.ml b/src/proto_015_PtLimaPt/lib_protocol/test/integration/michelson/test_patched_contracts.ml index e11b1a4e927ebfc8ae5dad25b10fd4d97ca60756..e9b523116c890df879cbb5b6fde1c1d570ed253b 100644 --- a/src/proto_015_PtLimaPt/lib_protocol/test/integration/michelson/test_patched_contracts.ml +++ b/src/proto_015_PtLimaPt/lib_protocol/test/integration/michelson/test_patched_contracts.ml @@ -26,8 +26,7 @@ (** Testing ------- Component: Protocol Migration (patched scripts) - Invocation: cd src/proto_alpha/lib_protocol/test/integration/michelson - dune exec ./main.exe -- test "^patched contracts$" + Invocation: dune exec src/proto_015_PtLimaPt/lib_protocol/test/integration/main.exe Subject: Migration *) diff --git a/src/proto_015_PtLimaPt/lib_protocol/test/integration/michelson/test_sapling.ml b/src/proto_015_PtLimaPt/lib_protocol/test/integration/michelson/test_sapling.ml index 467f0b086a6d21af5af81d53e7c70d159edc08cc..625c5088fcad47b3c369aec0ad29730156ff2a21 100644 --- a/src/proto_015_PtLimaPt/lib_protocol/test/integration/michelson/test_sapling.ml +++ b/src/proto_015_PtLimaPt/lib_protocol/test/integration/michelson/test_sapling.ml @@ -26,8 +26,7 @@ (** Testing ------- Component: Protocol (Sapling) - Invocation: cd src/proto_alpha/lib_protocol/test/integration/michelson && \ - dune exec ./main.exe -- test "^sapling$" + Invocation: dune exec src/proto_015_PtLimaPt/lib_protocol/test/integration/main.exe Subject: On the privacy-preserving library Sapling *) diff --git a/src/proto_015_PtLimaPt/lib_protocol/test/integration/michelson/test_script_cache.ml b/src/proto_015_PtLimaPt/lib_protocol/test/integration/michelson/test_script_cache.ml index e7ca8d0aeab950c30080e626020c548db46cab85..5b58d63a398bea1b9787c1e35039c9522cff8a79 100644 --- a/src/proto_015_PtLimaPt/lib_protocol/test/integration/michelson/test_script_cache.ml +++ b/src/proto_015_PtLimaPt/lib_protocol/test/integration/michelson/test_script_cache.ml @@ -26,8 +26,7 @@ (** Testing ------- Component: Protocol (cache) - Invocation: cd src/proto_alpha/lib_protocol/test/integration/michelson && \ - dune exec ./main.exe -- test "^script cache$" + Invocation: dune exec src/proto_015_PtLimaPt/lib_protocol/test/integration/main.exe Subject: These unit tests check basic behavior of script cache *) diff --git a/src/proto_015_PtLimaPt/lib_protocol/test/integration/michelson/test_script_typed_ir_size.ml b/src/proto_015_PtLimaPt/lib_protocol/test/integration/michelson/test_script_typed_ir_size.ml index bf639d7b8e203a726855de846b74717ce2476915..63fe2c0c28aa932b781d8c0d490951c6d78eb913 100644 --- a/src/proto_015_PtLimaPt/lib_protocol/test/integration/michelson/test_script_typed_ir_size.ml +++ b/src/proto_015_PtLimaPt/lib_protocol/test/integration/michelson/test_script_typed_ir_size.ml @@ -26,9 +26,7 @@ (** Testing ------- Component: Protocol (script typed IR size) - Invocation: dune exec \ - src/proto_alpha/lib_protocol/test/integration/michelson/main.exe \ - -- test "^script typed ir size$" + Invocation: dune exec src/proto_015_PtLimaPt/lib_protocol/test/integration/main.exe Subject: Script_typed_ir computes good approximation of values' sizes *) diff --git a/src/proto_015_PtLimaPt/lib_protocol/test/integration/michelson/test_temp_big_maps.ml b/src/proto_015_PtLimaPt/lib_protocol/test/integration/michelson/test_temp_big_maps.ml index 1f47c3605895c0ef5d9d2be348f576b0c8d2a385..5675ea4f03ccde89886846ce6031cf3458a77658 100644 --- a/src/proto_015_PtLimaPt/lib_protocol/test/integration/michelson/test_temp_big_maps.ml +++ b/src/proto_015_PtLimaPt/lib_protocol/test/integration/michelson/test_temp_big_maps.ml @@ -26,8 +26,7 @@ (** Testing ------- Component: Protocol (temporary big maps) - Invocation: cd src/proto_alpha/lib_protocol/test/integration/michelson \ - && dune exec ./main.exe -- test "^temp big maps$" + Invocation: dune exec src/proto_015_PtLimaPt/lib_protocol/test/integration/main.exe Subject: On temporary big maps. *) diff --git a/src/proto_015_PtLimaPt/lib_protocol/test/integration/michelson/test_ticket_accounting.ml b/src/proto_015_PtLimaPt/lib_protocol/test/integration/michelson/test_ticket_accounting.ml index 724e401da45d44309a7762f3d96eb078486181fb..b1e25eadb5f7b45a74073936b67700ef2a3d7cfc 100644 --- a/src/proto_015_PtLimaPt/lib_protocol/test/integration/michelson/test_ticket_accounting.ml +++ b/src/proto_015_PtLimaPt/lib_protocol/test/integration/michelson/test_ticket_accounting.ml @@ -26,9 +26,7 @@ (** Testing ------- Component: Protocol (Ticket_scanner) - Invocation: dune exec \ - src/proto_alpha/lib_protocol/test/integration/michelson/main.exe \ - -- test "^ticket accounting" + Invocation: dune exec src/proto_015_PtLimaPt/lib_protocol/test/integration/main.exe Subject: Ticket scanner tests *) diff --git a/src/proto_015_PtLimaPt/lib_protocol/test/integration/michelson/test_ticket_balance.ml b/src/proto_015_PtLimaPt/lib_protocol/test/integration/michelson/test_ticket_balance.ml index 871426ec08a44789824559ff362d576b366b9b7e..7ec43b1c12d8c8a232028780a1b571b8c6c050ec 100644 --- a/src/proto_015_PtLimaPt/lib_protocol/test/integration/michelson/test_ticket_balance.ml +++ b/src/proto_015_PtLimaPt/lib_protocol/test/integration/michelson/test_ticket_balance.ml @@ -26,9 +26,7 @@ (** Testing ------- Component: Protocol (Ticket_balance_key) - Invocation: dune exec \ - src/proto_alpha/lib_protocol/test/integration/michelson/main.exe \ - -- test "^ticket balance" + Invocation: dune exec src/proto_015_PtLimaPt/lib_protocol/test/integration/main.exe Subject: Ticket balance key hashing *) diff --git a/src/proto_015_PtLimaPt/lib_protocol/test/integration/michelson/test_ticket_balance_key.ml b/src/proto_015_PtLimaPt/lib_protocol/test/integration/michelson/test_ticket_balance_key.ml index 1d3af7b23ebd197b9f129157ce5276037e937046..335b8af2904d09d242af5b983f297c80b65cffff 100644 --- a/src/proto_015_PtLimaPt/lib_protocol/test/integration/michelson/test_ticket_balance_key.ml +++ b/src/proto_015_PtLimaPt/lib_protocol/test/integration/michelson/test_ticket_balance_key.ml @@ -26,9 +26,7 @@ (** Testing ------- Component: Protocol (Ticket_balance_key) - Invocation: dune exec \ - src/proto_alpha/lib_protocol/test/integration/michelson/main.exe \ - -- test "^ticket balance key" + Invocation: dune exec src/proto_015_PtLimaPt/lib_protocol/test/integration/main.exe Subject: Ticket balance key hashing *) diff --git a/src/proto_015_PtLimaPt/lib_protocol/test/integration/michelson/test_ticket_lazy_storage_diff.ml b/src/proto_015_PtLimaPt/lib_protocol/test/integration/michelson/test_ticket_lazy_storage_diff.ml index 475856ed43277e558754eb7ba0e4b1644c513024..dd1ef3b07c70f62714fb83d1b9014bd74ea6a78d 100644 --- a/src/proto_015_PtLimaPt/lib_protocol/test/integration/michelson/test_ticket_lazy_storage_diff.ml +++ b/src/proto_015_PtLimaPt/lib_protocol/test/integration/michelson/test_ticket_lazy_storage_diff.ml @@ -27,9 +27,7 @@ (** Testing ------- Component: Protocol (Ticket_scanner) - Invocation: dune exec \ - src/proto_alpha/lib_protocol/test/integration/michelson/main.exe \ - -- test "^ticket lazy storage diff" + Invocation: dune exec src/proto_015_PtLimaPt/lib_protocol/test/integration/main.exe Subject: Ticket scanner tests *) diff --git a/src/proto_015_PtLimaPt/lib_protocol/test/integration/michelson/test_ticket_manager.ml b/src/proto_015_PtLimaPt/lib_protocol/test/integration/michelson/test_ticket_manager.ml index 55872c994176e5934f875f5daab025f118d00dbf..57ab6f552d988c2fa7260a93bdd63de63c3decae 100644 --- a/src/proto_015_PtLimaPt/lib_protocol/test/integration/michelson/test_ticket_manager.ml +++ b/src/proto_015_PtLimaPt/lib_protocol/test/integration/michelson/test_ticket_manager.ml @@ -26,9 +26,7 @@ (** Testing ------- Component: Protocol (Ticket_balance_key) - Invocation: dune exec \ - src/proto_alpha/lib_protocol/test/integration/michelson/main.exe \ - -- test "^ticket manager" + Invocation: dune exec src/proto_015_PtLimaPt/lib_protocol/test/integration/main.exe Subject: Tests that compare the ticket-balance table against tickets in the contract storages. The tests include a lot of operations that sends and store tickets. After each operation we check that the diff --git a/src/proto_015_PtLimaPt/lib_protocol/test/integration/michelson/test_ticket_operations_diff.ml b/src/proto_015_PtLimaPt/lib_protocol/test/integration/michelson/test_ticket_operations_diff.ml index 4589cab693891e385f8f175ed677dc1d848a1f08..146679d8685f04e4f2dd61118668c8b6c57bf6e1 100644 --- a/src/proto_015_PtLimaPt/lib_protocol/test/integration/michelson/test_ticket_operations_diff.ml +++ b/src/proto_015_PtLimaPt/lib_protocol/test/integration/michelson/test_ticket_operations_diff.ml @@ -26,9 +26,7 @@ (** Testing ------- Component: Protocol (Ticket_scanner) - Invocation: dune exec \ - src/proto_alpha/lib_protocol/test/integration/michelson/main.exe \ - -- test "^ticket operations diff" + Invocation: dune exec src/proto_015_PtLimaPt/lib_protocol/test/integration/main.exe Subject: Ticket scanner tests *) diff --git a/src/proto_015_PtLimaPt/lib_protocol/test/integration/michelson/test_ticket_scanner.ml b/src/proto_015_PtLimaPt/lib_protocol/test/integration/michelson/test_ticket_scanner.ml index 642318c089c365c8c0b284710c0d6dfa6797bdc5..5c01c08a3b506291a6501a77e741cbe96093e425 100644 --- a/src/proto_015_PtLimaPt/lib_protocol/test/integration/michelson/test_ticket_scanner.ml +++ b/src/proto_015_PtLimaPt/lib_protocol/test/integration/michelson/test_ticket_scanner.ml @@ -27,9 +27,7 @@ (** Testing ------- Component: Protocol (Ticket_scanner) - Invocation: dune exec \ - src/proto_alpha/lib_protocol/test/integration/michelson/main.exe \ - -- test "^ticket scanner" + Invocation: dune exec src/proto_015_PtLimaPt/lib_protocol/test/integration/main.exe Subject: Ticket scanner tests *) diff --git a/src/proto_015_PtLimaPt/lib_protocol/test/integration/michelson/test_ticket_storage.ml b/src/proto_015_PtLimaPt/lib_protocol/test/integration/michelson/test_ticket_storage.ml index fe0e932713015ee3f031d5375b92c5dc16629ce4..6d911d6504207d6442b49bda40393ffbf4fadfc5 100644 --- a/src/proto_015_PtLimaPt/lib_protocol/test/integration/michelson/test_ticket_storage.ml +++ b/src/proto_015_PtLimaPt/lib_protocol/test/integration/michelson/test_ticket_storage.ml @@ -26,9 +26,7 @@ (** Testing ------- Component: Protocol (Alpha_context.Ticket_balance) - Invocation: dune exec \ - src/proto_alpha/lib_protocol/test/integration/michelson/main.exe \ - -- test "^ticket storage$" + Invocation: dune exec src/proto_015_PtLimaPt/lib_protocol/test/integration/main.exe Subject: Ticket storage functions tested using the Ticket_balance module in Alpha_context. *) diff --git a/src/proto_015_PtLimaPt/lib_protocol/test/integration/michelson/test_timelock.ml b/src/proto_015_PtLimaPt/lib_protocol/test/integration/michelson/test_timelock.ml index 84f24245a3d93f5e2b5de33f04d4ca530d0ea9b1..4117293c3fa00fe2461fd2d2a311b245cfcb9da6 100644 --- a/src/proto_015_PtLimaPt/lib_protocol/test/integration/michelson/test_timelock.ml +++ b/src/proto_015_PtLimaPt/lib_protocol/test/integration/michelson/test_timelock.ml @@ -26,8 +26,7 @@ (** Testing ------- Component: Protocol (Tezos_crypto.Timelock) - Invocation: cd src/proto_alpha/lib_protocol/test/integration/michelson && \ - dune exec ./main.exe -- test "^timelock$" + Invocation: dune exec src/proto_015_PtLimaPt/lib_protocol/test/integration/main.exe Subject: On timelock *) diff --git a/src/proto_015_PtLimaPt/lib_protocol/test/integration/michelson/test_typechecking.ml b/src/proto_015_PtLimaPt/lib_protocol/test/integration/michelson/test_typechecking.ml index a18e580ca491748f01e6d9f3293159b32ecb437c..16be354b0231fb9e7613cbe0490e7a728e679df4 100644 --- a/src/proto_015_PtLimaPt/lib_protocol/test/integration/michelson/test_typechecking.ml +++ b/src/proto_015_PtLimaPt/lib_protocol/test/integration/michelson/test_typechecking.ml @@ -26,8 +26,7 @@ (** Testing ------- Component: Protocol (type-checking) - Invocation: cd src/proto_alpha/lib_protocol/test/integration/michelson && \ - dune exec ./main.exe -- test "^typechecking$" + Invocation: dune exec src/proto_015_PtLimaPt/lib_protocol/test/integration/main.exe Subject: Type-checking *) diff --git a/src/proto_016_PtMumbai/lib_protocol/test/integration/michelson/test_annotations.ml b/src/proto_016_PtMumbai/lib_protocol/test/integration/michelson/test_annotations.ml index 200d25431759913ca10fc2840a635255117cc1ba..c0ab85002e43db7646753da577fbadaf3f8e3a2c 100644 --- a/src/proto_016_PtMumbai/lib_protocol/test/integration/michelson/test_annotations.ml +++ b/src/proto_016_PtMumbai/lib_protocol/test/integration/michelson/test_annotations.ml @@ -26,8 +26,7 @@ (** Testing ------- Component: Protocol (Michelson annotations) - Invocation: dune exec src/proto_alpha/lib_protocol/test/integration/michelson/main.exe \ - -- test "^annotations$" + Invocation: dune exec src/proto_016_PtMumbai/lib_protocol/test/integration/main.exe Subject: This module tests that Michelson annotations are properly handled. *) diff --git a/src/proto_016_PtMumbai/lib_protocol/test/integration/michelson/test_block_time_instructions.ml b/src/proto_016_PtMumbai/lib_protocol/test/integration/michelson/test_block_time_instructions.ml index 030f14db02444b265c060c38f5b1dfeebdd79cd3..0bbb1f1d2df2a61cd75898f2f4e79b9982546a5e 100644 --- a/src/proto_016_PtMumbai/lib_protocol/test/integration/michelson/test_block_time_instructions.ml +++ b/src/proto_016_PtMumbai/lib_protocol/test/integration/michelson/test_block_time_instructions.ml @@ -26,8 +26,7 @@ (** Testing ------- Component: Protocol (Michelson block-time instructions) - Invocation: dune exec src/proto_alpha/lib_protocol/test/integration/michelson/main.exe \ - -- test "^block time instructions$" + Invocation: dune exec src/proto_016_PtMumbai/lib_protocol/test/integration/main.exe Subject: This module tests that Michelson instructions related to block time are correct. *) diff --git a/src/proto_016_PtMumbai/lib_protocol/test/integration/michelson/test_contract_event.ml b/src/proto_016_PtMumbai/lib_protocol/test/integration/michelson/test_contract_event.ml index 305d11d163602976833b581e3323e9624810d2da..3fd87a5ab22db039165d521c4e2bc87870c1222c 100644 --- a/src/proto_016_PtMumbai/lib_protocol/test/integration/michelson/test_contract_event.ml +++ b/src/proto_016_PtMumbai/lib_protocol/test/integration/michelson/test_contract_event.ml @@ -30,8 +30,7 @@ open Lwt_result_syntax (** Testing ------- Component: Protocol (event logging) - Invocation: cd src/proto_alpha/lib_protocol/test/integration/michelson && \ - dune exec ./main.exe -- test '^event logging$' + Invocation: dune exec src/proto_016_PtMumbai/lib_protocol/test/integration/main.exe Subject: This module tests that the event logs can be written to the receipt in correct order and expected format. *) diff --git a/src/proto_016_PtMumbai/lib_protocol/test/integration/michelson/test_global_constants_storage.ml b/src/proto_016_PtMumbai/lib_protocol/test/integration/michelson/test_global_constants_storage.ml index 7a031944fbedf715671d30f24d65fb4352aa31ac..b1d5597d640c560bb56d970cfab3d4ed82fdca0b 100644 --- a/src/proto_016_PtMumbai/lib_protocol/test/integration/michelson/test_global_constants_storage.ml +++ b/src/proto_016_PtMumbai/lib_protocol/test/integration/michelson/test_global_constants_storage.ml @@ -29,9 +29,7 @@ open Transfers (** Testing ------- Component: Protocol (global table of constants) - Invocation: dune exec \ - src/proto_alpha/lib_protocol/test/integration/michelson/main.exe \ - -- test "^global table of constants$" + Invocation: dune exec src/proto_016_PtMumbai/lib_protocol/test/integration/main.exe Subject: This module tests that the global table of constants can be written to and read from across blocks. *) diff --git a/src/proto_016_PtMumbai/lib_protocol/test/integration/michelson/test_interpretation.ml b/src/proto_016_PtMumbai/lib_protocol/test/integration/michelson/test_interpretation.ml index 09fba97fdcb2729bc6f6c045a69bc304181fb0b9..c0bddf058042e9d1a05ad85a3b36321f2c1b5ea1 100644 --- a/src/proto_016_PtMumbai/lib_protocol/test/integration/michelson/test_interpretation.ml +++ b/src/proto_016_PtMumbai/lib_protocol/test/integration/michelson/test_interpretation.ml @@ -26,9 +26,7 @@ (** Testing ------- Component: Protocol (interpretation) - Dependencies: src/proto_alpha/lib_protocol/script_interpreter.ml - Invocation: cd src/proto_alpha/lib_protocol/test/integration/michelson && \ - dune exec ./main.exe -- test "^interpretation$" + Invocation: dune exec src/proto_016_PtMumbai/lib_protocol/test/integration/michelson/main.exe Subject: Interpretation of Michelson scripts *) diff --git a/src/proto_016_PtMumbai/lib_protocol/test/integration/michelson/test_lambda_normalization.ml b/src/proto_016_PtMumbai/lib_protocol/test/integration/michelson/test_lambda_normalization.ml index fcd9152f277d843f0e06c4b271f571cb3beee294..3e53d4a0e87f7ed55c56305a4f0417e5083cbeee 100644 --- a/src/proto_016_PtMumbai/lib_protocol/test/integration/michelson/test_lambda_normalization.ml +++ b/src/proto_016_PtMumbai/lib_protocol/test/integration/michelson/test_lambda_normalization.ml @@ -26,9 +26,7 @@ (** Testing ------- Component: Protocol (Michelson) - Invocation: dune exec \ - src/proto_alpha/lib_protocol/test/integration/michelson/main.exe \ - -- test "^lambda normalization" + Invocation: dune exec src/proto_016_PtMumbai/lib_protocol/test/integration/main.exe Subject: Test that lambdas are normalized to optimized format at elaboration *) diff --git a/src/proto_016_PtMumbai/lib_protocol/test/integration/michelson/test_main.ml b/src/proto_016_PtMumbai/lib_protocol/test/integration/michelson/test_main.ml index 4a99ecee3560027bc6e31ebe8ee2cd43ac058ec2..d429cd3e958ff826e1bae1e00aa9790a820d1e04 100644 --- a/src/proto_016_PtMumbai/lib_protocol/test/integration/michelson/test_main.ml +++ b/src/proto_016_PtMumbai/lib_protocol/test/integration/michelson/test_main.ml @@ -26,7 +26,7 @@ (** Testing ------- Component: Protocol - Invocation: dune runtest src/proto_alpha/lib_protocol/test/integration/michelson + Invocation: dune exec src/proto_016_PtMumbai/lib_protocol/test/integration/main.exe Subject: Integration > Michelson *) diff --git a/src/proto_016_PtMumbai/lib_protocol/test/integration/michelson/test_patched_contracts.ml b/src/proto_016_PtMumbai/lib_protocol/test/integration/michelson/test_patched_contracts.ml index dae507c2061898d0838d35bac5c8505ed604990c..7b004719fd75b8a072f92d7b14e677463f6589cf 100644 --- a/src/proto_016_PtMumbai/lib_protocol/test/integration/michelson/test_patched_contracts.ml +++ b/src/proto_016_PtMumbai/lib_protocol/test/integration/michelson/test_patched_contracts.ml @@ -26,8 +26,7 @@ (** Testing ------- Component: Protocol Migration (patched scripts) - Invocation: cd src/proto_alpha/lib_protocol/test/integration/michelson - dune exec ./main.exe -- test "^patched contracts$" + Invocation: dune exec src/proto_016_PtMumbai/lib_protocol/test/integration/main.exe Subject: Migration *) diff --git a/src/proto_016_PtMumbai/lib_protocol/test/integration/michelson/test_sapling.ml b/src/proto_016_PtMumbai/lib_protocol/test/integration/michelson/test_sapling.ml index 08f4dfe877e892ace169c84851312a528418f486..22a386f1257bda50db6008d26e95af449148a5ce 100644 --- a/src/proto_016_PtMumbai/lib_protocol/test/integration/michelson/test_sapling.ml +++ b/src/proto_016_PtMumbai/lib_protocol/test/integration/michelson/test_sapling.ml @@ -26,8 +26,7 @@ (** Testing ------- Component: Protocol (Sapling) - Invocation: cd src/proto_alpha/lib_protocol/test/integration/michelson && \ - dune exec ./main.exe -- test "^sapling$" + Invocation: dune exec src/proto_016_PtMumbai/lib_protocol/test/integration/main.exe Subject: On the privacy-preserving library Sapling *) diff --git a/src/proto_016_PtMumbai/lib_protocol/test/integration/michelson/test_script_cache.ml b/src/proto_016_PtMumbai/lib_protocol/test/integration/michelson/test_script_cache.ml index 9351c3a8274f8d323b8f4559d835ac7fb078eb3b..423d8fae5ee7dabf82abd6f66b90042df0cbb3a4 100644 --- a/src/proto_016_PtMumbai/lib_protocol/test/integration/michelson/test_script_cache.ml +++ b/src/proto_016_PtMumbai/lib_protocol/test/integration/michelson/test_script_cache.ml @@ -26,8 +26,7 @@ (** Testing ------- Component: Protocol (cache) - Invocation: cd src/proto_alpha/lib_protocol/test/integration/michelson && \ - dune exec ./main.exe -- test "^script cache$" + Invocation: dune exec src/proto_016_PtMumbai/lib_protocol/test/integration/main.exe Subject: These unit tests check basic behavior of script cache *) diff --git a/src/proto_016_PtMumbai/lib_protocol/test/integration/michelson/test_script_typed_ir_size.ml b/src/proto_016_PtMumbai/lib_protocol/test/integration/michelson/test_script_typed_ir_size.ml index 18d132b7f79e2364b48b6802431c2a2d1612db4f..54638bbe6d317664b58f4f050301431d13201342 100644 --- a/src/proto_016_PtMumbai/lib_protocol/test/integration/michelson/test_script_typed_ir_size.ml +++ b/src/proto_016_PtMumbai/lib_protocol/test/integration/michelson/test_script_typed_ir_size.ml @@ -26,9 +26,7 @@ (** Testing ------- Component: Protocol (script typed IR size) - Invocation: dune exec \ - src/proto_alpha/lib_protocol/test/integration/michelson/main.exe \ - -- test "^script typed ir size$" + Invocation: dune exec src/proto_016_PtMumbai/lib_protocol/test/integration/main.exe Subject: Script_typed_ir computes good approximation of values' sizes *) diff --git a/src/proto_016_PtMumbai/lib_protocol/test/integration/michelson/test_temp_big_maps.ml b/src/proto_016_PtMumbai/lib_protocol/test/integration/michelson/test_temp_big_maps.ml index 1f47c3605895c0ef5d9d2be348f576b0c8d2a385..e4a4b50208ad37a5bc2e50fa5f163a5f62f5113f 100644 --- a/src/proto_016_PtMumbai/lib_protocol/test/integration/michelson/test_temp_big_maps.ml +++ b/src/proto_016_PtMumbai/lib_protocol/test/integration/michelson/test_temp_big_maps.ml @@ -26,8 +26,7 @@ (** Testing ------- Component: Protocol (temporary big maps) - Invocation: cd src/proto_alpha/lib_protocol/test/integration/michelson \ - && dune exec ./main.exe -- test "^temp big maps$" + Invocation: dune exec src/proto_016_PtMumbai/lib_protocol/test/integration/main.exe Subject: On temporary big maps. *) diff --git a/src/proto_016_PtMumbai/lib_protocol/test/integration/michelson/test_ticket_accounting.ml b/src/proto_016_PtMumbai/lib_protocol/test/integration/michelson/test_ticket_accounting.ml index dc02ae87329913b143ef853760ec2bc8ad811097..eeb2d18629723ece9d9a6b299524333c816f83f6 100644 --- a/src/proto_016_PtMumbai/lib_protocol/test/integration/michelson/test_ticket_accounting.ml +++ b/src/proto_016_PtMumbai/lib_protocol/test/integration/michelson/test_ticket_accounting.ml @@ -26,9 +26,7 @@ (** Testing ------- Component: Protocol (Ticket_scanner) - Invocation: dune exec \ - src/proto_alpha/lib_protocol/test/integration/michelson/main.exe \ - -- test "^ticket accounting" + Invocation: dune exec src/proto_016_PtMumbai/lib_protocol/test/integration/main.exe Subject: Ticket scanner tests *) diff --git a/src/proto_016_PtMumbai/lib_protocol/test/integration/michelson/test_ticket_balance.ml b/src/proto_016_PtMumbai/lib_protocol/test/integration/michelson/test_ticket_balance.ml index c3e8bd9acdbc3da496b8a7df2cd25bdf4282e847..16981f82e3df7abb4fdf9142132ace4314c141ac 100644 --- a/src/proto_016_PtMumbai/lib_protocol/test/integration/michelson/test_ticket_balance.ml +++ b/src/proto_016_PtMumbai/lib_protocol/test/integration/michelson/test_ticket_balance.ml @@ -26,9 +26,7 @@ (** Testing ------- Component: Protocol (Ticket_balance_key) - Invocation: dune exec \ - src/proto_alpha/lib_protocol/test/integration/michelson/main.exe \ - -- test "^ticket balance" + Invocation: dune exec src/proto_016_PtMumbai/lib_protocol/test/integration/main.exe Subject: Ticket balance key hashing *) diff --git a/src/proto_016_PtMumbai/lib_protocol/test/integration/michelson/test_ticket_balance_key.ml b/src/proto_016_PtMumbai/lib_protocol/test/integration/michelson/test_ticket_balance_key.ml index 1d3af7b23ebd197b9f129157ce5276037e937046..2d00f79a3a01e1c9512241c744d94588137c8445 100644 --- a/src/proto_016_PtMumbai/lib_protocol/test/integration/michelson/test_ticket_balance_key.ml +++ b/src/proto_016_PtMumbai/lib_protocol/test/integration/michelson/test_ticket_balance_key.ml @@ -26,9 +26,7 @@ (** Testing ------- Component: Protocol (Ticket_balance_key) - Invocation: dune exec \ - src/proto_alpha/lib_protocol/test/integration/michelson/main.exe \ - -- test "^ticket balance key" + Invocation: dune exec src/proto_016_PtMumbai/lib_protocol/test/integration/main.exe Subject: Ticket balance key hashing *) diff --git a/src/proto_016_PtMumbai/lib_protocol/test/integration/michelson/test_ticket_lazy_storage_diff.ml b/src/proto_016_PtMumbai/lib_protocol/test/integration/michelson/test_ticket_lazy_storage_diff.ml index 754a4079cf2bb06bb9e84f7f557f803666bd6e28..e484863f390c692b7149e8348572450e0f9f9a9d 100644 --- a/src/proto_016_PtMumbai/lib_protocol/test/integration/michelson/test_ticket_lazy_storage_diff.ml +++ b/src/proto_016_PtMumbai/lib_protocol/test/integration/michelson/test_ticket_lazy_storage_diff.ml @@ -27,9 +27,7 @@ (** Testing ------- Component: Protocol (Ticket_scanner) - Invocation: dune exec \ - src/proto_alpha/lib_protocol/test/integration/michelson/main.exe \ - -- test "^ticket lazy storage diff" + Invocation: dune exec src/proto_016_PtMumbai/lib_protocol/test/integration/main.exe Subject: Ticket scanner tests *) diff --git a/src/proto_016_PtMumbai/lib_protocol/test/integration/michelson/test_ticket_manager.ml b/src/proto_016_PtMumbai/lib_protocol/test/integration/michelson/test_ticket_manager.ml index eca8fee374a4679c4a17968f578679a35f86af46..9d3614361b3da30235d64ae85bfaa427cc24795c 100644 --- a/src/proto_016_PtMumbai/lib_protocol/test/integration/michelson/test_ticket_manager.ml +++ b/src/proto_016_PtMumbai/lib_protocol/test/integration/michelson/test_ticket_manager.ml @@ -26,9 +26,7 @@ (** Testing ------- Component: Protocol (Ticket_balance_key) - Invocation: dune exec \ - src/proto_alpha/lib_protocol/test/integration/michelson/main.exe \ - -- test "^ticket manager" + Invocation: dune exec src/proto_016_PtMumbai/lib_protocol/test/integration/main.exe Subject: Tests that compare the ticket-balance table against tickets in the contract storages. The tests include a lot of operations that sends and store tickets. After each operation we check that the diff --git a/src/proto_016_PtMumbai/lib_protocol/test/integration/michelson/test_ticket_operations_diff.ml b/src/proto_016_PtMumbai/lib_protocol/test/integration/michelson/test_ticket_operations_diff.ml index 65a26baabb2080a58ffa685560f186019949caad..4f4ccb41f6387b7f231f012f4e394c9ff905fb52 100644 --- a/src/proto_016_PtMumbai/lib_protocol/test/integration/michelson/test_ticket_operations_diff.ml +++ b/src/proto_016_PtMumbai/lib_protocol/test/integration/michelson/test_ticket_operations_diff.ml @@ -26,9 +26,7 @@ (** Testing ------- Component: Protocol (Ticket_scanner) - Invocation: dune exec \ - src/proto_alpha/lib_protocol/test/integration/michelson/main.exe \ - -- test "^ticket operations diff" + Invocation: dune exec src/proto_016_PtMumbai/lib_protocol/test/integration/main.exe Subject: Ticket scanner tests *) diff --git a/src/proto_016_PtMumbai/lib_protocol/test/integration/michelson/test_ticket_scanner.ml b/src/proto_016_PtMumbai/lib_protocol/test/integration/michelson/test_ticket_scanner.ml index f8e662e07c8ea46cdd64efccea0a233132879b52..2821fdc0bf5d0edcd0530ad5f2367bb3808adab8 100644 --- a/src/proto_016_PtMumbai/lib_protocol/test/integration/michelson/test_ticket_scanner.ml +++ b/src/proto_016_PtMumbai/lib_protocol/test/integration/michelson/test_ticket_scanner.ml @@ -27,9 +27,7 @@ (** Testing ------- Component: Protocol (Ticket_scanner) - Invocation: dune exec \ - src/proto_alpha/lib_protocol/test/integration/michelson/main.exe \ - -- test "^ticket scanner" + Invocation: dune exec src/proto_016_PtMumbai/lib_protocol/test/integration/main.exe Subject: Ticket scanner tests *) diff --git a/src/proto_016_PtMumbai/lib_protocol/test/integration/michelson/test_ticket_storage.ml b/src/proto_016_PtMumbai/lib_protocol/test/integration/michelson/test_ticket_storage.ml index fe0e932713015ee3f031d5375b92c5dc16629ce4..ba6ed02088ef46b1874f8ce51e3aa6a8156ee099 100644 --- a/src/proto_016_PtMumbai/lib_protocol/test/integration/michelson/test_ticket_storage.ml +++ b/src/proto_016_PtMumbai/lib_protocol/test/integration/michelson/test_ticket_storage.ml @@ -26,9 +26,7 @@ (** Testing ------- Component: Protocol (Alpha_context.Ticket_balance) - Invocation: dune exec \ - src/proto_alpha/lib_protocol/test/integration/michelson/main.exe \ - -- test "^ticket storage$" + Invocation: dune exec src/proto_016_PtMumbai/lib_protocol/test/integration/main.exe Subject: Ticket storage functions tested using the Ticket_balance module in Alpha_context. *) diff --git a/src/proto_016_PtMumbai/lib_protocol/test/integration/michelson/test_timelock.ml b/src/proto_016_PtMumbai/lib_protocol/test/integration/michelson/test_timelock.ml index ef1d36206746d0713d43b64c1d25aa80a44c31fd..883e000a42022588d1bde3f722d1d85e865fc898 100644 --- a/src/proto_016_PtMumbai/lib_protocol/test/integration/michelson/test_timelock.ml +++ b/src/proto_016_PtMumbai/lib_protocol/test/integration/michelson/test_timelock.ml @@ -26,8 +26,7 @@ (** Testing ------- Component: Protocol (Tezos_crypto.Timelock) - Invocation: cd src/proto_alpha/lib_protocol/test/integration/michelson && \ - dune exec ./main.exe -- test "^timelock$" + Invocation: dune exec src/proto_016_PtMumbai/lib_protocol/test/integration/main.exe Subject: On timelock *) diff --git a/src/proto_016_PtMumbai/lib_protocol/test/integration/michelson/test_typechecking.ml b/src/proto_016_PtMumbai/lib_protocol/test/integration/michelson/test_typechecking.ml index 526b56ca4156c8f4670f5b3a733b97121765f69f..acb8734c9bcf679597cd2fe37c79b983daaacb31 100644 --- a/src/proto_016_PtMumbai/lib_protocol/test/integration/michelson/test_typechecking.ml +++ b/src/proto_016_PtMumbai/lib_protocol/test/integration/michelson/test_typechecking.ml @@ -26,8 +26,7 @@ (** Testing ------- Component: Protocol (type-checking) - Invocation: cd src/proto_alpha/lib_protocol/test/integration/michelson && \ - dune exec ./main.exe -- test "^typechecking$" + Invocation: dune exec src/proto_016_PtMumbai/lib_protocol/test/integration/main.exe Subject: Type-checking *) diff --git a/src/proto_alpha/lib_protocol/test/integration/michelson/test_annotations.ml b/src/proto_alpha/lib_protocol/test/integration/michelson/test_annotations.ml index 200d25431759913ca10fc2840a635255117cc1ba..2cfb562d283eac34f8ca694465a59bc7291cc9b4 100644 --- a/src/proto_alpha/lib_protocol/test/integration/michelson/test_annotations.ml +++ b/src/proto_alpha/lib_protocol/test/integration/michelson/test_annotations.ml @@ -26,8 +26,7 @@ (** Testing ------- Component: Protocol (Michelson annotations) - Invocation: dune exec src/proto_alpha/lib_protocol/test/integration/michelson/main.exe \ - -- test "^annotations$" + Invocation: dune exec src/proto_alpha/lib_protocol/test/integration/main.exe Subject: This module tests that Michelson annotations are properly handled. *) diff --git a/src/proto_alpha/lib_protocol/test/integration/michelson/test_block_time_instructions.ml b/src/proto_alpha/lib_protocol/test/integration/michelson/test_block_time_instructions.ml index c9870db5a5495730f9f15506d56405f30c2247a4..128ad6b3684002b8ae39074865c964d4aa494f10 100644 --- a/src/proto_alpha/lib_protocol/test/integration/michelson/test_block_time_instructions.ml +++ b/src/proto_alpha/lib_protocol/test/integration/michelson/test_block_time_instructions.ml @@ -26,8 +26,7 @@ (** Testing ------- Component: Protocol (Michelson block-time instructions) - Invocation: dune exec src/proto_alpha/lib_protocol/test/integration/michelson/main.exe \ - -- test "^block time instructions$" + Invocation: dune exec src/proto_alpha/lib_protocol/test/integration/main.exe Subject: This module tests that Michelson instructions related to block time are correct. *) diff --git a/src/proto_alpha/lib_protocol/test/integration/michelson/test_contract_event.ml b/src/proto_alpha/lib_protocol/test/integration/michelson/test_contract_event.ml index 39ac884df84ac0b99e015b83c9c4334ebfadfc86..7919cee4f28ca1c2a8c54c7f813d3d6f0f067da6 100644 --- a/src/proto_alpha/lib_protocol/test/integration/michelson/test_contract_event.ml +++ b/src/proto_alpha/lib_protocol/test/integration/michelson/test_contract_event.ml @@ -29,8 +29,7 @@ open Alpha_context (** Testing ------- Component: Protocol (event logging) - Invocation: cd src/proto_alpha/lib_protocol/test/integration/michelson && \ - dune exec ./main.exe -- test '^event logging$' + Invocation: dune exec src/proto_alpha/lib_protocol/test/integration/main.exe Subject: This module tests that the event logs can be written to the receipt in correct order and expected format. *) diff --git a/src/proto_alpha/lib_protocol/test/integration/michelson/test_global_constants_storage.ml b/src/proto_alpha/lib_protocol/test/integration/michelson/test_global_constants_storage.ml index 7a031944fbedf715671d30f24d65fb4352aa31ac..53cdbd060db7771f43ab3bf7bafb721fe22eed59 100644 --- a/src/proto_alpha/lib_protocol/test/integration/michelson/test_global_constants_storage.ml +++ b/src/proto_alpha/lib_protocol/test/integration/michelson/test_global_constants_storage.ml @@ -29,9 +29,7 @@ open Transfers (** Testing ------- Component: Protocol (global table of constants) - Invocation: dune exec \ - src/proto_alpha/lib_protocol/test/integration/michelson/main.exe \ - -- test "^global table of constants$" + Invocation: dune exec src/proto_alpha/lib_protocol/test/integration/main.exe Subject: This module tests that the global table of constants can be written to and read from across blocks. *) diff --git a/src/proto_alpha/lib_protocol/test/integration/michelson/test_interpretation.ml b/src/proto_alpha/lib_protocol/test/integration/michelson/test_interpretation.ml index 4f1083365733eab56597b09648774d3fa662ed57..8d28d1b12692682c14b3d89acc433f100316ec4a 100644 --- a/src/proto_alpha/lib_protocol/test/integration/michelson/test_interpretation.ml +++ b/src/proto_alpha/lib_protocol/test/integration/michelson/test_interpretation.ml @@ -26,9 +26,7 @@ (** Testing ------- Component: Protocol (interpretation) - Dependencies: src/proto_alpha/lib_protocol/script_interpreter.ml - Invocation: cd src/proto_alpha/lib_protocol/test/integration/michelson && \ - dune exec ./main.exe -- test "^interpretation$" + Invocation: dune exec src/proto_alpha/lib_protocol/test/integration/michelson/main.exe Subject: Interpretation of Michelson scripts *) diff --git a/src/proto_alpha/lib_protocol/test/integration/michelson/test_lambda_normalization.ml b/src/proto_alpha/lib_protocol/test/integration/michelson/test_lambda_normalization.ml index ab940088a9cf2239b0ef3bd115e79b040661b2ed..8f074b7934a61de52c0494a6ec097c7b98c11c4c 100644 --- a/src/proto_alpha/lib_protocol/test/integration/michelson/test_lambda_normalization.ml +++ b/src/proto_alpha/lib_protocol/test/integration/michelson/test_lambda_normalization.ml @@ -26,9 +26,7 @@ (** Testing ------- Component: Protocol (Michelson) - Invocation: dune exec \ - src/proto_alpha/lib_protocol/test/integration/michelson/main.exe \ - -- test "^lambda normalization" + Invocation: dune exec src/proto_alpha/lib_protocol/test/integration/main.exe Subject: Test that lambdas are normalized to optimized format at elaboration *) diff --git a/src/proto_alpha/lib_protocol/test/integration/michelson/test_main.ml b/src/proto_alpha/lib_protocol/test/integration/michelson/test_main.ml index 4a99ecee3560027bc6e31ebe8ee2cd43ac058ec2..6683a90b02aadff247963b2d393114bd141e2d94 100644 --- a/src/proto_alpha/lib_protocol/test/integration/michelson/test_main.ml +++ b/src/proto_alpha/lib_protocol/test/integration/michelson/test_main.ml @@ -26,7 +26,7 @@ (** Testing ------- Component: Protocol - Invocation: dune runtest src/proto_alpha/lib_protocol/test/integration/michelson + Invocation: dune exec src/proto_alpha/lib_protocol/test/integration/main.exe Subject: Integration > Michelson *) diff --git a/src/proto_alpha/lib_protocol/test/integration/michelson/test_patched_contracts.ml b/src/proto_alpha/lib_protocol/test/integration/michelson/test_patched_contracts.ml index eb6873547f4f877763ec964aada5c8e57a573d33..60b76797557c999e19a1f326c62802f442a94bfe 100644 --- a/src/proto_alpha/lib_protocol/test/integration/michelson/test_patched_contracts.ml +++ b/src/proto_alpha/lib_protocol/test/integration/michelson/test_patched_contracts.ml @@ -26,8 +26,7 @@ (** Testing ------- Component: Protocol Migration (patched scripts) - Invocation: cd src/proto_alpha/lib_protocol/test/integration/michelson - dune exec ./main.exe -- test "^patched contracts$" + Invocation: dune exec src/proto_alpha/lib_protocol/test/integration/main.exe Subject: Migration *) diff --git a/src/proto_alpha/lib_protocol/test/integration/michelson/test_sapling.ml b/src/proto_alpha/lib_protocol/test/integration/michelson/test_sapling.ml index c7a3199df51d60f6ade41046cd31301f0ca927c6..8cf026bfb9c00810436bd982585c204645d3814c 100644 --- a/src/proto_alpha/lib_protocol/test/integration/michelson/test_sapling.ml +++ b/src/proto_alpha/lib_protocol/test/integration/michelson/test_sapling.ml @@ -26,8 +26,7 @@ (** Testing ------- Component: Protocol (Sapling) - Invocation: cd src/proto_alpha/lib_protocol/test/integration/michelson && \ - dune exec ./main.exe -- test "^sapling$" + Invocation: dune exec src/proto_alpha/lib_protocol/test/integration/main.exe Subject: On the privacy-preserving library Sapling *) diff --git a/src/proto_alpha/lib_protocol/test/integration/michelson/test_script_cache.ml b/src/proto_alpha/lib_protocol/test/integration/michelson/test_script_cache.ml index f0c97f413bff377afdfaa70942ea72e0c2de3fba..8d64159bd8d6fbd00e5bbe9913b4ac63d2cfc0a0 100644 --- a/src/proto_alpha/lib_protocol/test/integration/michelson/test_script_cache.ml +++ b/src/proto_alpha/lib_protocol/test/integration/michelson/test_script_cache.ml @@ -26,8 +26,7 @@ (** Testing ------- Component: Protocol (cache) - Invocation: cd src/proto_alpha/lib_protocol/test/integration/michelson && \ - dune exec ./main.exe -- test "^script cache$" + Invocation: dune exec src/proto_alpha/lib_protocol/test/integration/main.exe Subject: These unit tests check basic behavior of script cache *) diff --git a/src/proto_alpha/lib_protocol/test/integration/michelson/test_script_typed_ir_size.ml b/src/proto_alpha/lib_protocol/test/integration/michelson/test_script_typed_ir_size.ml index 7c07edc87de8f2b81f0a302ca507676e17fd3558..5652969b2fc5bc9a5967e16fe15a1aacdea852c8 100644 --- a/src/proto_alpha/lib_protocol/test/integration/michelson/test_script_typed_ir_size.ml +++ b/src/proto_alpha/lib_protocol/test/integration/michelson/test_script_typed_ir_size.ml @@ -26,9 +26,7 @@ (** Testing ------- Component: Protocol (script typed IR size) - Invocation: dune exec \ - src/proto_alpha/lib_protocol/test/integration/michelson/main.exe \ - -- test "^script typed ir size$" + Invocation: dune exec src/proto_alpha/lib_protocol/test/integration/main.exe Subject: Script_typed_ir computes good approximation of values' sizes *) diff --git a/src/proto_alpha/lib_protocol/test/integration/michelson/test_temp_big_maps.ml b/src/proto_alpha/lib_protocol/test/integration/michelson/test_temp_big_maps.ml index 8a073ce9bc63bbebfa9f2e230360bb96fd4046f5..1b971500280ce82f3057c8c85f30dfd0b215e1c5 100644 --- a/src/proto_alpha/lib_protocol/test/integration/michelson/test_temp_big_maps.ml +++ b/src/proto_alpha/lib_protocol/test/integration/michelson/test_temp_big_maps.ml @@ -26,8 +26,7 @@ (** Testing ------- Component: Protocol (temporary big maps) - Invocation: cd src/proto_alpha/lib_protocol/test/integration/michelson \ - && dune exec ./main.exe -- test "^temp big maps$" + Invocation: dune exec src/proto_alpha/lib_protocol/test/integration/main.exe Subject: On temporary big maps. *) diff --git a/src/proto_alpha/lib_protocol/test/integration/michelson/test_ticket_accounting.ml b/src/proto_alpha/lib_protocol/test/integration/michelson/test_ticket_accounting.ml index e81ecd23861be651ce0c9aa1206effc08c29ba5a..4a4abd260a96509000cedb6f184c75d266b2549a 100644 --- a/src/proto_alpha/lib_protocol/test/integration/michelson/test_ticket_accounting.ml +++ b/src/proto_alpha/lib_protocol/test/integration/michelson/test_ticket_accounting.ml @@ -26,9 +26,7 @@ (** Testing ------- Component: Protocol (Ticket_scanner) - Invocation: dune exec \ - src/proto_alpha/lib_protocol/test/integration/michelson/main.exe \ - -- test "^ticket accounting" + Invocation: dune exec src/proto_alpha/lib_protocol/test/integration/main.exe Subject: Ticket scanner tests *) diff --git a/src/proto_alpha/lib_protocol/test/integration/michelson/test_ticket_balance.ml b/src/proto_alpha/lib_protocol/test/integration/michelson/test_ticket_balance.ml index a8f6d4e287458fe98d4a53be3d78cac82546bd09..2af075e802a8fa2521380755e182b8f6c41c2187 100644 --- a/src/proto_alpha/lib_protocol/test/integration/michelson/test_ticket_balance.ml +++ b/src/proto_alpha/lib_protocol/test/integration/michelson/test_ticket_balance.ml @@ -26,9 +26,7 @@ (** Testing ------- Component: Protocol (Ticket_balance_key) - Invocation: dune exec \ - src/proto_alpha/lib_protocol/test/integration/michelson/main.exe \ - -- test "^ticket balance" + Invocation: dune exec src/proto_alpha/lib_protocol/test/integration/main.exe Subject: Ticket balance key hashing *) diff --git a/src/proto_alpha/lib_protocol/test/integration/michelson/test_ticket_balance_key.ml b/src/proto_alpha/lib_protocol/test/integration/michelson/test_ticket_balance_key.ml index 02b23a232a120a92ed9a62bd0d169b4766834cc4..6207afdb8a1a20c2d7d2d961a21a8fbbabbb0eca 100644 --- a/src/proto_alpha/lib_protocol/test/integration/michelson/test_ticket_balance_key.ml +++ b/src/proto_alpha/lib_protocol/test/integration/michelson/test_ticket_balance_key.ml @@ -26,9 +26,7 @@ (** Testing ------- Component: Protocol (Ticket_balance_key) - Invocation: dune exec \ - src/proto_alpha/lib_protocol/test/integration/michelson/main.exe \ - -- test "^ticket balance key" + Invocation: dune exec src/proto_alpha/lib_protocol/test/integration/main.exe Subject: Ticket balance key hashing *) diff --git a/src/proto_alpha/lib_protocol/test/integration/michelson/test_ticket_lazy_storage_diff.ml b/src/proto_alpha/lib_protocol/test/integration/michelson/test_ticket_lazy_storage_diff.ml index fbf5d8d6fc5ef8ef1a472f1a72ac78e2f9a6136b..b15596bd6bafd7216017016759878889d0f826bb 100644 --- a/src/proto_alpha/lib_protocol/test/integration/michelson/test_ticket_lazy_storage_diff.ml +++ b/src/proto_alpha/lib_protocol/test/integration/michelson/test_ticket_lazy_storage_diff.ml @@ -27,9 +27,7 @@ (** Testing ------- Component: Protocol (Ticket_scanner) - Invocation: dune exec \ - src/proto_alpha/lib_protocol/test/integration/michelson/main.exe \ - -- test "^ticket lazy storage diff" + Invocation: dune exec src/proto_alpha/lib_protocol/test/integration/main.exe Subject: Ticket scanner tests *) diff --git a/src/proto_alpha/lib_protocol/test/integration/michelson/test_ticket_manager.ml b/src/proto_alpha/lib_protocol/test/integration/michelson/test_ticket_manager.ml index c0edcbe1c86e921ce5c39536b05ee0ac5e80bb48..7c7d7fbd2e71d56845391d19b0fb4bc49a30e400 100644 --- a/src/proto_alpha/lib_protocol/test/integration/michelson/test_ticket_manager.ml +++ b/src/proto_alpha/lib_protocol/test/integration/michelson/test_ticket_manager.ml @@ -26,9 +26,7 @@ (** Testing ------- Component: Protocol (Ticket_balance_key) - Invocation: dune exec \ - src/proto_alpha/lib_protocol/test/integration/michelson/main.exe \ - -- test "^ticket manager" + Invocation: dune exec src/proto_alpha/lib_protocol/test/integration/main.exe Subject: Tests that compare the ticket-balance table against tickets in the contract storages. The tests include a lot of operations that sends and store tickets. After each operation we check that the diff --git a/src/proto_alpha/lib_protocol/test/integration/michelson/test_ticket_operations_diff.ml b/src/proto_alpha/lib_protocol/test/integration/michelson/test_ticket_operations_diff.ml index 9feaa831753107f709cc6dbdec7bde94b8a8c125..52ffded07904e2fb4decf9df4e7a2d8a557d4219 100644 --- a/src/proto_alpha/lib_protocol/test/integration/michelson/test_ticket_operations_diff.ml +++ b/src/proto_alpha/lib_protocol/test/integration/michelson/test_ticket_operations_diff.ml @@ -26,9 +26,7 @@ (** Testing ------- Component: Protocol (Ticket_scanner) - Invocation: dune exec \ - src/proto_alpha/lib_protocol/test/integration/michelson/main.exe \ - -- test "^ticket operations diff" + Invocation: dune exec src/proto_alpha/lib_protocol/test/integration/main.exe Subject: Ticket scanner tests *) diff --git a/src/proto_alpha/lib_protocol/test/integration/michelson/test_ticket_scanner.ml b/src/proto_alpha/lib_protocol/test/integration/michelson/test_ticket_scanner.ml index 27cdf80d8478b3f2971d7ff569063e6e6da32e25..a93daf390818ce7451fe96f9d4935ec7781effe7 100644 --- a/src/proto_alpha/lib_protocol/test/integration/michelson/test_ticket_scanner.ml +++ b/src/proto_alpha/lib_protocol/test/integration/michelson/test_ticket_scanner.ml @@ -27,9 +27,7 @@ (** Testing ------- Component: Protocol (Ticket_scanner) - Invocation: dune exec \ - src/proto_alpha/lib_protocol/test/integration/michelson/main.exe \ - -- test "^ticket scanner" + Invocation: dune exec src/proto_alpha/lib_protocol/test/integration/main.exe Subject: Ticket scanner tests *) diff --git a/src/proto_alpha/lib_protocol/test/integration/michelson/test_ticket_storage.ml b/src/proto_alpha/lib_protocol/test/integration/michelson/test_ticket_storage.ml index 4f1ab85ebed03fd08846bfdcc0522c8a13ec1438..543238917093927c6c12d50a4b3fd78287915d58 100644 --- a/src/proto_alpha/lib_protocol/test/integration/michelson/test_ticket_storage.ml +++ b/src/proto_alpha/lib_protocol/test/integration/michelson/test_ticket_storage.ml @@ -26,9 +26,7 @@ (** Testing ------- Component: Protocol (Alpha_context.Ticket_balance) - Invocation: dune exec \ - src/proto_alpha/lib_protocol/test/integration/michelson/main.exe \ - -- test "^ticket storage$" + Invocation: dune exec src/proto_alpha/lib_protocol/test/integration/main.exe Subject: Ticket storage functions tested using the Ticket_balance module in Alpha_context. *) diff --git a/src/proto_alpha/lib_protocol/test/integration/michelson/test_timelock.ml b/src/proto_alpha/lib_protocol/test/integration/michelson/test_timelock.ml index b55cb5d6c2b63c7142e921914c2696788e5e1512..a7d9aaba6bbd866319e9a370139cc477a0b170ac 100644 --- a/src/proto_alpha/lib_protocol/test/integration/michelson/test_timelock.ml +++ b/src/proto_alpha/lib_protocol/test/integration/michelson/test_timelock.ml @@ -26,8 +26,7 @@ (** Testing ------- Component: Protocol (Tezos_crypto.Timelock) - Invocation: cd src/proto_alpha/lib_protocol/test/integration/michelson && \ - dune exec ./main.exe -- test "^timelock$" + Invocation: dune exec src/proto_alpha/lib_protocol/test/integration/main.exe Subject: On timelock *) diff --git a/src/proto_alpha/lib_protocol/test/integration/michelson/test_typechecking.ml b/src/proto_alpha/lib_protocol/test/integration/michelson/test_typechecking.ml index 0373dca0b3e09ad87cc656cc76ef29671b03c938..6e342d99edafb70f15d953c9258a4a3b25af633a 100644 --- a/src/proto_alpha/lib_protocol/test/integration/michelson/test_typechecking.ml +++ b/src/proto_alpha/lib_protocol/test/integration/michelson/test_typechecking.ml @@ -26,8 +26,7 @@ (** Testing ------- Component: Protocol (type-checking) - Invocation: cd src/proto_alpha/lib_protocol/test/integration/michelson && \ - dune exec ./main.exe -- test "^typechecking$" + Invocation: dune exec src/proto_alpha/lib_protocol/test/integration/main.exe Subject: Type-checking *)