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 2fac87079123f489385707578fe10dcc8841f4b5..48ed318d521075c7c75208c7ca1845405a5b5d19 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 3548667055b5432b2d88ac997604f12d9961229f..f3a291a99cd62d2ed5cf1b887efd1df431464ddb 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 6f08d8a33f942e5c6a762e38c0b9283446cc59b8..6692a6f3148d695497fbaf8ad59a57b18c580cac 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 f2fdc8bf0ae979af68b63f7750ec61a38ec534d9..186ca088ea2d495eea7d25be0a1c16564e679b85 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_015_PtLimaPt/lib_plugin/test/test_conflict_handler.ml b/src/proto_015_PtLimaPt/lib_plugin/test/test_conflict_handler.ml index 26e07c0a5abba5389ed5004243c0c971fb8a543d..4817bd797ad8dda8db9fb964e2bb62458ba59681 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 349fd705bc4d3a586cfae9ac5b2c1f24f608dd51..0866d83aaf95d9a1e218cacad48bd1ec6c5a2e16 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 bc0bc375a457ff0339827c070abac896ce1b40c1..487e1aa21199c07c139ecd21d0955073849750aa 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_015_PtLimaPt/lib_protocol/test/pbt/liquidity_baking_pbt.ml b/src/proto_015_PtLimaPt/lib_protocol/test/pbt/liquidity_baking_pbt.ml index 646e889ff8d69f9a596060c31fb98db5a7aebd0f..5afc152ecfc1bd5f52591a4907bddcd7d8be877b 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 2f2134a4275d3f6fa1cc51f96a313b8286274d8a..a901a53eff0ea08c31950210f6f25252b600b20a 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 1f2d19722c3bfa698cf11135a83b24fd22c5ee35..590d6d7ea05ce607f169d1199a42e0c44a7dca1d 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 bc574fd09bebb9d7d6bffa17dcbf3ba255da6e62..82ab7042ff1d416accfa1130d4e1927b0acd3af4 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 24d56e0bef8e4066d00173762f5e3ed37851ff86..635605cb4eb86487014f2b5366b11cd73c357398 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 c497775eb124b6a7e5a30dfee706b1aaa370d7b6..99561642ceb82d4ded23176d507d24adb04ee7ee 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 9353869ca6c567a54319e5df59bd77348412229d..6136cbfba8e3c909f86acfe6b2a0df57f435ff68 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 e357c3813ecca9fdeefe54e85d5c74aecf6ebfc5..4fce99950613cd8c765b1c5d0ea74206d9d15a70 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 8db6c86d2d7ce344c29a456cd9c702cd8ab7b097..7d7dc8473c379ec2488c6b4e92b0d6de4664b78f 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 ad53d602b69fa52f992c8571c36bb707b121b0f0..bcbb0ef0142996ef18774c82e5169929b7e8b95f 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 44b8bd1b435ed2dbe4e2f043c9525c32dda64efc..92b86159ed4662b85423478a3db05e97aaa34dae 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 243e46d064c06b2fc4c17085c80067cc60d51698..143fe7479fd6502b637bfd62c006ac63aa10b73f 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_client/test/test_client_proto_context.ml b/src/proto_016_PtMumbai/lib_client/test/test_client_proto_context.ml index 2fac87079123f489385707578fe10dcc8841f4b5..cbc2c6407968e335516e6a04905b33b87c6c1ce5 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 3548667055b5432b2d88ac997604f12d9961229f..adee03288507156357b1065b420bb31370701bed 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 6f08d8a33f942e5c6a762e38c0b9283446cc59b8..e0b31ec73f32cb88437262327a1d8669cdb18b6a 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 f2fdc8bf0ae979af68b63f7750ec61a38ec534d9..08573188bd81d059c4a90cc58a032c81a02e08a2 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_016_PtMumbai/lib_plugin/test/test_conflict_handler.ml b/src/proto_016_PtMumbai/lib_plugin/test/test_conflict_handler.ml index 26e07c0a5abba5389ed5004243c0c971fb8a543d..837ecd11f5c4e31aba7eead9361ebbb49fa462ed 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 349fd705bc4d3a586cfae9ac5b2c1f24f608dd51..1c9671914c7f397a849cffa0a99729703ff93210 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 bc0bc375a457ff0339827c070abac896ce1b40c1..4d2335ee6c6728755ef4d891876916299a9e8d5b 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_016_PtMumbai/lib_protocol/test/pbt/liquidity_baking_pbt.ml b/src/proto_016_PtMumbai/lib_protocol/test/pbt/liquidity_baking_pbt.ml index a2ec51c16553d5408883421dab6ea57347e66a93..71aa3f12ae21ae1282fe26241683ea4ca016c1b8 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 2f2134a4275d3f6fa1cc51f96a313b8286274d8a..854ffa5ce51f850f5d14ba9e62e05b72246ee043 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 b6d2432808cc855d8b6d5cba2d109a9ae6943ae4..2e234b1412b3124b03796e41dc525c1b7d51a4a1 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 c3ba296fd119669f07048351ebe206ac9d284f15..a448729c9f4c4e208fc62b4d200aa7aeef15c530 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 158b1279ecff8a22cf2fdef73a5d46caa604db46..1aad63963d9779caa48fe8e03b3da38d8ef05ca2 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 a1beeb078c8cfe5fd02ab954d1328ec8a7187c22..48c172fae59f1b307370588eb437cf6d5140d6c2 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 e18c6609f680829fbeba937c9ee2c3f96f47a39c..e6f95f7e5bed081c1a7f633005a122495db74147 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 c497775eb124b6a7e5a30dfee706b1aaa370d7b6..9f75f7917a88bd2f2b23fc2574674962a8d4c2c0 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 9353869ca6c567a54319e5df59bd77348412229d..d657893bbedca51f679f228b31724a35db0a00c3 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 dfb4864054185b70db9c0a03640289e4ceac1387..8eca36dca43e5250267b0afe78c6701f209e412f 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 49a75834598fbd8f7b5045345cb437267d3e3045..e66d71f4b6aaf541bc6e79488caf0b6a1fcdda3b 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 e357c3813ecca9fdeefe54e85d5c74aecf6ebfc5..57fffffb4f1d513f1dfbb3c30a74fd773b575119 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 8b11d87100495252dd13219b127d17937af7d80d..f7fd5db2633f6e515302d4f27f8cb8adf5b1bb89 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 417962de0f38585480fac53696636b6d553ad4e4..baeccd3af9e3969d24dd1adfcab76760ab0d6a97 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 a50e46eaec821e27dbdf9d6cd2c0898dfe5dce2c..eada263aa54dbfb2cf8694921224b4d0e3f5385b 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 ad53d602b69fa52f992c8571c36bb707b121b0f0..3e521445d578e14fd162e2d123772292f321e12f 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 c48a3bc843ae7012bb41233b0361894c7861285d..fa45b1c36c9627c237326aaa75bc5aff31976722 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 dd1f404f58bfc4af9464ca85513486de72d9d451..83b089fb9a21b4a32988471b0023f460d307b2d8 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_client/test/test_client_proto_context.ml b/src/proto_alpha/lib_client/test/test_client_proto_context.ml index 2fac87079123f489385707578fe10dcc8841f4b5..b7f03a8258a1862e07c6f070b9908005d823c7fc 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 3548667055b5432b2d88ac997604f12d9961229f..42ddf35781ccb39b6dbe9d0adece050f48cdb06d 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 6f08d8a33f942e5c6a762e38c0b9283446cc59b8..237f0dd1e3010a67431a11a3a162cdb406c76175 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 f2fdc8bf0ae979af68b63f7750ec61a38ec534d9..b45aa5eb952ff405b079d23312d1c7ee7d06f48d 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 *) 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 26e07c0a5abba5389ed5004243c0c971fb8a543d..94b833ff887e0b06f4e017d59a4d2c6483ed3327 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 349fd705bc4d3a586cfae9ac5b2c1f24f608dd51..8b5fb8a2081b3447053e02c56f804a2b4da748a6 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 bc0bc375a457ff0339827c070abac896ce1b40c1..c03b45c4b8c4d2129a02ee88acf92304f6b77a54 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 *) 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 a2ec51c16553d5408883421dab6ea57347e66a93..1ba31cdccb06efa42bfb5cda6cd58fe9eb99eb6f 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 2f2134a4275d3f6fa1cc51f96a313b8286274d8a..841b059613fae76d1c913def18e9acfad5855303 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 9215b9eaf038c7dbae358f89f0d78d10280288d6..bcfe3654830ccb05c6bd6e2f6afc80dc860ff1f7 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 c3ba296fd119669f07048351ebe206ac9d284f15..5b701648af0f1e6c6b63070263d33e6d70ff2245 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 376d8803e51870a8dd47236dc7ee5277ee1ca84a..f59a87f8b718be82e04c61ade4be9e3475e60e5e 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 a1beeb078c8cfe5fd02ab954d1328ec8a7187c22..5416b6877e1cddf43eebbf35c4f9fad94b3e3758 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 575d5c0f66e8c638164d99e9dee41c40245501e0..4e8f8a12dea0f20bbdc9de88fce08be25dd20a37 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 c497775eb124b6a7e5a30dfee706b1aaa370d7b6..55876dd6306d0bc07080fb47345592b894b4fbd0 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 9353869ca6c567a54319e5df59bd77348412229d..15cf92042be23c7cb7fed21e3311efea4c250d24 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 dfb4864054185b70db9c0a03640289e4ceac1387..d6f7574944d450b6cad3997fea31fd606d7721f0 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 e7928e4443f565edc4412a386efcd0a6586360bb..b0c89afb746e7f02f25e0c4056f6eaf97118dd37 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 e357c3813ecca9fdeefe54e85d5c74aecf6ebfc5..3deb2f499fb164c84765d9bf539dcf766cb8b3d0 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 b324e4641f2396553746e5fe80ed3eb1101d2ef2..25ce4d41ae5188dc43128d9096a68e1a9ef4a85b 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 b0b7d811a548ac73ddf9f4af01c80aa6ca9e57f8..28da5d7adf9bc6fd34c7b94d43844bca6eda63de 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 417962de0f38585480fac53696636b6d553ad4e4..4ae79439d16fc7077459ba68e20869cf9d6c27a0 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 a786095190f954188ea0abb5b1fb46e1178f541c..f30684e7591fdb68aba7b1e37aae627ebbaf7b91 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 ad53d602b69fa52f992c8571c36bb707b121b0f0..1b4c1f6b3fd636bfe99c118728e4015437fd69ae 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 c60ab6f0bbc786446349d6e5404518aacb3c29fd..43c128678890bc76ef744dd0f97e3bbdbfb87fa1 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 *)