From 7b604a3d1b64f7adfcecfeedf514866ef85db131 Mon Sep 17 00:00:00 2001 From: lykimq Date: Mon, 20 Mar 2023 15:02:15 +0100 Subject: [PATCH 1/3] Alcotezt-UX: fix invocation headers in [proto_/lib_client/test] --- .../lib_client/test/test_client_proto_context.ml | 2 +- .../lib_client/test/test_client_proto_contracts.ml | 2 +- .../lib_client/test/test_michelson_v1_macros.ml | 2 +- src/proto_015_PtLimaPt/lib_client/test/test_proxy.ml | 2 +- .../lib_client/test/test_client_proto_context.ml | 2 +- .../lib_client/test/test_client_proto_contracts.ml | 2 +- .../lib_client/test/test_michelson_v1_macros.ml | 2 +- src/proto_016_PtMumbai/lib_client/test/test_proxy.ml | 2 +- src/proto_alpha/lib_client/test/test_client_proto_context.ml | 2 +- src/proto_alpha/lib_client/test/test_client_proto_contracts.ml | 2 +- src/proto_alpha/lib_client/test/test_michelson_v1_macros.ml | 2 +- src/proto_alpha/lib_client/test/test_proxy.ml | 2 +- 12 files changed, 12 insertions(+), 12 deletions(-) diff --git a/src/proto_015_PtLimaPt/lib_client/test/test_client_proto_context.ml b/src/proto_015_PtLimaPt/lib_client/test/test_client_proto_context.ml index 2fac87079123..48ed318d5210 100644 --- a/src/proto_015_PtLimaPt/lib_client/test/test_client_proto_context.ml +++ b/src/proto_015_PtLimaPt/lib_client/test/test_client_proto_context.ml @@ -26,7 +26,7 @@ (* Testing ------- Component: Client - Invocation: dune exec src/proto_alpha/lib_client/test/test_client_proto_context.exe + Invocation: dune exec src/proto_015_PtLimaPt/lib_client/test/main.exe Subject: Tests roundtrips of batch_transfer_operation_encoding *) diff --git a/src/proto_015_PtLimaPt/lib_client/test/test_client_proto_contracts.ml b/src/proto_015_PtLimaPt/lib_client/test/test_client_proto_contracts.ml index 3548667055b5..f3a291a99cd6 100644 --- a/src/proto_015_PtLimaPt/lib_client/test/test_client_proto_contracts.ml +++ b/src/proto_015_PtLimaPt/lib_client/test/test_client_proto_contracts.ml @@ -26,7 +26,7 @@ (** Testing ------- Component: Client - Invocation: dune exec src/proto_alpha/lib_client/test/test_client_proto_contracts.exe + Invocation: dune exec src/proto_015_PtLimaPt/lib_client/test/main.exe Subject: Unit tests for Client_proto_contracts *) diff --git a/src/proto_015_PtLimaPt/lib_client/test/test_michelson_v1_macros.ml b/src/proto_015_PtLimaPt/lib_client/test/test_michelson_v1_macros.ml index 6f08d8a33f94..6692a6f3148d 100644 --- a/src/proto_015_PtLimaPt/lib_client/test/test_michelson_v1_macros.ml +++ b/src/proto_015_PtLimaPt/lib_client/test/test_michelson_v1_macros.ml @@ -27,7 +27,7 @@ (** Testing ------- Component: Client - Invocation: dune build @src/proto_alpha/lib_client/runtest + Invocation: dune exec src/proto_015_PtLimaPt/lib_client/test/main.exe Dependencies: src/proto_alpha/lib_client/test/assert.ml Subject: Expansion and unexpansion of Micheline terms. *) diff --git a/src/proto_015_PtLimaPt/lib_client/test/test_proxy.ml b/src/proto_015_PtLimaPt/lib_client/test/test_proxy.ml index f2fdc8bf0ae9..186ca088ea2d 100644 --- a/src/proto_015_PtLimaPt/lib_client/test/test_proxy.ml +++ b/src/proto_015_PtLimaPt/lib_client/test/test_proxy.ml @@ -26,7 +26,7 @@ (** Testing ------- Component: Client - Invocation: dune build @src/proto_alpha/lib_client/runtest + Invocation: dune exec src/proto_015_PtLimaPt/lib_client/test/main.exe Subject: Test of --mode proxy and tezos-proxy-server heuristic *) diff --git a/src/proto_016_PtMumbai/lib_client/test/test_client_proto_context.ml b/src/proto_016_PtMumbai/lib_client/test/test_client_proto_context.ml index 2fac87079123..cbc2c6407968 100644 --- a/src/proto_016_PtMumbai/lib_client/test/test_client_proto_context.ml +++ b/src/proto_016_PtMumbai/lib_client/test/test_client_proto_context.ml @@ -26,7 +26,7 @@ (* Testing ------- Component: Client - Invocation: dune exec src/proto_alpha/lib_client/test/test_client_proto_context.exe + Invocation: dune exec src/proto_016_PtMumbai/lib_client/test/main.exe Subject: Tests roundtrips of batch_transfer_operation_encoding *) diff --git a/src/proto_016_PtMumbai/lib_client/test/test_client_proto_contracts.ml b/src/proto_016_PtMumbai/lib_client/test/test_client_proto_contracts.ml index 3548667055b5..adee03288507 100644 --- a/src/proto_016_PtMumbai/lib_client/test/test_client_proto_contracts.ml +++ b/src/proto_016_PtMumbai/lib_client/test/test_client_proto_contracts.ml @@ -26,7 +26,7 @@ (** Testing ------- Component: Client - Invocation: dune exec src/proto_alpha/lib_client/test/test_client_proto_contracts.exe + Invocation: dune exec src/proto_016_PtMumbai/lib_client/test/main.exe Subject: Unit tests for Client_proto_contracts *) diff --git a/src/proto_016_PtMumbai/lib_client/test/test_michelson_v1_macros.ml b/src/proto_016_PtMumbai/lib_client/test/test_michelson_v1_macros.ml index 6f08d8a33f94..e0b31ec73f32 100644 --- a/src/proto_016_PtMumbai/lib_client/test/test_michelson_v1_macros.ml +++ b/src/proto_016_PtMumbai/lib_client/test/test_michelson_v1_macros.ml @@ -27,7 +27,7 @@ (** Testing ------- Component: Client - Invocation: dune build @src/proto_alpha/lib_client/runtest + Invocation: dune exec src/proto_016_PtMumbai/lib_client/test/main.exe Dependencies: src/proto_alpha/lib_client/test/assert.ml Subject: Expansion and unexpansion of Micheline terms. *) diff --git a/src/proto_016_PtMumbai/lib_client/test/test_proxy.ml b/src/proto_016_PtMumbai/lib_client/test/test_proxy.ml index f2fdc8bf0ae9..08573188bd81 100644 --- a/src/proto_016_PtMumbai/lib_client/test/test_proxy.ml +++ b/src/proto_016_PtMumbai/lib_client/test/test_proxy.ml @@ -26,7 +26,7 @@ (** Testing ------- Component: Client - Invocation: dune build @src/proto_alpha/lib_client/runtest + Invocation: dune exec src/proto_016_PtMumbai/lib_client/test/main.exe Subject: Test of --mode proxy and tezos-proxy-server heuristic *) diff --git a/src/proto_alpha/lib_client/test/test_client_proto_context.ml b/src/proto_alpha/lib_client/test/test_client_proto_context.ml index 2fac87079123..b7f03a8258a1 100644 --- a/src/proto_alpha/lib_client/test/test_client_proto_context.ml +++ b/src/proto_alpha/lib_client/test/test_client_proto_context.ml @@ -26,7 +26,7 @@ (* Testing ------- Component: Client - Invocation: dune exec src/proto_alpha/lib_client/test/test_client_proto_context.exe + Invocation: dune exec src/proto_alpha/lib_client/test/main.exe Subject: Tests roundtrips of batch_transfer_operation_encoding *) diff --git a/src/proto_alpha/lib_client/test/test_client_proto_contracts.ml b/src/proto_alpha/lib_client/test/test_client_proto_contracts.ml index 3548667055b5..42ddf35781cc 100644 --- a/src/proto_alpha/lib_client/test/test_client_proto_contracts.ml +++ b/src/proto_alpha/lib_client/test/test_client_proto_contracts.ml @@ -26,7 +26,7 @@ (** Testing ------- Component: Client - Invocation: dune exec src/proto_alpha/lib_client/test/test_client_proto_contracts.exe + Invocation: dune exec src/proto_alpha/lib_client/test/main.exe Subject: Unit tests for Client_proto_contracts *) diff --git a/src/proto_alpha/lib_client/test/test_michelson_v1_macros.ml b/src/proto_alpha/lib_client/test/test_michelson_v1_macros.ml index 6f08d8a33f94..237f0dd1e301 100644 --- a/src/proto_alpha/lib_client/test/test_michelson_v1_macros.ml +++ b/src/proto_alpha/lib_client/test/test_michelson_v1_macros.ml @@ -27,7 +27,7 @@ (** Testing ------- Component: Client - Invocation: dune build @src/proto_alpha/lib_client/runtest + Invocation: dune exec src/proto_alpha/lib_client/test/main.exe Dependencies: src/proto_alpha/lib_client/test/assert.ml Subject: Expansion and unexpansion of Micheline terms. *) diff --git a/src/proto_alpha/lib_client/test/test_proxy.ml b/src/proto_alpha/lib_client/test/test_proxy.ml index f2fdc8bf0ae9..b45aa5eb952f 100644 --- a/src/proto_alpha/lib_client/test/test_proxy.ml +++ b/src/proto_alpha/lib_client/test/test_proxy.ml @@ -26,7 +26,7 @@ (** Testing ------- Component: Client - Invocation: dune build @src/proto_alpha/lib_client/runtest + Invocation: dune exec src/proto_alpha/lib_client/test/main.exe Subject: Test of --mode proxy and tezos-proxy-server heuristic *) -- GitLab From da41ed1239199609da5ccec26c522ba1d7b48a28 Mon Sep 17 00:00:00 2001 From: lykimq Date: Mon, 20 Mar 2023 15:06:13 +0100 Subject: [PATCH 2/3] Alcotezt-UX: fix invocation headers in [proto_/lib_plugin/test] --- src/proto_015_PtLimaPt/lib_plugin/test/test_conflict_handler.ml | 2 +- src/proto_015_PtLimaPt/lib_plugin/test/test_filter_state.ml | 2 +- src/proto_015_PtLimaPt/lib_plugin/test/test_plugin.ml | 2 +- src/proto_016_PtMumbai/lib_plugin/test/test_conflict_handler.ml | 2 +- src/proto_016_PtMumbai/lib_plugin/test/test_filter_state.ml | 2 +- src/proto_016_PtMumbai/lib_plugin/test/test_plugin.ml | 2 +- src/proto_alpha/lib_plugin/test/test_conflict_handler.ml | 2 +- src/proto_alpha/lib_plugin/test/test_filter_state.ml | 2 +- src/proto_alpha/lib_plugin/test/test_plugin.ml | 2 +- 9 files changed, 9 insertions(+), 9 deletions(-) diff --git a/src/proto_015_PtLimaPt/lib_plugin/test/test_conflict_handler.ml b/src/proto_015_PtLimaPt/lib_plugin/test/test_conflict_handler.ml index 26e07c0a5abb..4817bd797ad8 100644 --- a/src/proto_015_PtLimaPt/lib_plugin/test/test_conflict_handler.ml +++ b/src/proto_015_PtLimaPt/lib_plugin/test/test_conflict_handler.ml @@ -26,7 +26,7 @@ (** Testing ------- Component: Plugin.Mempool - Invocation: dune exec src/proto_alpha/lib_plugin/test/test_conflict_handler.exe + Invocation: dune exec src/proto_015_PtLimaPt/lib_plugin/test/main.exe Subject: Unit tests the Mempool.conflict_handler fonction of the plugin *) diff --git a/src/proto_015_PtLimaPt/lib_plugin/test/test_filter_state.ml b/src/proto_015_PtLimaPt/lib_plugin/test/test_filter_state.ml index 349fd705bc4d..0866d83aaf95 100644 --- a/src/proto_015_PtLimaPt/lib_plugin/test/test_filter_state.ml +++ b/src/proto_015_PtLimaPt/lib_plugin/test/test_filter_state.ml @@ -26,7 +26,7 @@ (** Testing ------- Component: Shell (Plugin) - Invocation: dune exec src/proto_alpha/lib_plugin/test/test_filter_state.exe + Invocation: dune exec src/proto_015_PtLimaPt/lib_plugin/test/main.exe Subject: Unit tests the filter state functions of the plugin *) diff --git a/src/proto_015_PtLimaPt/lib_plugin/test/test_plugin.ml b/src/proto_015_PtLimaPt/lib_plugin/test/test_plugin.ml index bc0bc375a457..487e1aa21199 100644 --- a/src/proto_015_PtLimaPt/lib_plugin/test/test_plugin.ml +++ b/src/proto_015_PtLimaPt/lib_plugin/test/test_plugin.ml @@ -26,7 +26,7 @@ (** Testing ------- Component: Shell (Plugin) - Invocation: dune exec src/proto_alpha/lib_plugin/test/test_plugin.exe + Invocation: dune exec src/proto_015_PtLimaPt/lib_plugin/test/main.exe Subject: Unit tests the plugin *) diff --git a/src/proto_016_PtMumbai/lib_plugin/test/test_conflict_handler.ml b/src/proto_016_PtMumbai/lib_plugin/test/test_conflict_handler.ml index 26e07c0a5abb..837ecd11f5c4 100644 --- a/src/proto_016_PtMumbai/lib_plugin/test/test_conflict_handler.ml +++ b/src/proto_016_PtMumbai/lib_plugin/test/test_conflict_handler.ml @@ -26,7 +26,7 @@ (** Testing ------- Component: Plugin.Mempool - Invocation: dune exec src/proto_alpha/lib_plugin/test/test_conflict_handler.exe + Invocation: dune exec src/proto_016_PtMumbai/lib_plugin/test/main.exe Subject: Unit tests the Mempool.conflict_handler fonction of the plugin *) diff --git a/src/proto_016_PtMumbai/lib_plugin/test/test_filter_state.ml b/src/proto_016_PtMumbai/lib_plugin/test/test_filter_state.ml index 349fd705bc4d..1c9671914c7f 100644 --- a/src/proto_016_PtMumbai/lib_plugin/test/test_filter_state.ml +++ b/src/proto_016_PtMumbai/lib_plugin/test/test_filter_state.ml @@ -26,7 +26,7 @@ (** Testing ------- Component: Shell (Plugin) - Invocation: dune exec src/proto_alpha/lib_plugin/test/test_filter_state.exe + Invocation: dune exec src/proto_016_PtMumbai/lib_plugin/test/main.exe Subject: Unit tests the filter state functions of the plugin *) diff --git a/src/proto_016_PtMumbai/lib_plugin/test/test_plugin.ml b/src/proto_016_PtMumbai/lib_plugin/test/test_plugin.ml index bc0bc375a457..4d2335ee6c67 100644 --- a/src/proto_016_PtMumbai/lib_plugin/test/test_plugin.ml +++ b/src/proto_016_PtMumbai/lib_plugin/test/test_plugin.ml @@ -26,7 +26,7 @@ (** Testing ------- Component: Shell (Plugin) - Invocation: dune exec src/proto_alpha/lib_plugin/test/test_plugin.exe + Invocation: dune exec src/proto_016_PtMumbai/lib_plugin/test/main.exe Subject: Unit tests the plugin *) diff --git a/src/proto_alpha/lib_plugin/test/test_conflict_handler.ml b/src/proto_alpha/lib_plugin/test/test_conflict_handler.ml index 26e07c0a5abb..94b833ff887e 100644 --- a/src/proto_alpha/lib_plugin/test/test_conflict_handler.ml +++ b/src/proto_alpha/lib_plugin/test/test_conflict_handler.ml @@ -26,7 +26,7 @@ (** Testing ------- Component: Plugin.Mempool - Invocation: dune exec src/proto_alpha/lib_plugin/test/test_conflict_handler.exe + Invocation: dune exec src/proto_alpha/lib_plugin/test/main.exe Subject: Unit tests the Mempool.conflict_handler fonction of the plugin *) diff --git a/src/proto_alpha/lib_plugin/test/test_filter_state.ml b/src/proto_alpha/lib_plugin/test/test_filter_state.ml index 349fd705bc4d..8b5fb8a2081b 100644 --- a/src/proto_alpha/lib_plugin/test/test_filter_state.ml +++ b/src/proto_alpha/lib_plugin/test/test_filter_state.ml @@ -26,7 +26,7 @@ (** Testing ------- Component: Shell (Plugin) - Invocation: dune exec src/proto_alpha/lib_plugin/test/test_filter_state.exe + Invocation: dune exec src/proto_alpha/lib_plugin/test/main.exe Subject: Unit tests the filter state functions of the plugin *) diff --git a/src/proto_alpha/lib_plugin/test/test_plugin.ml b/src/proto_alpha/lib_plugin/test/test_plugin.ml index bc0bc375a457..c03b45c4b8c4 100644 --- a/src/proto_alpha/lib_plugin/test/test_plugin.ml +++ b/src/proto_alpha/lib_plugin/test/test_plugin.ml @@ -26,7 +26,7 @@ (** Testing ------- Component: Shell (Plugin) - Invocation: dune exec src/proto_alpha/lib_plugin/test/test_plugin.exe + Invocation: dune exec src/proto_alpha/lib_plugin/test/main.exe Subject: Unit tests the plugin *) -- GitLab From dd1a740fc5ad2f89844a0c46b3390dccd6266aa2 Mon Sep 17 00:00:00 2001 From: lykimq Date: Mon, 20 Mar 2023 15:08:33 +0100 Subject: [PATCH 3/3] Alcotezt-UX: fix invocation headers in [proto_/lib_protocol/test/pbt] --- .../lib_protocol/test/pbt/liquidity_baking_pbt.ml | 3 +-- .../lib_protocol/test/pbt/saturation_fuzzing.ml | 3 +-- src/proto_015_PtLimaPt/lib_protocol/test/pbt/test_bitset.ml | 2 +- .../lib_protocol/test/pbt/test_carbonated_map.ml | 3 +-- .../lib_protocol/test/pbt/test_compare_operations.ml | 3 +-- .../lib_protocol/test/pbt/test_gas_properties.ml | 3 +-- .../lib_protocol/test/pbt/test_merkle_list.ml | 3 +-- src/proto_015_PtLimaPt/lib_protocol/test/pbt/test_sampler.ml | 3 +-- .../lib_protocol/test/pbt/test_script_comparison.ml | 3 +-- src/proto_015_PtLimaPt/lib_protocol/test/pbt/test_tez_repr.ml | 3 +-- .../lib_protocol/test/pbt/test_tx_rollup_l2_encoding.ml | 3 +-- .../lib_protocol/test/pbt/test_zk_rollup_encoding.ml | 3 +-- .../lib_protocol/test/pbt/liquidity_baking_pbt.ml | 3 +-- .../lib_protocol/test/pbt/saturation_fuzzing.ml | 3 +-- src/proto_016_PtMumbai/lib_protocol/test/pbt/test_bitset.ml | 2 +- .../lib_protocol/test/pbt/test_bytes_conversion.ml | 3 +-- .../lib_protocol/test/pbt/test_carbonated_map.ml | 3 +-- .../lib_protocol/test/pbt/test_compare_operations.ml | 3 +-- .../lib_protocol/test/pbt/test_dal_slot_proof.ml | 3 +-- .../lib_protocol/test/pbt/test_gas_properties.ml | 3 +-- .../lib_protocol/test/pbt/test_merkle_list.ml | 3 +-- .../lib_protocol/test/pbt/test_operation_encoding.ml | 3 +-- .../lib_protocol/test/pbt/test_refutation_game.ml | 3 +-- src/proto_016_PtMumbai/lib_protocol/test/pbt/test_sampler.ml | 3 +-- .../lib_protocol/test/pbt/test_sc_rollup_encoding.ml | 3 +-- .../lib_protocol/test/pbt/test_sc_rollup_tick_repr.ml | 3 +-- .../lib_protocol/test/pbt/test_script_comparison.ml | 3 +-- src/proto_016_PtMumbai/lib_protocol/test/pbt/test_tez_repr.ml | 3 +-- .../lib_protocol/test/pbt/test_tx_rollup_l2_encoding.ml | 3 +-- .../lib_protocol/test/pbt/test_zk_rollup_encoding.ml | 3 +-- src/proto_alpha/lib_protocol/test/pbt/liquidity_baking_pbt.ml | 3 +-- src/proto_alpha/lib_protocol/test/pbt/saturation_fuzzing.ml | 3 +-- src/proto_alpha/lib_protocol/test/pbt/test_bitset.ml | 2 +- src/proto_alpha/lib_protocol/test/pbt/test_bytes_conversion.ml | 3 +-- src/proto_alpha/lib_protocol/test/pbt/test_carbonated_map.ml | 3 +-- .../lib_protocol/test/pbt/test_compare_operations.ml | 3 +-- src/proto_alpha/lib_protocol/test/pbt/test_dal_slot_proof.ml | 3 +-- src/proto_alpha/lib_protocol/test/pbt/test_gas_properties.ml | 3 +-- src/proto_alpha/lib_protocol/test/pbt/test_merkle_list.ml | 3 +-- .../lib_protocol/test/pbt/test_operation_encoding.ml | 3 +-- src/proto_alpha/lib_protocol/test/pbt/test_refutation_game.ml | 3 +-- src/proto_alpha/lib_protocol/test/pbt/test_sampler.ml | 3 +-- .../lib_protocol/test/pbt/test_sc_rollup_encoding.ml | 3 +-- src/proto_alpha/lib_protocol/test/pbt/test_sc_rollup_inbox.ml | 3 +-- .../lib_protocol/test/pbt/test_sc_rollup_tick_repr.ml | 3 +-- .../lib_protocol/test/pbt/test_script_comparison.ml | 3 +-- src/proto_alpha/lib_protocol/test/pbt/test_tez_repr.ml | 3 +-- .../lib_protocol/test/pbt/test_zk_rollup_encoding.ml | 3 +-- 48 files changed, 48 insertions(+), 93 deletions(-) diff --git a/src/proto_015_PtLimaPt/lib_protocol/test/pbt/liquidity_baking_pbt.ml b/src/proto_015_PtLimaPt/lib_protocol/test/pbt/liquidity_baking_pbt.ml index 646e889ff8d6..5afc152ecfc1 100644 --- a/src/proto_015_PtLimaPt/lib_protocol/test/pbt/liquidity_baking_pbt.ml +++ b/src/proto_015_PtLimaPt/lib_protocol/test/pbt/liquidity_baking_pbt.ml @@ -26,8 +26,7 @@ (** Testing ------- Component: pbt for liquidity baking - Invocation: [QCHECK_SEED=] dune exec \ - src/proto_alpha/lib_protocol/test/pbt/liquidity_baking_pbt.exe + Invocation: dune exec src/proto_015_PtLimaPt/lib_protocol/test/pbt/main.exe Subject: Test liquidity baking contracts using randomly generated inputs. *) diff --git a/src/proto_015_PtLimaPt/lib_protocol/test/pbt/saturation_fuzzing.ml b/src/proto_015_PtLimaPt/lib_protocol/test/pbt/saturation_fuzzing.ml index 2f2134a4275d..a901a53eff0e 100644 --- a/src/proto_015_PtLimaPt/lib_protocol/test/pbt/saturation_fuzzing.ml +++ b/src/proto_015_PtLimaPt/lib_protocol/test/pbt/saturation_fuzzing.ml @@ -26,8 +26,7 @@ (** Testing ------- Component: Protocol Library - Invocation: dune exec \ - src/proto_alpha/lib_protocol/test/pbt/saturation_fuzzing.exe + Invocation: dune exec src/proto_015_PtLimaPt/lib_protocol/test/pbt/main.exe Subject: Operations in Saturation_repr *) diff --git a/src/proto_015_PtLimaPt/lib_protocol/test/pbt/test_bitset.ml b/src/proto_015_PtLimaPt/lib_protocol/test/pbt/test_bitset.ml index 1f2d19722c3b..590d6d7ea05c 100644 --- a/src/proto_015_PtLimaPt/lib_protocol/test/pbt/test_bitset.ml +++ b/src/proto_015_PtLimaPt/lib_protocol/test/pbt/test_bitset.ml @@ -26,7 +26,7 @@ (** Testing ------- Component: Protocol Library - Invocation: dune exec src/proto_alpha/lib_protocol/test/pbt/test_bitset.exe + Invocation: dune exec src/proto_015_PtLimaPt/lib_protocol/test/pbt/main.exe Subject: Bitset structure *) diff --git a/src/proto_015_PtLimaPt/lib_protocol/test/pbt/test_carbonated_map.ml b/src/proto_015_PtLimaPt/lib_protocol/test/pbt/test_carbonated_map.ml index bc574fd09beb..82ab7042ff1d 100644 --- a/src/proto_015_PtLimaPt/lib_protocol/test/pbt/test_carbonated_map.ml +++ b/src/proto_015_PtLimaPt/lib_protocol/test/pbt/test_carbonated_map.ml @@ -26,8 +26,7 @@ (** Testing ------- Component: Protocol Library - Invocation: dune exec \ - src/proto_alpha/lib_protocol/test/pbt/test_carbonated_map.exe + Invocation: dune exec src/proto_015_PtLimaPt/lib_protocol/test/pbt/main.exe Subject: Operations in Carbonated_map *) diff --git a/src/proto_015_PtLimaPt/lib_protocol/test/pbt/test_compare_operations.ml b/src/proto_015_PtLimaPt/lib_protocol/test/pbt/test_compare_operations.ml index 24d56e0bef8e..635605cb4eb8 100644 --- a/src/proto_015_PtLimaPt/lib_protocol/test/pbt/test_compare_operations.ml +++ b/src/proto_015_PtLimaPt/lib_protocol/test/pbt/test_compare_operations.ml @@ -26,8 +26,7 @@ (** Testing ------- Component: Protocol (Operation compare) - Invocation: dune exec \ - src/proto_015_PtLimaPt/lib_protocol/test/pbt/test_compare_operations.exe + Invocation: dune exec src/proto_015_PtLimaPt/lib_protocol/test/pbt/main.exe Subject: Valid operations Comparison *) diff --git a/src/proto_015_PtLimaPt/lib_protocol/test/pbt/test_gas_properties.ml b/src/proto_015_PtLimaPt/lib_protocol/test/pbt/test_gas_properties.ml index c497775eb124..99561642ceb8 100644 --- a/src/proto_015_PtLimaPt/lib_protocol/test/pbt/test_gas_properties.ml +++ b/src/proto_015_PtLimaPt/lib_protocol/test/pbt/test_gas_properties.ml @@ -26,8 +26,7 @@ (** Testing ------- Component: Protocol (gas properties) - Invocation: dune exec \ - src/proto_alpha/lib_protocol/test/pbt/test_gas_properties.exe + Invocation: dune exec src/proto_015_PtLimaPt/lib_protocol/test/pbt/main.exe Subject: Arithmetic properties around gas. *) diff --git a/src/proto_015_PtLimaPt/lib_protocol/test/pbt/test_merkle_list.ml b/src/proto_015_PtLimaPt/lib_protocol/test/pbt/test_merkle_list.ml index 9353869ca6c5..6136cbfba8e3 100644 --- a/src/proto_015_PtLimaPt/lib_protocol/test/pbt/test_merkle_list.ml +++ b/src/proto_015_PtLimaPt/lib_protocol/test/pbt/test_merkle_list.ml @@ -26,8 +26,7 @@ (** Testing ------- Component: Protocol Library - Invocation: dune exec \ - src/proto_alpha/lib_protocol/test/pbt/test_merkle_list.exe + Invocation: dune exec src/proto_015_PtLimaPt/lib_protocol/test/pbt/main.exe Subject: Tx rollup l2 encoding *) diff --git a/src/proto_015_PtLimaPt/lib_protocol/test/pbt/test_sampler.ml b/src/proto_015_PtLimaPt/lib_protocol/test/pbt/test_sampler.ml index e357c3813ecc..4fce99950613 100644 --- a/src/proto_015_PtLimaPt/lib_protocol/test/pbt/test_sampler.ml +++ b/src/proto_015_PtLimaPt/lib_protocol/test/pbt/test_sampler.ml @@ -26,8 +26,7 @@ (** Testing ------- Component: Protocol Library - Invocation: dune exec \ - src/proto_alpha/lib_protocol/test/pbt/test_sampler.exe + Invocation: dune exec src/proto_015_PtLimaPt/lib_protocol/test/pbt/main.exe Subject: Operations in Saturation_repr *) diff --git a/src/proto_015_PtLimaPt/lib_protocol/test/pbt/test_script_comparison.ml b/src/proto_015_PtLimaPt/lib_protocol/test/pbt/test_script_comparison.ml index 8db6c86d2d7c..7d7dc8473c37 100644 --- a/src/proto_015_PtLimaPt/lib_protocol/test/pbt/test_script_comparison.ml +++ b/src/proto_015_PtLimaPt/lib_protocol/test/pbt/test_script_comparison.ml @@ -26,8 +26,7 @@ (** Testing ------- Component: Script_comparison - Invocation: dune exec \ - src/proto_alpha/lib_protocol/test/pbt/test_script_comparison.exe + Invocation: dune exec src/proto_015_PtLimaPt/lib_protocol/test/pbt/main.exe Subject: PBT of the Script_comparable.compare_comparable function. *) diff --git a/src/proto_015_PtLimaPt/lib_protocol/test/pbt/test_tez_repr.ml b/src/proto_015_PtLimaPt/lib_protocol/test/pbt/test_tez_repr.ml index ad53d602b69f..bcbb0ef01429 100644 --- a/src/proto_015_PtLimaPt/lib_protocol/test/pbt/test_tez_repr.ml +++ b/src/proto_015_PtLimaPt/lib_protocol/test/pbt/test_tez_repr.ml @@ -26,8 +26,7 @@ (** Testing ------- Component: Protocol Library - Invocation: dune exec \ - src/proto_alpha/lib_protocol/test/pbt/test_tez_repr.exe + Invocation: dune exec src/proto_015_PtLimaPt/lib_protocol/test/pbt/main.exe Subject: Operations in Tez_repr *) diff --git a/src/proto_015_PtLimaPt/lib_protocol/test/pbt/test_tx_rollup_l2_encoding.ml b/src/proto_015_PtLimaPt/lib_protocol/test/pbt/test_tx_rollup_l2_encoding.ml index 44b8bd1b435e..92b86159ed46 100644 --- a/src/proto_015_PtLimaPt/lib_protocol/test/pbt/test_tx_rollup_l2_encoding.ml +++ b/src/proto_015_PtLimaPt/lib_protocol/test/pbt/test_tx_rollup_l2_encoding.ml @@ -26,8 +26,7 @@ (** Testing ------- Component: Protocol Library - Invocation: dune exec \ - src/proto_alpha/lib_protocol/test/pbt/test_tx_rollup_l2_encoding.exe + Invocation: dune exec src/proto_015_PtLimaPt/lib_protocol/test/pbt/main.exe Subject: Tx rollup l2 encoding *) diff --git a/src/proto_015_PtLimaPt/lib_protocol/test/pbt/test_zk_rollup_encoding.ml b/src/proto_015_PtLimaPt/lib_protocol/test/pbt/test_zk_rollup_encoding.ml index 243e46d064c0..143fe7479fd6 100644 --- a/src/proto_015_PtLimaPt/lib_protocol/test/pbt/test_zk_rollup_encoding.ml +++ b/src/proto_015_PtLimaPt/lib_protocol/test/pbt/test_zk_rollup_encoding.ml @@ -26,8 +26,7 @@ (** Testing ------- Component: Protocol Library - Invocation: dune exec \ - src/proto_alpha/lib_protocol/test/pbt/test_zk_rollup_encoding.exe + Invocation: dune exec src/proto_015_PtLimaPt/lib_protocol/test/pbt/main.exe Subject: Zk rollup encodings *) diff --git a/src/proto_016_PtMumbai/lib_protocol/test/pbt/liquidity_baking_pbt.ml b/src/proto_016_PtMumbai/lib_protocol/test/pbt/liquidity_baking_pbt.ml index a2ec51c16553..71aa3f12ae21 100644 --- a/src/proto_016_PtMumbai/lib_protocol/test/pbt/liquidity_baking_pbt.ml +++ b/src/proto_016_PtMumbai/lib_protocol/test/pbt/liquidity_baking_pbt.ml @@ -26,8 +26,7 @@ (** Testing ------- Component: pbt for liquidity baking - Invocation: [QCHECK_SEED=] dune exec \ - src/proto_alpha/lib_protocol/test/pbt/liquidity_baking_pbt.exe + Invocation: dune exec src/proto_016_PtMumbai/lib_protocol/test/pbt/main.exe Subject: Test liquidity baking contracts using randomly generated inputs. *) diff --git a/src/proto_016_PtMumbai/lib_protocol/test/pbt/saturation_fuzzing.ml b/src/proto_016_PtMumbai/lib_protocol/test/pbt/saturation_fuzzing.ml index 2f2134a4275d..854ffa5ce51f 100644 --- a/src/proto_016_PtMumbai/lib_protocol/test/pbt/saturation_fuzzing.ml +++ b/src/proto_016_PtMumbai/lib_protocol/test/pbt/saturation_fuzzing.ml @@ -26,8 +26,7 @@ (** Testing ------- Component: Protocol Library - Invocation: dune exec \ - src/proto_alpha/lib_protocol/test/pbt/saturation_fuzzing.exe + Invocation: dune exec src/proto_016_PtMumbai/lib_protocol/test/pbt/main.exe Subject: Operations in Saturation_repr *) diff --git a/src/proto_016_PtMumbai/lib_protocol/test/pbt/test_bitset.ml b/src/proto_016_PtMumbai/lib_protocol/test/pbt/test_bitset.ml index b6d2432808cc..2e234b1412b3 100644 --- a/src/proto_016_PtMumbai/lib_protocol/test/pbt/test_bitset.ml +++ b/src/proto_016_PtMumbai/lib_protocol/test/pbt/test_bitset.ml @@ -26,7 +26,7 @@ (** Testing ------- Component: Protocol Library - Invocation: dune exec src/proto_alpha/lib_protocol/test/pbt/test_bitset.exe + Invocation: dune exec src/proto_016_PtMumbai/lib_protocol/test/pbt/main.exe Subject: Bitset structure *) diff --git a/src/proto_016_PtMumbai/lib_protocol/test/pbt/test_bytes_conversion.ml b/src/proto_016_PtMumbai/lib_protocol/test/pbt/test_bytes_conversion.ml index c3ba296fd119..a448729c9f4c 100644 --- a/src/proto_016_PtMumbai/lib_protocol/test/pbt/test_bytes_conversion.ml +++ b/src/proto_016_PtMumbai/lib_protocol/test/pbt/test_bytes_conversion.ml @@ -26,8 +26,7 @@ (** Testing ------- Component: pbt for bytes <=> nat/int conversions - Invocation: [QCHECK_SEED=] dune exec \ - src/proto_alpha/lib_protocol/test/pbt/test_bytes_conversion.exe + Invocation: dune exec src/proto_016_PtMumbai/lib_protocol/test/pbt/main.exe Subject: Test the conversions between bytes and int/nat *) diff --git a/src/proto_016_PtMumbai/lib_protocol/test/pbt/test_carbonated_map.ml b/src/proto_016_PtMumbai/lib_protocol/test/pbt/test_carbonated_map.ml index 158b1279ecff..1aad63963d97 100644 --- a/src/proto_016_PtMumbai/lib_protocol/test/pbt/test_carbonated_map.ml +++ b/src/proto_016_PtMumbai/lib_protocol/test/pbt/test_carbonated_map.ml @@ -26,8 +26,7 @@ (** Testing ------- Component: Protocol Library - Invocation: dune exec \ - src/proto_alpha/lib_protocol/test/pbt/test_carbonated_map.exe + Invocation: dune exec src/proto_016_PtMumbai/lib_protocol/test/pbt/main.exe Subject: Operations in Carbonated_map *) diff --git a/src/proto_016_PtMumbai/lib_protocol/test/pbt/test_compare_operations.ml b/src/proto_016_PtMumbai/lib_protocol/test/pbt/test_compare_operations.ml index a1beeb078c8c..48c172fae59f 100644 --- a/src/proto_016_PtMumbai/lib_protocol/test/pbt/test_compare_operations.ml +++ b/src/proto_016_PtMumbai/lib_protocol/test/pbt/test_compare_operations.ml @@ -26,8 +26,7 @@ (** Testing ------- Component: Protocol (Operation compare) - Invocation: dune exec \ - src/proto_alpha/lib_protocol/test/pbt/test_compare_operations.exe + Invocation: dune exec src/proto_016_PtMumbai/lib_protocol/test/pbt/main.exe Subject: Valid operations Comparison *) diff --git a/src/proto_016_PtMumbai/lib_protocol/test/pbt/test_dal_slot_proof.ml b/src/proto_016_PtMumbai/lib_protocol/test/pbt/test_dal_slot_proof.ml index e18c6609f680..e6f95f7e5bed 100644 --- a/src/proto_016_PtMumbai/lib_protocol/test/pbt/test_dal_slot_proof.ml +++ b/src/proto_016_PtMumbai/lib_protocol/test/pbt/test_dal_slot_proof.ml @@ -26,8 +26,7 @@ (** Testing ------- Component: PBT for refutation proofs of Dal - Invocation: dune exec \ - src/proto_alpha/lib_protocol/test/pbt/test_dal_slot_proof.exe + Invocation: dune exec src/proto_016_PtMumbai/lib_protocol/test/pbt/main.exe Subject: Refutation proof-related functions of Dal *) diff --git a/src/proto_016_PtMumbai/lib_protocol/test/pbt/test_gas_properties.ml b/src/proto_016_PtMumbai/lib_protocol/test/pbt/test_gas_properties.ml index c497775eb124..9f75f7917a88 100644 --- a/src/proto_016_PtMumbai/lib_protocol/test/pbt/test_gas_properties.ml +++ b/src/proto_016_PtMumbai/lib_protocol/test/pbt/test_gas_properties.ml @@ -26,8 +26,7 @@ (** Testing ------- Component: Protocol (gas properties) - Invocation: dune exec \ - src/proto_alpha/lib_protocol/test/pbt/test_gas_properties.exe + Invocation: dune exec src/proto_016_PtMumbai/lib_protocol/test/pbt/main.exe Subject: Arithmetic properties around gas. *) diff --git a/src/proto_016_PtMumbai/lib_protocol/test/pbt/test_merkle_list.ml b/src/proto_016_PtMumbai/lib_protocol/test/pbt/test_merkle_list.ml index 9353869ca6c5..d657893bbedc 100644 --- a/src/proto_016_PtMumbai/lib_protocol/test/pbt/test_merkle_list.ml +++ b/src/proto_016_PtMumbai/lib_protocol/test/pbt/test_merkle_list.ml @@ -26,8 +26,7 @@ (** Testing ------- Component: Protocol Library - Invocation: dune exec \ - src/proto_alpha/lib_protocol/test/pbt/test_merkle_list.exe + Invocation: dune exec src/proto_016_PtMumbai/lib_protocol/test/pbt/main.exe Subject: Tx rollup l2 encoding *) diff --git a/src/proto_016_PtMumbai/lib_protocol/test/pbt/test_operation_encoding.ml b/src/proto_016_PtMumbai/lib_protocol/test/pbt/test_operation_encoding.ml index dfb486405418..8eca36dca43e 100644 --- a/src/proto_016_PtMumbai/lib_protocol/test/pbt/test_operation_encoding.ml +++ b/src/proto_016_PtMumbai/lib_protocol/test/pbt/test_operation_encoding.ml @@ -26,8 +26,7 @@ (** Testing ------- Component: Protocol Library - Invocation: dune exec \ - src/proto_alpha/lib_protocol/test/pbt/test_operation_encoding.exe + Invocation: dune exec src/proto_016_PtMumbai/lib_protocol/test/pbt/main.exe Subject: Encoding for operations *) diff --git a/src/proto_016_PtMumbai/lib_protocol/test/pbt/test_refutation_game.ml b/src/proto_016_PtMumbai/lib_protocol/test/pbt/test_refutation_game.ml index 49a75834598f..e66d71f4b6aa 100644 --- a/src/proto_016_PtMumbai/lib_protocol/test/pbt/test_refutation_game.ml +++ b/src/proto_016_PtMumbai/lib_protocol/test/pbt/test_refutation_game.ml @@ -27,8 +27,7 @@ (** Testing ------- Component: PBT for the SCORU refutation game - Invocation: dune exec \ - src/proto_alpha/lib_protocol/test/pbt/test_refutation_game.exe + Invocation: dune exec src/proto_016_PtMumbai/lib_protocol/test/pbt/main.exe Subject: SCORU refutation game *) open Protocol diff --git a/src/proto_016_PtMumbai/lib_protocol/test/pbt/test_sampler.ml b/src/proto_016_PtMumbai/lib_protocol/test/pbt/test_sampler.ml index e357c3813ecc..57fffffb4f1d 100644 --- a/src/proto_016_PtMumbai/lib_protocol/test/pbt/test_sampler.ml +++ b/src/proto_016_PtMumbai/lib_protocol/test/pbt/test_sampler.ml @@ -26,8 +26,7 @@ (** Testing ------- Component: Protocol Library - Invocation: dune exec \ - src/proto_alpha/lib_protocol/test/pbt/test_sampler.exe + Invocation: dune exec src/proto_016_PtMumbai/lib_protocol/test/pbt/main.exe Subject: Operations in Saturation_repr *) diff --git a/src/proto_016_PtMumbai/lib_protocol/test/pbt/test_sc_rollup_encoding.ml b/src/proto_016_PtMumbai/lib_protocol/test/pbt/test_sc_rollup_encoding.ml index 8b11d8710049..f7fd5db2633f 100644 --- a/src/proto_016_PtMumbai/lib_protocol/test/pbt/test_sc_rollup_encoding.ml +++ b/src/proto_016_PtMumbai/lib_protocol/test/pbt/test_sc_rollup_encoding.ml @@ -26,8 +26,7 @@ (** Testing ------- Component: Protocol Library - Invocation: dune exec \ - src/proto_alpha/lib_protocol/test/pbt/test_sc_rollup_encoding.exe + Invocation: dune exec src/proto_016_PtMumbai/lib_protocol/test/pbt/main.exe Subject: SC rollup encoding *) diff --git a/src/proto_016_PtMumbai/lib_protocol/test/pbt/test_sc_rollup_tick_repr.ml b/src/proto_016_PtMumbai/lib_protocol/test/pbt/test_sc_rollup_tick_repr.ml index 417962de0f38..baeccd3af9e3 100644 --- a/src/proto_016_PtMumbai/lib_protocol/test/pbt/test_sc_rollup_tick_repr.ml +++ b/src/proto_016_PtMumbai/lib_protocol/test/pbt/test_sc_rollup_tick_repr.ml @@ -26,8 +26,7 @@ (** Testing ------- Component: Protocol Library - Invocation: dune exec \ - src/proto_alpha/lib_protocol/test/pbt/test_sc_rollup_tick_repr.exe + Invocation: dune exec src/proto_016_PtMumbai/lib_protocol/test/pbt/main.exe Subject: Operations in Tick_repr *) diff --git a/src/proto_016_PtMumbai/lib_protocol/test/pbt/test_script_comparison.ml b/src/proto_016_PtMumbai/lib_protocol/test/pbt/test_script_comparison.ml index a50e46eaec82..eada263aa54d 100644 --- a/src/proto_016_PtMumbai/lib_protocol/test/pbt/test_script_comparison.ml +++ b/src/proto_016_PtMumbai/lib_protocol/test/pbt/test_script_comparison.ml @@ -26,8 +26,7 @@ (** Testing ------- Component: Script_comparison - Invocation: dune exec \ - src/proto_alpha/lib_protocol/test/pbt/test_script_comparison.exe + Invocation: dune exec src/proto_016_PtMumbai/lib_protocol/test/pbt/main.exe Subject: PBT of the Script_comparable.compare_comparable function. *) diff --git a/src/proto_016_PtMumbai/lib_protocol/test/pbt/test_tez_repr.ml b/src/proto_016_PtMumbai/lib_protocol/test/pbt/test_tez_repr.ml index ad53d602b69f..3e521445d578 100644 --- a/src/proto_016_PtMumbai/lib_protocol/test/pbt/test_tez_repr.ml +++ b/src/proto_016_PtMumbai/lib_protocol/test/pbt/test_tez_repr.ml @@ -26,8 +26,7 @@ (** Testing ------- Component: Protocol Library - Invocation: dune exec \ - src/proto_alpha/lib_protocol/test/pbt/test_tez_repr.exe + Invocation: dune exec src/proto_016_PtMumbai/lib_protocol/test/pbt/main.exe Subject: Operations in Tez_repr *) diff --git a/src/proto_016_PtMumbai/lib_protocol/test/pbt/test_tx_rollup_l2_encoding.ml b/src/proto_016_PtMumbai/lib_protocol/test/pbt/test_tx_rollup_l2_encoding.ml index c48a3bc843ae..fa45b1c36c96 100644 --- a/src/proto_016_PtMumbai/lib_protocol/test/pbt/test_tx_rollup_l2_encoding.ml +++ b/src/proto_016_PtMumbai/lib_protocol/test/pbt/test_tx_rollup_l2_encoding.ml @@ -26,8 +26,7 @@ (** Testing ------- Component: Protocol Library - Invocation: dune exec \ - src/proto_alpha/lib_protocol/test/pbt/test_tx_rollup_l2_encoding.exe + Invocation: dune exec src/proto_016_PtMumbai/lib_protocol/test/pbt/main.exe Subject: Tx rollup l2 encoding *) diff --git a/src/proto_016_PtMumbai/lib_protocol/test/pbt/test_zk_rollup_encoding.ml b/src/proto_016_PtMumbai/lib_protocol/test/pbt/test_zk_rollup_encoding.ml index dd1f404f58bf..83b089fb9a21 100644 --- a/src/proto_016_PtMumbai/lib_protocol/test/pbt/test_zk_rollup_encoding.ml +++ b/src/proto_016_PtMumbai/lib_protocol/test/pbt/test_zk_rollup_encoding.ml @@ -26,8 +26,7 @@ (** Testing ------- Component: Protocol Library - Invocation: dune exec \ - src/proto_alpha/lib_protocol/test/pbt/test_zk_rollup_encoding.exe + Invocation: dune exec src/proto_016_PtMumbai/lib_protocol/test/pbt/main.exe Subject: Zk rollup encodings *) diff --git a/src/proto_alpha/lib_protocol/test/pbt/liquidity_baking_pbt.ml b/src/proto_alpha/lib_protocol/test/pbt/liquidity_baking_pbt.ml index a2ec51c16553..1ba31cdccb06 100644 --- a/src/proto_alpha/lib_protocol/test/pbt/liquidity_baking_pbt.ml +++ b/src/proto_alpha/lib_protocol/test/pbt/liquidity_baking_pbt.ml @@ -26,8 +26,7 @@ (** Testing ------- Component: pbt for liquidity baking - Invocation: [QCHECK_SEED=] dune exec \ - src/proto_alpha/lib_protocol/test/pbt/liquidity_baking_pbt.exe + Invocation: dune exec src/proto_alpha/lib_protocol/test/pbt/main.exe Subject: Test liquidity baking contracts using randomly generated inputs. *) diff --git a/src/proto_alpha/lib_protocol/test/pbt/saturation_fuzzing.ml b/src/proto_alpha/lib_protocol/test/pbt/saturation_fuzzing.ml index 2f2134a4275d..841b059613fa 100644 --- a/src/proto_alpha/lib_protocol/test/pbt/saturation_fuzzing.ml +++ b/src/proto_alpha/lib_protocol/test/pbt/saturation_fuzzing.ml @@ -26,8 +26,7 @@ (** Testing ------- Component: Protocol Library - Invocation: dune exec \ - src/proto_alpha/lib_protocol/test/pbt/saturation_fuzzing.exe + Invocation: dune exec src/proto_alpha/lib_protocol/test/pbt/main.exe Subject: Operations in Saturation_repr *) diff --git a/src/proto_alpha/lib_protocol/test/pbt/test_bitset.ml b/src/proto_alpha/lib_protocol/test/pbt/test_bitset.ml index 9215b9eaf038..bcfe3654830c 100644 --- a/src/proto_alpha/lib_protocol/test/pbt/test_bitset.ml +++ b/src/proto_alpha/lib_protocol/test/pbt/test_bitset.ml @@ -26,7 +26,7 @@ (** Testing ------- Component: Protocol Library - Invocation: dune exec src/proto_alpha/lib_protocol/test/pbt/test_bitset.exe + Invocation: dune exec src/proto_alpha/lib_protocol/test/pbt/main.exe Subject: Bitset structure *) diff --git a/src/proto_alpha/lib_protocol/test/pbt/test_bytes_conversion.ml b/src/proto_alpha/lib_protocol/test/pbt/test_bytes_conversion.ml index c3ba296fd119..5b701648af0f 100644 --- a/src/proto_alpha/lib_protocol/test/pbt/test_bytes_conversion.ml +++ b/src/proto_alpha/lib_protocol/test/pbt/test_bytes_conversion.ml @@ -26,8 +26,7 @@ (** Testing ------- Component: pbt for bytes <=> nat/int conversions - Invocation: [QCHECK_SEED=] dune exec \ - src/proto_alpha/lib_protocol/test/pbt/test_bytes_conversion.exe + Invocation: dune exec src/proto_alpha/lib_protocol/test/pbt/main.exe Subject: Test the conversions between bytes and int/nat *) diff --git a/src/proto_alpha/lib_protocol/test/pbt/test_carbonated_map.ml b/src/proto_alpha/lib_protocol/test/pbt/test_carbonated_map.ml index 376d8803e518..f59a87f8b718 100644 --- a/src/proto_alpha/lib_protocol/test/pbt/test_carbonated_map.ml +++ b/src/proto_alpha/lib_protocol/test/pbt/test_carbonated_map.ml @@ -26,8 +26,7 @@ (** Testing ------- Component: Protocol Library - Invocation: dune exec \ - src/proto_alpha/lib_protocol/test/pbt/test_carbonated_map.exe + Invocation: dune exec src/proto_alpha/lib_protocol/test/pbt/main.exe Subject: Operations in Carbonated_map *) diff --git a/src/proto_alpha/lib_protocol/test/pbt/test_compare_operations.ml b/src/proto_alpha/lib_protocol/test/pbt/test_compare_operations.ml index a1beeb078c8c..5416b6877e1c 100644 --- a/src/proto_alpha/lib_protocol/test/pbt/test_compare_operations.ml +++ b/src/proto_alpha/lib_protocol/test/pbt/test_compare_operations.ml @@ -26,8 +26,7 @@ (** Testing ------- Component: Protocol (Operation compare) - Invocation: dune exec \ - src/proto_alpha/lib_protocol/test/pbt/test_compare_operations.exe + Invocation: dune exec src/proto_alpha/lib_protocol/test/pbt/main.exe Subject: Valid operations Comparison *) diff --git a/src/proto_alpha/lib_protocol/test/pbt/test_dal_slot_proof.ml b/src/proto_alpha/lib_protocol/test/pbt/test_dal_slot_proof.ml index 575d5c0f66e8..4e8f8a12dea0 100644 --- a/src/proto_alpha/lib_protocol/test/pbt/test_dal_slot_proof.ml +++ b/src/proto_alpha/lib_protocol/test/pbt/test_dal_slot_proof.ml @@ -26,8 +26,7 @@ (** Testing ------- Component: PBT for refutation proofs of Dal - Invocation: dune exec \ - src/proto_alpha/lib_protocol/test/pbt/test_dal_slot_proof.exe + Invocation: dune exec src/proto_alpha/lib_protocol/test/pbt/main.exe Subject: Refutation proof-related functions of Dal *) diff --git a/src/proto_alpha/lib_protocol/test/pbt/test_gas_properties.ml b/src/proto_alpha/lib_protocol/test/pbt/test_gas_properties.ml index c497775eb124..55876dd6306d 100644 --- a/src/proto_alpha/lib_protocol/test/pbt/test_gas_properties.ml +++ b/src/proto_alpha/lib_protocol/test/pbt/test_gas_properties.ml @@ -26,8 +26,7 @@ (** Testing ------- Component: Protocol (gas properties) - Invocation: dune exec \ - src/proto_alpha/lib_protocol/test/pbt/test_gas_properties.exe + Invocation: dune exec src/proto_alpha/lib_protocol/test/pbt/main.exe Subject: Arithmetic properties around gas. *) diff --git a/src/proto_alpha/lib_protocol/test/pbt/test_merkle_list.ml b/src/proto_alpha/lib_protocol/test/pbt/test_merkle_list.ml index 9353869ca6c5..15cf92042be2 100644 --- a/src/proto_alpha/lib_protocol/test/pbt/test_merkle_list.ml +++ b/src/proto_alpha/lib_protocol/test/pbt/test_merkle_list.ml @@ -26,8 +26,7 @@ (** Testing ------- Component: Protocol Library - Invocation: dune exec \ - src/proto_alpha/lib_protocol/test/pbt/test_merkle_list.exe + Invocation: dune exec src/proto_alpha/lib_protocol/test/pbt/main.exe Subject: Tx rollup l2 encoding *) diff --git a/src/proto_alpha/lib_protocol/test/pbt/test_operation_encoding.ml b/src/proto_alpha/lib_protocol/test/pbt/test_operation_encoding.ml index dfb486405418..d6f7574944d4 100644 --- a/src/proto_alpha/lib_protocol/test/pbt/test_operation_encoding.ml +++ b/src/proto_alpha/lib_protocol/test/pbt/test_operation_encoding.ml @@ -26,8 +26,7 @@ (** Testing ------- Component: Protocol Library - Invocation: dune exec \ - src/proto_alpha/lib_protocol/test/pbt/test_operation_encoding.exe + Invocation: dune exec src/proto_alpha/lib_protocol/test/pbt/main.exe Subject: Encoding for operations *) diff --git a/src/proto_alpha/lib_protocol/test/pbt/test_refutation_game.ml b/src/proto_alpha/lib_protocol/test/pbt/test_refutation_game.ml index e7928e4443f5..b0c89afb746e 100644 --- a/src/proto_alpha/lib_protocol/test/pbt/test_refutation_game.ml +++ b/src/proto_alpha/lib_protocol/test/pbt/test_refutation_game.ml @@ -27,8 +27,7 @@ (** Testing ------- Component: PBT for the SCORU refutation game - Invocation: dune exec \ - src/proto_alpha/lib_protocol/test/pbt/test_refutation_game.exe + Invocation: dune exec src/proto_alpha/lib_protocol/test/pbt/main.exe Subject: SCORU refutation game *) open Protocol diff --git a/src/proto_alpha/lib_protocol/test/pbt/test_sampler.ml b/src/proto_alpha/lib_protocol/test/pbt/test_sampler.ml index e357c3813ecc..3deb2f499fb1 100644 --- a/src/proto_alpha/lib_protocol/test/pbt/test_sampler.ml +++ b/src/proto_alpha/lib_protocol/test/pbt/test_sampler.ml @@ -26,8 +26,7 @@ (** Testing ------- Component: Protocol Library - Invocation: dune exec \ - src/proto_alpha/lib_protocol/test/pbt/test_sampler.exe + Invocation: dune exec src/proto_alpha/lib_protocol/test/pbt/main.exe Subject: Operations in Saturation_repr *) diff --git a/src/proto_alpha/lib_protocol/test/pbt/test_sc_rollup_encoding.ml b/src/proto_alpha/lib_protocol/test/pbt/test_sc_rollup_encoding.ml index b324e4641f23..25ce4d41ae51 100644 --- a/src/proto_alpha/lib_protocol/test/pbt/test_sc_rollup_encoding.ml +++ b/src/proto_alpha/lib_protocol/test/pbt/test_sc_rollup_encoding.ml @@ -26,8 +26,7 @@ (** Testing ------- Component: Protocol Library - Invocation: dune exec src/proto_alpha/lib_protocol/test/pbt/main.exe \ - -- -f 'SC rollup encoding' + Invocation: dune exec src/proto_alpha/lib_protocol/test/pbt/main.exe Subject: SC rollup encoding *) diff --git a/src/proto_alpha/lib_protocol/test/pbt/test_sc_rollup_inbox.ml b/src/proto_alpha/lib_protocol/test/pbt/test_sc_rollup_inbox.ml index b0b7d811a548..28da5d7adf9b 100644 --- a/src/proto_alpha/lib_protocol/test/pbt/test_sc_rollup_inbox.ml +++ b/src/proto_alpha/lib_protocol/test/pbt/test_sc_rollup_inbox.ml @@ -26,8 +26,7 @@ (** Testing ------- Component: Protocol Library - Invocation: dune exec src/proto_alpha/lib_protocol/test/pbt/main.exe \ - -- -f 'Smart rollup inbox' + Invocation: dune exec src/proto_alpha/lib_protocol/test/pbt/main.exe Subject: Smart rollup inbox *) diff --git a/src/proto_alpha/lib_protocol/test/pbt/test_sc_rollup_tick_repr.ml b/src/proto_alpha/lib_protocol/test/pbt/test_sc_rollup_tick_repr.ml index 417962de0f38..4ae79439d16f 100644 --- a/src/proto_alpha/lib_protocol/test/pbt/test_sc_rollup_tick_repr.ml +++ b/src/proto_alpha/lib_protocol/test/pbt/test_sc_rollup_tick_repr.ml @@ -26,8 +26,7 @@ (** Testing ------- Component: Protocol Library - Invocation: dune exec \ - src/proto_alpha/lib_protocol/test/pbt/test_sc_rollup_tick_repr.exe + Invocation: dune exec src/proto_alpha/lib_protocol/test/pbt/main.exe Subject: Operations in Tick_repr *) diff --git a/src/proto_alpha/lib_protocol/test/pbt/test_script_comparison.ml b/src/proto_alpha/lib_protocol/test/pbt/test_script_comparison.ml index a786095190f9..f30684e7591f 100644 --- a/src/proto_alpha/lib_protocol/test/pbt/test_script_comparison.ml +++ b/src/proto_alpha/lib_protocol/test/pbt/test_script_comparison.ml @@ -26,8 +26,7 @@ (** Testing ------- Component: Script_comparison - Invocation: dune exec \ - src/proto_alpha/lib_protocol/test/pbt/test_script_comparison.exe + Invocation: dune exec src/proto_alpha/lib_protocol/test/pbt/main.exe Subject: PBT of the Script_comparable.compare_comparable function. *) diff --git a/src/proto_alpha/lib_protocol/test/pbt/test_tez_repr.ml b/src/proto_alpha/lib_protocol/test/pbt/test_tez_repr.ml index ad53d602b69f..1b4c1f6b3fd6 100644 --- a/src/proto_alpha/lib_protocol/test/pbt/test_tez_repr.ml +++ b/src/proto_alpha/lib_protocol/test/pbt/test_tez_repr.ml @@ -26,8 +26,7 @@ (** Testing ------- Component: Protocol Library - Invocation: dune exec \ - src/proto_alpha/lib_protocol/test/pbt/test_tez_repr.exe + Invocation: dune exec src/proto_alpha/lib_protocol/test/pbt/main.exe Subject: Operations in Tez_repr *) diff --git a/src/proto_alpha/lib_protocol/test/pbt/test_zk_rollup_encoding.ml b/src/proto_alpha/lib_protocol/test/pbt/test_zk_rollup_encoding.ml index c60ab6f0bbc7..43c128678890 100644 --- a/src/proto_alpha/lib_protocol/test/pbt/test_zk_rollup_encoding.ml +++ b/src/proto_alpha/lib_protocol/test/pbt/test_zk_rollup_encoding.ml @@ -26,8 +26,7 @@ (** Testing ------- Component: Protocol Library - Invocation: dune exec \ - src/proto_alpha/lib_protocol/test/pbt/test_zk_rollup_encoding.exe + Invocation: dune exec src/proto_alpha/lib_protocol/test/pbt/main.exe Subject: Zk rollup encodings *) -- GitLab