From d00f151a3d0bbe5c7dd70fcc94cb910cfe930498 Mon Sep 17 00:00:00 2001 From: lykimq Date: Mon, 20 Mar 2023 15:21:17 +0100 Subject: [PATCH] Alcotezt-UX: fix invocation headers in [integration/michelson] --- .../test/integration/michelson/test_annotations.ml | 3 +-- .../integration/michelson/test_block_time_instructions.ml | 3 +-- .../test/integration/michelson/test_contract_event.ml | 3 +-- .../integration/michelson/test_global_constants_storage.ml | 4 +--- .../test/integration/michelson/test_interpretation.ml | 4 +--- .../lib_protocol/test/integration/michelson/test_main.ml | 2 +- .../test/integration/michelson/test_patched_contracts.ml | 3 +-- .../lib_protocol/test/integration/michelson/test_sapling.ml | 3 +-- .../test/integration/michelson/test_script_cache.ml | 3 +-- .../test/integration/michelson/test_script_typed_ir_size.ml | 4 +--- .../test/integration/michelson/test_temp_big_maps.ml | 3 +-- .../test/integration/michelson/test_ticket_accounting.ml | 4 +--- .../test/integration/michelson/test_ticket_balance.ml | 4 +--- .../test/integration/michelson/test_ticket_balance_key.ml | 4 +--- .../integration/michelson/test_ticket_lazy_storage_diff.ml | 4 +--- .../test/integration/michelson/test_ticket_manager.ml | 4 +--- .../test/integration/michelson/test_ticket_operations_diff.ml | 4 +--- .../test/integration/michelson/test_ticket_scanner.ml | 4 +--- .../test/integration/michelson/test_ticket_storage.ml | 4 +--- .../lib_protocol/test/integration/michelson/test_timelock.ml | 3 +-- .../test/integration/michelson/test_typechecking.ml | 3 +-- .../test/integration/michelson/test_annotations.ml | 3 +-- .../integration/michelson/test_block_time_instructions.ml | 3 +-- .../test/integration/michelson/test_contract_event.ml | 3 +-- .../integration/michelson/test_global_constants_storage.ml | 4 +--- .../test/integration/michelson/test_interpretation.ml | 4 +--- .../test/integration/michelson/test_lambda_normalization.ml | 4 +--- .../lib_protocol/test/integration/michelson/test_main.ml | 2 +- .../test/integration/michelson/test_patched_contracts.ml | 3 +-- .../lib_protocol/test/integration/michelson/test_sapling.ml | 3 +-- .../test/integration/michelson/test_script_cache.ml | 3 +-- .../test/integration/michelson/test_script_typed_ir_size.ml | 4 +--- .../test/integration/michelson/test_temp_big_maps.ml | 3 +-- .../test/integration/michelson/test_ticket_accounting.ml | 4 +--- .../test/integration/michelson/test_ticket_balance.ml | 4 +--- .../test/integration/michelson/test_ticket_balance_key.ml | 4 +--- .../integration/michelson/test_ticket_lazy_storage_diff.ml | 4 +--- .../test/integration/michelson/test_ticket_manager.ml | 4 +--- .../test/integration/michelson/test_ticket_operations_diff.ml | 4 +--- .../test/integration/michelson/test_ticket_scanner.ml | 4 +--- .../test/integration/michelson/test_ticket_storage.ml | 4 +--- .../lib_protocol/test/integration/michelson/test_timelock.ml | 3 +-- .../test/integration/michelson/test_typechecking.ml | 3 +-- .../test/integration/michelson/test_annotations.ml | 3 +-- .../integration/michelson/test_block_time_instructions.ml | 3 +-- .../test/integration/michelson/test_contract_event.ml | 3 +-- .../integration/michelson/test_global_constants_storage.ml | 4 +--- .../test/integration/michelson/test_interpretation.ml | 4 +--- .../test/integration/michelson/test_lambda_normalization.ml | 4 +--- .../lib_protocol/test/integration/michelson/test_main.ml | 2 +- .../test/integration/michelson/test_patched_contracts.ml | 3 +-- .../lib_protocol/test/integration/michelson/test_sapling.ml | 3 +-- .../test/integration/michelson/test_script_cache.ml | 3 +-- .../test/integration/michelson/test_script_typed_ir_size.ml | 4 +--- .../test/integration/michelson/test_temp_big_maps.ml | 3 +-- .../test/integration/michelson/test_ticket_accounting.ml | 4 +--- .../test/integration/michelson/test_ticket_balance.ml | 4 +--- .../test/integration/michelson/test_ticket_balance_key.ml | 4 +--- .../integration/michelson/test_ticket_lazy_storage_diff.ml | 4 +--- .../test/integration/michelson/test_ticket_manager.ml | 4 +--- .../test/integration/michelson/test_ticket_operations_diff.ml | 4 +--- .../test/integration/michelson/test_ticket_scanner.ml | 4 +--- .../test/integration/michelson/test_ticket_storage.ml | 4 +--- .../lib_protocol/test/integration/michelson/test_timelock.ml | 3 +-- .../test/integration/michelson/test_typechecking.ml | 3 +-- 65 files changed, 65 insertions(+), 162 deletions(-) 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 200d25431759..cf96ed583c24 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 caa840f14b09..44403c7a0cee 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 16913a0155f4..7b009450330b 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 d08c70285a51..07cda29da4b5 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 ba0b164024a7..9f6a1e07fd8d 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 9aafa0dee0ca..0d28bd12ddbc 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 e11b1a4e927e..e9b523116c89 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 467f0b086a6d..625c5088fcad 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 e7ca8d0aeab9..5b58d63a398b 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 bf639d7b8e20..63fe2c0c28aa 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 1f47c3605895..5675ea4f03cc 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 724e401da45d..b1e25eadb5f7 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 871426ec08a4..7ec43b1c12d8 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 1d3af7b23ebd..335b8af2904d 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 475856ed4327..dd1ef3b07c70 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 55872c994176..57ab6f552d98 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 4589cab69389..146679d8685f 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 642318c089c3..5c01c08a3b50 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 fe0e93271301..6d911d650420 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 84f24245a3d9..4117293c3fa0 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 a18e580ca491..16be354b0231 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 200d25431759..c0ab85002e43 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 030f14db0244..0bbb1f1d2df2 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 305d11d16360..3fd87a5ab22d 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 7a031944fbed..b1d5597d640c 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 09fba97fdcb2..c0bddf058042 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 fcd9152f277d..3e53d4a0e87f 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 4a99ecee3560..d429cd3e958f 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 dae507c20618..7b004719fd75 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 08f4dfe877e8..22a386f1257b 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 9351c3a8274f..423d8fae5ee7 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 18d132b7f79e..54638bbe6d31 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 1f47c3605895..e4a4b50208ad 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 dc02ae873299..eeb2d1862972 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 c3e8bd9acdbc..16981f82e3df 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 1d3af7b23ebd..2d00f79a3a01 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 754a4079cf2b..e484863f390c 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 eca8fee374a4..9d3614361b3d 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 65a26baabb20..4f4ccb41f638 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 f8e662e07c8e..2821fdc0bf5d 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 fe0e93271301..ba6ed02088ef 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 ef1d36206746..883e000a4202 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 526b56ca4156..acb8734c9bcf 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 200d25431759..2cfb562d283e 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 c9870db5a549..128ad6b36840 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 39ac884df84a..7919cee4f28c 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 7a031944fbed..53cdbd060db7 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 4f1083365733..8d28d1b12692 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 ab940088a9cf..8f074b7934a6 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 4a99ecee3560..6683a90b02aa 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 eb6873547f4f..60b76797557c 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 c7a3199df51d..8cf026bfb9c0 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 f0c97f413bff..8d64159bd8d6 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 7c07edc87de8..5652969b2fc5 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 8a073ce9bc63..1b971500280c 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 e81ecd23861b..4a4abd260a96 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 a8f6d4e28745..2af075e802a8 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 02b23a232a12..6207afdb8a1a 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 fbf5d8d6fc5e..b15596bd6baf 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 c0edcbe1c86e..7c7d7fbd2e71 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 9feaa8317531..52ffded07904 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 27cdf80d8478..a93daf390818 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 4f1ab85ebed0..543238917093 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 b55cb5d6c2b6..a7d9aaba6bbd 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 0373dca0b3e0..6e342d99edaf 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 *) -- GitLab