From 206382bb6a20fe2b9d00b6f7b407b15080448c39 Mon Sep 17 00:00:00 2001 From: Arvid Jakobsson Date: Wed, 19 Oct 2022 19:06:49 +0200 Subject: [PATCH 1/4] Tezt/Client: add [hash_scripts] --- tezt/lib_tezos/client.ml | 12 ++++++++++++ tezt/lib_tezos/client.mli | 12 ++++++++++++ 2 files changed, 24 insertions(+) diff --git a/tezt/lib_tezos/client.ml b/tezt/lib_tezos/client.ml index b041bbebfeff..ecc7712b0885 100644 --- a/tezt/lib_tezos/client.ml +++ b/tezt/lib_tezos/client.ml @@ -1495,6 +1495,18 @@ let get_contract_hash ?hooks ~contract client = spawn_get_contract_hash ?hooks ~contract client |> Process.check_and_read_stdout +let spawn_hash_scripts ?hooks ?(display_names = false) scripts client = + spawn_command ?hooks client + @@ ["hash"; "script"] @ scripts + @ optional_switch "display-names" display_names + +let hash_scripts ?hooks ?display_names scripts client = + let* output = + spawn_hash_scripts ?hooks ?display_names scripts client + |> Process.check_and_read_stdout + in + return (String.split_on_char '\n' output) + let spawn_hash_data ?hooks ~data ~typ client = let cmd = ["hash"; "data"; data; "of"; "type"; typ] in spawn_command ?hooks client cmd diff --git a/tezt/lib_tezos/client.mli b/tezt/lib_tezos/client.mli index e5b7fb5b4da9..b0f970c8fb03 100644 --- a/tezt/lib_tezos/client.mli +++ b/tezt/lib_tezos/client.mli @@ -1179,6 +1179,18 @@ val get_contract_hash : val spawn_get_contract_hash : ?hooks:Process_hooks.t -> contract:string -> t -> Process.t +(** Run [octez-client hash script ..] with a list of scripts to hash *) +val hash_scripts : + ?hooks:Process_hooks.t -> + ?display_names:bool -> + string list -> + t -> + string list Lwt.t + +(** Same as [hash_scripts], but do not wait for the process to exit. *) +val spawn_hash_scripts : + ?hooks:Process_hooks.t -> ?display_names:bool -> string list -> t -> Process.t + (** Run [octez-client normalize data .. of type ...]*) val normalize_data : ?hooks:Process_hooks.t -> -- GitLab From fcc9bbd40b4b302faf5508963be67109acefae8d Mon Sep 17 00:00:00 2001 From: Arvid Jakobsson Date: Wed, 19 Oct 2022 19:18:04 +0200 Subject: [PATCH 2/4] Tezt: translate [TestScriptHashRegression] --- tests_python/tests_014/test_contract.py | 26 ------- tests_python/tests_015/test_contract.py | 26 ------- tests_python/tests_alpha/test_contract.py | 26 ------- tezt/tests/main.ml | 1 + tezt/tests/script_hash_regression.ml | 89 +++++++++++++++++++++++ 5 files changed, 90 insertions(+), 78 deletions(-) create mode 100644 tezt/tests/script_hash_regression.ml diff --git a/tests_python/tests_014/test_contract.py b/tests_python/tests_014/test_contract.py index 03ecffb71768..b64658f7666a 100644 --- a/tests_python/tests_014/test_contract.py +++ b/tests_python/tests_014/test_contract.py @@ -1,5 +1,4 @@ import os -import re from typing import List, Union, Any import pytest @@ -10,7 +9,6 @@ from tools.utils import originate from .contract_paths import ( CONTRACT_PATH, ILLTYPED_CONTRACT_PATH, - all_contracts, all_legacy_contracts, ) @@ -1073,30 +1071,6 @@ class TestNonRegression: assert op1.storage_size == op2.storage_size -@pytest.mark.slow -@pytest.mark.contract -@pytest.mark.regression -class TestScriptHashRegression: - @pytest.mark.parametrize( - "client_regtest_custom_scrubber", - [[(re.escape(CONTRACT_PATH), '[CONTRACT_PATH]')]], - indirect=True, - ) - def test_contract_hash(self, client_regtest_custom_scrubber: Client): - client = client_regtest_custom_scrubber - contracts = all_contracts() - contracts.sort() - for contract in contracts: - assert contract.endswith( - '.tz' - ), "test contract should have .tz extension" - - client.hash_script( - [os.path.join(CONTRACT_PATH, contract) for contract in contracts], - display_names=True, - ) - - @pytest.mark.contract class TestScriptHashMultiple: """Test octez-client hash script with diffent number and type of diff --git a/tests_python/tests_015/test_contract.py b/tests_python/tests_015/test_contract.py index 03ecffb71768..b64658f7666a 100644 --- a/tests_python/tests_015/test_contract.py +++ b/tests_python/tests_015/test_contract.py @@ -1,5 +1,4 @@ import os -import re from typing import List, Union, Any import pytest @@ -10,7 +9,6 @@ from tools.utils import originate from .contract_paths import ( CONTRACT_PATH, ILLTYPED_CONTRACT_PATH, - all_contracts, all_legacy_contracts, ) @@ -1073,30 +1071,6 @@ class TestNonRegression: assert op1.storage_size == op2.storage_size -@pytest.mark.slow -@pytest.mark.contract -@pytest.mark.regression -class TestScriptHashRegression: - @pytest.mark.parametrize( - "client_regtest_custom_scrubber", - [[(re.escape(CONTRACT_PATH), '[CONTRACT_PATH]')]], - indirect=True, - ) - def test_contract_hash(self, client_regtest_custom_scrubber: Client): - client = client_regtest_custom_scrubber - contracts = all_contracts() - contracts.sort() - for contract in contracts: - assert contract.endswith( - '.tz' - ), "test contract should have .tz extension" - - client.hash_script( - [os.path.join(CONTRACT_PATH, contract) for contract in contracts], - display_names=True, - ) - - @pytest.mark.contract class TestScriptHashMultiple: """Test octez-client hash script with diffent number and type of diff --git a/tests_python/tests_alpha/test_contract.py b/tests_python/tests_alpha/test_contract.py index 03ecffb71768..b64658f7666a 100644 --- a/tests_python/tests_alpha/test_contract.py +++ b/tests_python/tests_alpha/test_contract.py @@ -1,5 +1,4 @@ import os -import re from typing import List, Union, Any import pytest @@ -10,7 +9,6 @@ from tools.utils import originate from .contract_paths import ( CONTRACT_PATH, ILLTYPED_CONTRACT_PATH, - all_contracts, all_legacy_contracts, ) @@ -1073,30 +1071,6 @@ class TestNonRegression: assert op1.storage_size == op2.storage_size -@pytest.mark.slow -@pytest.mark.contract -@pytest.mark.regression -class TestScriptHashRegression: - @pytest.mark.parametrize( - "client_regtest_custom_scrubber", - [[(re.escape(CONTRACT_PATH), '[CONTRACT_PATH]')]], - indirect=True, - ) - def test_contract_hash(self, client_regtest_custom_scrubber: Client): - client = client_regtest_custom_scrubber - contracts = all_contracts() - contracts.sort() - for contract in contracts: - assert contract.endswith( - '.tz' - ), "test contract should have .tz extension" - - client.hash_script( - [os.path.join(CONTRACT_PATH, contract) for contract in contracts], - display_names=True, - ) - - @pytest.mark.contract class TestScriptHashMultiple: """Test octez-client hash script with diffent number and type of diff --git a/tezt/tests/main.ml b/tezt/tests/main.ml index 9b1f06abaf8f..c51119279129 100644 --- a/tezt/tests/main.ml +++ b/tezt/tests/main.ml @@ -152,6 +152,7 @@ let register_protocol_tests_that_use_supports_correctly () = Run_script.register ~protocols ; Runtime_script_failure.register ~protocols ; Sapling.register ~protocols ; + Script_hash_regression.register ~protocols ; Self_address_transfer.register ~protocols ; Script_conversion.register ~protocols ; Signer_test.register ~protocols ; diff --git a/tezt/tests/script_hash_regression.ml b/tezt/tests/script_hash_regression.ml new file mode 100644 index 000000000000..25d65e00e28c --- /dev/null +++ b/tezt/tests/script_hash_regression.ml @@ -0,0 +1,89 @@ +(*****************************************************************************) +(* *) +(* Open Source License *) +(* Copyright (c) 2022 Nomadic Labs *) +(* *) +(* Permission is hereby granted, free of charge, to any person obtaining a *) +(* copy of this software and associated documentation files (the "Software"),*) +(* to deal in the Software without restriction, including without limitation *) +(* the rights to use, copy, modify, merge, publish, distribute, sublicense, *) +(* and/or sell copies of the Software, and to permit persons to whom the *) +(* Software is furnished to do so, subject to the following conditions: *) +(* *) +(* The above copyright notice and this permission notice shall be included *) +(* in all copies or substantial portions of the Software. *) +(* *) +(* THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR*) +(* IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, *) +(* FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL *) +(* THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER*) +(* LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING *) +(* FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER *) +(* DEALINGS IN THE SOFTWARE. *) +(* *) +(*****************************************************************************) + +(* Testing + ------- + Component: Script hash regression tests + Invocation: dune exec tezt/tests/main.exe -- -f script_hash_regression.ml + Subject: Regression tests of Michelson script hashing +*) + +let test_script_hash_regression = + Protocol.register_regression_test + ~__FILE__ + ~title:"Test script hash regression" + ~tags:["script"; "michelson"; "hash"] + @@ fun protocol -> + let pytest_script_dir = + sf + "tests_python/contracts_%s" + (match protocol with + | Protocol.Alpha -> "alpha" + | _ -> sf "%03d" @@ Protocol.number protocol) + in + let scrub_script_dirs output = + replace_string (rex pytest_script_dir) ~by:"[CONTRACT_PATH]" output + in + let hooks = + let Process_hooks.{on_spawn = _; on_log} = Tezos_regression.hooks in + (* We don't actually care about the location of the scripts *) + let on_log output = on_log (scrub_script_dirs output) in + (* We don't care about the actual command invoked, only script hashes. *) + let on_spawn _cmd _args = () in + Process_hooks.{on_spawn; on_log} + in + let all_pytest_scripts = + (* FIXME: https://gitlab.com/tezos/tezos/-/issues/4008 + + Once the location of scripts is decided upon, then we should + only fetch script from that location. We'll notice when that + happens, becase this test will fail when + [tests_python/contracts_NNN/] no longer exists. *) + let sub_dirs = + [ + "attic"; + "entrypoints"; + "opcodes"; + "macros"; + "mini_scenarios"; + "non_regression"; + ] + in + List.concat_map + (fun dir -> + Sys.readdir (pytest_script_dir // dir) + |> Array.to_list + |> List.map (fun script -> pytest_script_dir // dir // script)) + sub_dirs + in + (* Sort scripts for more legible output *) + let scripts = all_pytest_scripts |> List.sort String.compare in + let* client = Client.init_mockup ~protocol () in + let* (_hashes : string list) = + Client.hash_scripts ~hooks ~display_names:true scripts client + in + unit + +let register ~protocols = test_script_hash_regression protocols -- GitLab From 68da5ad8d1764c3558f7699484acfc4dfebd7270 Mon Sep 17 00:00:00 2001 From: Arvid Jakobsson Date: Wed, 19 Oct 2022 19:19:14 +0200 Subject: [PATCH 3/4] Tezt: move regression traces for [TestScriptHashRegression] --- .../Alpha- Test script hash regression.out | 2 -- .../Kathmandu- Test script hash regression.out | 2 -- .../Lima- Test script hash regression.out | 2 -- 3 files changed, 6 deletions(-) rename tests_python/tests_alpha/_regtest_outputs/test_contract.TestScriptHashRegression::test_contract_hash[client_regtest_custom_scrubber0].out => tezt/tests/expected/script_hash_regression.ml/Alpha- Test script hash regression.out (99%) rename tests_python/tests_014/_regtest_outputs/test_contract.TestScriptHashRegression::test_contract_hash[client_regtest_custom_scrubber0].out => tezt/tests/expected/script_hash_regression.ml/Kathmandu- Test script hash regression.out (99%) rename tests_python/tests_015/_regtest_outputs/test_contract.TestScriptHashRegression::test_contract_hash[client_regtest_custom_scrubber0].out => tezt/tests/expected/script_hash_regression.ml/Lima- Test script hash regression.out (99%) diff --git a/tests_python/tests_alpha/_regtest_outputs/test_contract.TestScriptHashRegression::test_contract_hash[client_regtest_custom_scrubber0].out b/tezt/tests/expected/script_hash_regression.ml/Alpha- Test script hash regression.out similarity index 99% rename from tests_python/tests_alpha/_regtest_outputs/test_contract.TestScriptHashRegression::test_contract_hash[client_regtest_custom_scrubber0].out rename to tezt/tests/expected/script_hash_regression.ml/Alpha- Test script hash regression.out index c2015fcbb7d3..f48240c57213 100644 --- a/tests_python/tests_alpha/_regtest_outputs/test_contract.TestScriptHashRegression::test_contract_hash[client_regtest_custom_scrubber0].out +++ b/tezt/tests/expected/script_hash_regression.ml/Alpha- Test script hash regression.out @@ -1,5 +1,3 @@ -tests_alpha/test_contract.py::TestScriptHashRegression::test_contract_hash[client_regtest_custom_scrubber0] - exprvFK4dJmFGinHHBe92WR4kA7L8WSBQQYDigmyVCyKpiQHCXe9fk [CONTRACT_PATH]/attic/accounts.tz expruucsMyaSmmP5gmkFWjJfv4a52FQV5EGaf3XpHoeXHQgyJgMJfF [CONTRACT_PATH]/attic/add1.tz exprvEM4Lvihz6jFYszxazuQQPsHjxA4J54tfLeowwDkY1jjTi8Qft [CONTRACT_PATH]/attic/add1_list.tz diff --git a/tests_python/tests_014/_regtest_outputs/test_contract.TestScriptHashRegression::test_contract_hash[client_regtest_custom_scrubber0].out b/tezt/tests/expected/script_hash_regression.ml/Kathmandu- Test script hash regression.out similarity index 99% rename from tests_python/tests_014/_regtest_outputs/test_contract.TestScriptHashRegression::test_contract_hash[client_regtest_custom_scrubber0].out rename to tezt/tests/expected/script_hash_regression.ml/Kathmandu- Test script hash regression.out index 12208dda027f..53be0cae2c01 100644 --- a/tests_python/tests_014/_regtest_outputs/test_contract.TestScriptHashRegression::test_contract_hash[client_regtest_custom_scrubber0].out +++ b/tezt/tests/expected/script_hash_regression.ml/Kathmandu- Test script hash regression.out @@ -1,5 +1,3 @@ -tests_014/test_contract.py::TestScriptHashRegression::test_contract_hash[client_regtest_custom_scrubber0] - exprvFK4dJmFGinHHBe92WR4kA7L8WSBQQYDigmyVCyKpiQHCXe9fk [CONTRACT_PATH]/attic/accounts.tz expruucsMyaSmmP5gmkFWjJfv4a52FQV5EGaf3XpHoeXHQgyJgMJfF [CONTRACT_PATH]/attic/add1.tz exprvEM4Lvihz6jFYszxazuQQPsHjxA4J54tfLeowwDkY1jjTi8Qft [CONTRACT_PATH]/attic/add1_list.tz diff --git a/tests_python/tests_015/_regtest_outputs/test_contract.TestScriptHashRegression::test_contract_hash[client_regtest_custom_scrubber0].out b/tezt/tests/expected/script_hash_regression.ml/Lima- Test script hash regression.out similarity index 99% rename from tests_python/tests_015/_regtest_outputs/test_contract.TestScriptHashRegression::test_contract_hash[client_regtest_custom_scrubber0].out rename to tezt/tests/expected/script_hash_regression.ml/Lima- Test script hash regression.out index f99adaf18db0..4cac731733d2 100644 --- a/tests_python/tests_015/_regtest_outputs/test_contract.TestScriptHashRegression::test_contract_hash[client_regtest_custom_scrubber0].out +++ b/tezt/tests/expected/script_hash_regression.ml/Lima- Test script hash regression.out @@ -1,5 +1,3 @@ -tests_015/test_contract.py::TestScriptHashRegression::test_contract_hash[client_regtest_custom_scrubber0] - exprvFK4dJmFGinHHBe92WR4kA7L8WSBQQYDigmyVCyKpiQHCXe9fk [CONTRACT_PATH]/attic/accounts.tz expruucsMyaSmmP5gmkFWjJfv4a52FQV5EGaf3XpHoeXHQgyJgMJfF [CONTRACT_PATH]/attic/add1.tz exprvEM4Lvihz6jFYszxazuQQPsHjxA4J54tfLeowwDkY1jjTi8Qft [CONTRACT_PATH]/attic/add1_list.tz -- GitLab From 1c730e1003e209216e3494300b280bbf8f31dbe1 Mon Sep 17 00:00:00 2001 From: Arvid Jakobsson Date: Mon, 28 Nov 2022 15:05:32 +0100 Subject: [PATCH 4/4] Tezt: also hash ill-typed and legacy in [script_hash_regression.ml] --- .../Alpha- Test script hash regression.out | 78 +++++++++++++++++++ ...Kathmandu- Test script hash regression.out | 78 +++++++++++++++++++ .../Lima- Test script hash regression.out | 78 +++++++++++++++++++ tezt/tests/script_hash_regression.ml | 2 + 4 files changed, 236 insertions(+) diff --git a/tezt/tests/expected/script_hash_regression.ml/Alpha- Test script hash regression.out b/tezt/tests/expected/script_hash_regression.ml/Alpha- Test script hash regression.out index f48240c57213..306eafce380c 100644 --- a/tezt/tests/expected/script_hash_regression.ml/Alpha- Test script hash regression.out +++ b/tezt/tests/expected/script_hash_regression.ml/Alpha- Test script hash regression.out @@ -39,6 +39,84 @@ exprv2SsGeZ6PiC2CXiSePHYQhn88XWmsKVGgG8ZGyNo8p9CNPrRXj [CONTRACT_PATH]/entrypoin exprvFzfTFqHSFZuDHh91nrupqpULYorBNZRgLEEiPkUhkNVyskyTz [CONTRACT_PATH]/entrypoints/no_entrypoint_target.tz exprtw1GsUzdCfFR6bHsdF78uTbejEJ4iTdXn7YTYRU5C7XS89dyxU [CONTRACT_PATH]/entrypoints/rooted_target.tz exprtaqrrvZzcS8wKS8u6RcVqRJhnu2Qbex9jRUZHQxJJeqhhfhtXJ [CONTRACT_PATH]/entrypoints/simple_entrypoints.tz +expruN224mpoNLwPiVuGuaJ22QZjMuK6sKjGFAeSyQY8PQoBC7Hoim [CONTRACT_PATH]/ill_typed/big_dip.tz +exprtnvncrJA5Fo5iyGnhyXhHXyWJuwvzWHP6Rbokbr7HsSqxQ7QLC [CONTRACT_PATH]/ill_typed/big_drop.tz +expruMk21qTMDDKvFNjTNLab33QEbdnG3kP7M1WEWcXhpPLkCAA21X [CONTRACT_PATH]/ill_typed/chain_id_arity.tz +exprtrJKmsNVineQxEPp8Eq7FcC7edZHbJEdrn56WpqxW61QCpjacm [CONTRACT_PATH]/ill_typed/comb0.tz +expruQsBtw9Fg9gmZSiCPUDD8FjqzDvQDTG5FSFbSJsr7j64DLbwjE [CONTRACT_PATH]/ill_typed/comb1.tz +expruDceVcE3mACUGZhntGk2BMQNNn8UaFZhd8BnRfyWWzdFav7VyP [CONTRACT_PATH]/ill_typed/contract_annotation_default.tz +exprv8no3WSXCsf89WYazUNurLm8hwZRwTWYBQrzihscQcR6M1uKEu [CONTRACT_PATH]/ill_typed/create_contract_rootname.tz +exprtxuT8vf615qpJ9ycmVu7XUGBB8pZZjnPKnZhFhBMfdUpw2JarU [CONTRACT_PATH]/ill_typed/dip_failwith.tz +expruUrLEKFhakNNzTRBigYqnGi2DkvS64m52omEYizdjmscmgF2AQ [CONTRACT_PATH]/ill_typed/dup0.tz +expruUbLS1knNLEJMoE8c7oTbNo3EXiEgagPewKZLFUukFpQZJ7zce [CONTRACT_PATH]/ill_typed/failwith_big_map.tz +expruk5YNGKzCkCMbLhr3euh9xQWZcmtZkGV891LMhNHbxpe1P5QTW [CONTRACT_PATH]/ill_typed/invalid_self_entrypoint.tz +exprtX6MmAqAQ37LRgnkdv525PKHiGdGXyKT33M1NASahAMSCt43VS [CONTRACT_PATH]/ill_typed/map_failwith.tz +expru9tAzQAm6c8Uv4oU6EpkJR6wWXZ8b7MUfyQMorpR8j3HKb2xQM [CONTRACT_PATH]/ill_typed/missing_only_code_field.tz +expru1TjqXpC2u8BLGP5Ps6DPyXLvRY7arR187zjhTJsT3ovrbyqSm [CONTRACT_PATH]/ill_typed/missing_only_parameter_field.tz +exprtnqtHEs13CBddyrcWuvRzsBqgk4vFqdaYTGp2UzY4Z8ahAW6Ej [CONTRACT_PATH]/ill_typed/missing_only_storage_field.tz +expruyMAkvFzMm9ANKFgnpX5cfTVufBcrEn47wYGmnD1hocSbHJLxp [CONTRACT_PATH]/ill_typed/missing_parameter_and_storage_fields.tz +expruRoBeRu3HBshceKrBikpiJWgz9pET8UC6QH7xvM33wPtxJ5cxL [CONTRACT_PATH]/ill_typed/multiple_code_field.tz +exprvLL1MBfbBRMb3R4cy6bJ6KgoMuzNmL6u2y6NaT1hhbCmkprDi1 [CONTRACT_PATH]/ill_typed/multiple_parameter_field.tz +exprudNsSikUJ8etsu55GFBJY33H2x9tzT7v2k1w5m5gLJBb8vU2B9 [CONTRACT_PATH]/ill_typed/multiple_storage_and_code_fields.tz +expruLyv1V3fshbeb9HzsodyQFGDihmbt9wZD8UdP3NJEXzBvkaUL8 [CONTRACT_PATH]/ill_typed/multiple_storage_field.tz +expruvbJCzBYasMCg3DcjmYK9FodRbLokBpWNxZpJDyyunsQK6gWCF [CONTRACT_PATH]/ill_typed/never_literal.tz +exprvBkft3ii7B5gjvqFJKsEGq1z9VhnRHW5JAdPNGWPvMdkMRKjTA [CONTRACT_PATH]/ill_typed/pack_big_map.tz +exprutSqwcaXa6tmF2D4asfxkb6QN5CDn128U4ntCgRG5JKUPan7i2 [CONTRACT_PATH]/ill_typed/pack_operation.tz +expru6yXKqKsiikqZe4hgfbACNDFiGtSSoRsuEtcJy5iYwkwDCG9T4 [CONTRACT_PATH]/ill_typed/pack_sapling_state.tz +exprvQzTcT6STxdp9CJi4mtrY9fvv6VvmfRjEqoQwUqYwEK85mjw5H [CONTRACT_PATH]/ill_typed/push_big_map_with_id_with_parens.tz +exprvMz8TqvLs55NtZzBJ2quCwCB7FqxhVuAiMtEZGK8MWxQw6H9Xx [CONTRACT_PATH]/ill_typed/push_big_map_with_id_without_parens.tz +expruW1dZrFKoyXWLXr3Yeqhmivj9qqqnDyWSc3NzyVHudEANGYjVW [CONTRACT_PATH]/ill_typed/sapling_build_empty_state_with_int_parameter.tz +exprv7mqCULEgnAUKoU4foKVKZeuM6uMSkCCgoMeE1oGYMXGebu5L7 [CONTRACT_PATH]/ill_typed/set_update_non_comparable.tz +expruVMMR2tyqqRqpVQzhLXF47658GNFQB2gLaemhrV8gRm9yZt1x4 [CONTRACT_PATH]/ill_typed/stack_bottom_undig2able.tz +expruxH5WZ4TkhVCUq767J2fHG2yuqL13fWjcKK8azQmy2N9ud11RG [CONTRACT_PATH]/ill_typed/stack_bottom_undigable.tz +expruVvGWPSfsZCtSGEm3qMmCgyveYXhVLQhhxpYBv7GTqaDL91kLf [CONTRACT_PATH]/ill_typed/stack_bottom_undip2able.tz +exprtYhZdG4uP6y2pq4ewHDahRQP4fZ2iBMEYRgpq1hqMFQmMRZuWR [CONTRACT_PATH]/ill_typed/stack_bottom_undipable.tz +exprttbYRZnFJLumEAvLpyH6R1A1GjcwuP39EZTqwNWYyceAAWFKoK [CONTRACT_PATH]/ill_typed/stack_bottom_undropable.tz +expruRbdhi81mKdvamEnP2LoCNVVz6ewvyWhezKqZGxjrVFt7hpcq2 [CONTRACT_PATH]/ill_typed/stack_bottom_undug2able.tz +exprtgLFbB3vNCxh9hHfH2rQdS2Vnqqucwqa2PGZScv6f64agKeay3 [CONTRACT_PATH]/ill_typed/stack_bottom_undugable.tz +exprvQjZYDufKeuRxvKsMEPFMyuZYWYVUSe2GZJw8eXRXYSD73buTB [CONTRACT_PATH]/ill_typed/stack_bottom_undup2able.tz +exprtz1gy2jW3mpiJxgquMA68mjWh8s61HDQJzVp5hhUQnVsP9xR5L [CONTRACT_PATH]/ill_typed/stack_bottom_unfailwithable.tz +exprvDK14kRaERXV4ygtEJTgd5UQikyupAMdTWbZFTULAFPzARqAdQ [CONTRACT_PATH]/ill_typed/stack_bottom_ungetable.tz +exprtydB8VD3snEKSXYgV2SphRE8bZvPJd3o1QEU6GPqZm8cHc1iTR [CONTRACT_PATH]/ill_typed/stack_bottom_unleftable.tz +expruKgcBzkj11KzkbRKYAsWrngu4rBuqNmhPdGWudV4KeePSJGoEk [CONTRACT_PATH]/ill_typed/stack_bottom_unpairable.tz +expruFLiTmNwLXuXVaPGquovMCYjgCeJzKKV27DK14NQAG7z4nGxvQ [CONTRACT_PATH]/ill_typed/stack_bottom_unpopable.tz +expruQAEgAnhPLZuaywyGgJGqcRFWn2rEDprqNHvRDxirdShLwc26c [CONTRACT_PATH]/ill_typed/stack_bottom_unpopable_in_lambda.tz +expruGDfhqvw6oH6cA6Vvvjdn8FyEmJ7SUizhNFCYNSfG2ikmBr5ea [CONTRACT_PATH]/ill_typed/stack_bottom_unrightable.tz +exprunAg8DteXhBhjmmEPasSRe5u18oN5UdwJUyz7crzktR1n7aj7g [CONTRACT_PATH]/ill_typed/ticket_apply.tz +exprtv5Yt3ihwrqvfZm2CZdHkJk544CdepaQ5g6jTF5UhfvK3y1PAc [CONTRACT_PATH]/ill_typed/ticket_dup.tz +expruQfVM57mGxNiY7XpV3Rex8xhqLwRyXvvSEBEZuHKvoVgo8sfsU [CONTRACT_PATH]/ill_typed/ticket_in_ticket.tz +exprtw4id4R45wkzJz7g5GBiRStuREcD515mjMvECP2Nsjt1GCDQSb [CONTRACT_PATH]/ill_typed/ticket_unpack.tz +expruWHcaUVqG6kmYxQF1Mxx5hmB2SYUeNVWNkVrprgax67e9sLATa [CONTRACT_PATH]/ill_typed/uncomb0.tz +exprtrL9J2534bFgoBvVC1YaNVXDsE1c2FXWxgyDhDHtUz5zghortN [CONTRACT_PATH]/ill_typed/uncomb1.tz +exprujrucGLAmdmT3k2iRC2imquB7sUbcvSg6zVrvAxcvbrrkodSRb [CONTRACT_PATH]/ill_typed/unpack_sapling_state.tz +expru2vU5zmzGh2HRrwNeSnysgcVLMbPb1tkGoFTrNg6YiNMqm2dxD [CONTRACT_PATH]/ill_typed/view_op_bad_name_invalid_char_set.tz +exprufbbZ4jHZ6PJJT614zAJU4ZdSEEmjTpxM9YMnEMSLLR85tKe97 [CONTRACT_PATH]/ill_typed/view_op_bad_name_invalid_type.tz +exprtZFiFcS8quUpTKd6cdop8WKZ9km6X18pF8gWngrTarAiVWWuxv [CONTRACT_PATH]/ill_typed/view_op_bad_name_non_printable_char.tz +exprtn9rV6YNYRDCKtShnzAeKaYh8jqTNKjGxVYo1twk7hrAhPaLrT [CONTRACT_PATH]/ill_typed/view_op_bad_name_too_long.tz +expruBC7TwAKWgKbY8dpuDR7cuvxjFM6nCd935jCcWq9rSJNw1aA75 [CONTRACT_PATH]/ill_typed/view_op_bad_return_type.tz +expruoFRmDZuVddy7VmkV2QBcLgSStqpEDMDacTWsFzqTxZXdWdZfC [CONTRACT_PATH]/ill_typed/view_op_dupable_type.tz +expruxYAxsENuXbe9kyhfUaWWAjBfWkbuQy8irkyJkevrfLBsWt7xc [CONTRACT_PATH]/ill_typed/view_op_invalid_arity.tz +exprvPFLSH8Yzs7khoVZkEz4sYWbh6b8ekM6iHrGY5Ds1BjUm763QM [CONTRACT_PATH]/ill_typed/view_op_lazy_storage.tz +exprvPFLSH8Yzs7khoVZkEz4sYWbh6b8ekM6iHrGY5Ds1BjUm763QM [CONTRACT_PATH]/ill_typed/view_op_lazy_storage_type.tz +expruUdCLKAbj9Ww3JkAZ4W2UuTiJ7ugE7kg9DVe4AUfXKE8Q1iPVQ [CONTRACT_PATH]/ill_typed/view_toplevel_bad_input_type.tz +expruWvd91ycMrLFH8jF534BhTWjnHxaHrEubeRNeodafNWfjqqBXC [CONTRACT_PATH]/ill_typed/view_toplevel_bad_name_invalid_char_set.tz +expruethdzDpBvRtq9UQPdXGwRZqkWnqs6CrcNagNVhDU9vCwsMdzA [CONTRACT_PATH]/ill_typed/view_toplevel_bad_name_invalid_type.tz +exprtnn8xxH2nr6UErb9DNv9Z9xngpSzpYnNk6hwBTbye4x5uacMeQ [CONTRACT_PATH]/ill_typed/view_toplevel_bad_name_non_printable_char.tz +exprunFKRQPF9Hobtkqx32WyQ6ikygyLkL7DCBMNuMoG95NqzVF6si [CONTRACT_PATH]/ill_typed/view_toplevel_bad_name_too_long.tz +exprvMAXDRZuAVGhFHJwnWVoZ411MwmQ9EdVh2JuRnw5qcdz6MjQC1 [CONTRACT_PATH]/ill_typed/view_toplevel_bad_return_type.tz +exprv56pnBNv6EsEHTHjWhJ3tdv5qptVpQGw4ShYC4ojPMxk7Nkxok [CONTRACT_PATH]/ill_typed/view_toplevel_bad_type.tz +exprvAA9gioYUserBNWfg3dM3tpUkeJpEvQBhdCYo6Zkbj8cDciEHE [CONTRACT_PATH]/ill_typed/view_toplevel_dupable_type_input.tz +expru63YpYAZBw9UnRy2pmB9uMQRH4EJXF1BcRAV5xeq3tBdtKtt1F [CONTRACT_PATH]/ill_typed/view_toplevel_dupable_type_output.tz +expruhHAADYeL1YyPJJ6JJDVG1uZMtUChzTRY7wUqjqDJv42WF9iuM [CONTRACT_PATH]/ill_typed/view_toplevel_duplicated_name.tz +exprugDV6TiQP1tmA2JMGXiuF29EKmqacQeF3q7rWkfwzVrw5Qgksd [CONTRACT_PATH]/ill_typed/view_toplevel_invalid_arity.tz +exprum4MVnmugWSpeJysnzAkDFshNeuWboGS3qsgCi3eo9GCxGWZC1 [CONTRACT_PATH]/ill_typed/view_toplevel_lazy_storage_input.tz +expruT8foeFBSvHXuiN9UvAxj6d3ZhidwFteyE4pNHNe3zxcC1LKNv [CONTRACT_PATH]/ill_typed/view_toplevel_lazy_storage_output.tz +exprtf4cGFGDne118G4RFZkHFXFdZMNgAtm1h3zXohFS4n6mzEe4Bp [CONTRACT_PATH]/legacy/create_account.tz +exprtcuNLyAhcZ7Zt6K8pH3KzVyU9YELeSXkJsMPG1h3FyKebyzBz9 [CONTRACT_PATH]/legacy/create_contract.tz +exprutTcX1BwgaPug446zmc16pnipd59ytpVmA6JxAAEyUwJbD47Qv [CONTRACT_PATH]/legacy/create_contract_flags.tz +expruypHz1N6PhereVyiB349tQbrYJhBDr6pJBck1BAUudKRMvMH77 [CONTRACT_PATH]/legacy/create_contract_rootname.tz +exprvPF2hwUEU3GeucamVx6wnv9VWH39QsJVtQW3uUWwXc4aQWJVEw [CONTRACT_PATH]/legacy/originator.tz +expruyPygjWK6gmUgsRZgv7Df2rnqpQUMj65ApbCqmHXNbS2o6QAMk [CONTRACT_PATH]/legacy/steps_to_quota.tz expruiDvGyQG5GzKzcBP7d5Z5doUcdxTmUcM6vL1jCTyTmxLrekmP7 [CONTRACT_PATH]/macros/assert.tz expruMKaaLoPjYfDaKymizi9fnFY7hSDyPj2NfJFxSuAoEVknDxSM6 [CONTRACT_PATH]/macros/assert_cmpeq.tz exprtqiRJEnWeqF5KKBRPjamJGoi2oQvekfnRwsdZNRy8w8wkbroKJ [CONTRACT_PATH]/macros/assert_cmpge.tz diff --git a/tezt/tests/expected/script_hash_regression.ml/Kathmandu- Test script hash regression.out b/tezt/tests/expected/script_hash_regression.ml/Kathmandu- Test script hash regression.out index 53be0cae2c01..f043c449461e 100644 --- a/tezt/tests/expected/script_hash_regression.ml/Kathmandu- Test script hash regression.out +++ b/tezt/tests/expected/script_hash_regression.ml/Kathmandu- Test script hash regression.out @@ -39,6 +39,84 @@ exprv2SsGeZ6PiC2CXiSePHYQhn88XWmsKVGgG8ZGyNo8p9CNPrRXj [CONTRACT_PATH]/entrypoin exprvFzfTFqHSFZuDHh91nrupqpULYorBNZRgLEEiPkUhkNVyskyTz [CONTRACT_PATH]/entrypoints/no_entrypoint_target.tz exprtw1GsUzdCfFR6bHsdF78uTbejEJ4iTdXn7YTYRU5C7XS89dyxU [CONTRACT_PATH]/entrypoints/rooted_target.tz exprtaqrrvZzcS8wKS8u6RcVqRJhnu2Qbex9jRUZHQxJJeqhhfhtXJ [CONTRACT_PATH]/entrypoints/simple_entrypoints.tz +expruN224mpoNLwPiVuGuaJ22QZjMuK6sKjGFAeSyQY8PQoBC7Hoim [CONTRACT_PATH]/ill_typed/big_dip.tz +exprtnvncrJA5Fo5iyGnhyXhHXyWJuwvzWHP6Rbokbr7HsSqxQ7QLC [CONTRACT_PATH]/ill_typed/big_drop.tz +expruMk21qTMDDKvFNjTNLab33QEbdnG3kP7M1WEWcXhpPLkCAA21X [CONTRACT_PATH]/ill_typed/chain_id_arity.tz +exprtrJKmsNVineQxEPp8Eq7FcC7edZHbJEdrn56WpqxW61QCpjacm [CONTRACT_PATH]/ill_typed/comb0.tz +expruQsBtw9Fg9gmZSiCPUDD8FjqzDvQDTG5FSFbSJsr7j64DLbwjE [CONTRACT_PATH]/ill_typed/comb1.tz +expruDceVcE3mACUGZhntGk2BMQNNn8UaFZhd8BnRfyWWzdFav7VyP [CONTRACT_PATH]/ill_typed/contract_annotation_default.tz +exprv8no3WSXCsf89WYazUNurLm8hwZRwTWYBQrzihscQcR6M1uKEu [CONTRACT_PATH]/ill_typed/create_contract_rootname.tz +exprtxuT8vf615qpJ9ycmVu7XUGBB8pZZjnPKnZhFhBMfdUpw2JarU [CONTRACT_PATH]/ill_typed/dip_failwith.tz +expruUrLEKFhakNNzTRBigYqnGi2DkvS64m52omEYizdjmscmgF2AQ [CONTRACT_PATH]/ill_typed/dup0.tz +expruUbLS1knNLEJMoE8c7oTbNo3EXiEgagPewKZLFUukFpQZJ7zce [CONTRACT_PATH]/ill_typed/failwith_big_map.tz +expruk5YNGKzCkCMbLhr3euh9xQWZcmtZkGV891LMhNHbxpe1P5QTW [CONTRACT_PATH]/ill_typed/invalid_self_entrypoint.tz +exprtX6MmAqAQ37LRgnkdv525PKHiGdGXyKT33M1NASahAMSCt43VS [CONTRACT_PATH]/ill_typed/map_failwith.tz +expru9tAzQAm6c8Uv4oU6EpkJR6wWXZ8b7MUfyQMorpR8j3HKb2xQM [CONTRACT_PATH]/ill_typed/missing_only_code_field.tz +expru1TjqXpC2u8BLGP5Ps6DPyXLvRY7arR187zjhTJsT3ovrbyqSm [CONTRACT_PATH]/ill_typed/missing_only_parameter_field.tz +exprtnqtHEs13CBddyrcWuvRzsBqgk4vFqdaYTGp2UzY4Z8ahAW6Ej [CONTRACT_PATH]/ill_typed/missing_only_storage_field.tz +expruyMAkvFzMm9ANKFgnpX5cfTVufBcrEn47wYGmnD1hocSbHJLxp [CONTRACT_PATH]/ill_typed/missing_parameter_and_storage_fields.tz +expruRoBeRu3HBshceKrBikpiJWgz9pET8UC6QH7xvM33wPtxJ5cxL [CONTRACT_PATH]/ill_typed/multiple_code_field.tz +exprvLL1MBfbBRMb3R4cy6bJ6KgoMuzNmL6u2y6NaT1hhbCmkprDi1 [CONTRACT_PATH]/ill_typed/multiple_parameter_field.tz +exprudNsSikUJ8etsu55GFBJY33H2x9tzT7v2k1w5m5gLJBb8vU2B9 [CONTRACT_PATH]/ill_typed/multiple_storage_and_code_fields.tz +expruLyv1V3fshbeb9HzsodyQFGDihmbt9wZD8UdP3NJEXzBvkaUL8 [CONTRACT_PATH]/ill_typed/multiple_storage_field.tz +expruvbJCzBYasMCg3DcjmYK9FodRbLokBpWNxZpJDyyunsQK6gWCF [CONTRACT_PATH]/ill_typed/never_literal.tz +exprvBkft3ii7B5gjvqFJKsEGq1z9VhnRHW5JAdPNGWPvMdkMRKjTA [CONTRACT_PATH]/ill_typed/pack_big_map.tz +exprutSqwcaXa6tmF2D4asfxkb6QN5CDn128U4ntCgRG5JKUPan7i2 [CONTRACT_PATH]/ill_typed/pack_operation.tz +expru6yXKqKsiikqZe4hgfbACNDFiGtSSoRsuEtcJy5iYwkwDCG9T4 [CONTRACT_PATH]/ill_typed/pack_sapling_state.tz +exprvQzTcT6STxdp9CJi4mtrY9fvv6VvmfRjEqoQwUqYwEK85mjw5H [CONTRACT_PATH]/ill_typed/push_big_map_with_id_with_parens.tz +exprvMz8TqvLs55NtZzBJ2quCwCB7FqxhVuAiMtEZGK8MWxQw6H9Xx [CONTRACT_PATH]/ill_typed/push_big_map_with_id_without_parens.tz +expruW1dZrFKoyXWLXr3Yeqhmivj9qqqnDyWSc3NzyVHudEANGYjVW [CONTRACT_PATH]/ill_typed/sapling_build_empty_state_with_int_parameter.tz +exprv7mqCULEgnAUKoU4foKVKZeuM6uMSkCCgoMeE1oGYMXGebu5L7 [CONTRACT_PATH]/ill_typed/set_update_non_comparable.tz +expruVMMR2tyqqRqpVQzhLXF47658GNFQB2gLaemhrV8gRm9yZt1x4 [CONTRACT_PATH]/ill_typed/stack_bottom_undig2able.tz +expruxH5WZ4TkhVCUq767J2fHG2yuqL13fWjcKK8azQmy2N9ud11RG [CONTRACT_PATH]/ill_typed/stack_bottom_undigable.tz +expruVvGWPSfsZCtSGEm3qMmCgyveYXhVLQhhxpYBv7GTqaDL91kLf [CONTRACT_PATH]/ill_typed/stack_bottom_undip2able.tz +exprtYhZdG4uP6y2pq4ewHDahRQP4fZ2iBMEYRgpq1hqMFQmMRZuWR [CONTRACT_PATH]/ill_typed/stack_bottom_undipable.tz +exprttbYRZnFJLumEAvLpyH6R1A1GjcwuP39EZTqwNWYyceAAWFKoK [CONTRACT_PATH]/ill_typed/stack_bottom_undropable.tz +expruRbdhi81mKdvamEnP2LoCNVVz6ewvyWhezKqZGxjrVFt7hpcq2 [CONTRACT_PATH]/ill_typed/stack_bottom_undug2able.tz +exprtgLFbB3vNCxh9hHfH2rQdS2Vnqqucwqa2PGZScv6f64agKeay3 [CONTRACT_PATH]/ill_typed/stack_bottom_undugable.tz +exprvQjZYDufKeuRxvKsMEPFMyuZYWYVUSe2GZJw8eXRXYSD73buTB [CONTRACT_PATH]/ill_typed/stack_bottom_undup2able.tz +exprtz1gy2jW3mpiJxgquMA68mjWh8s61HDQJzVp5hhUQnVsP9xR5L [CONTRACT_PATH]/ill_typed/stack_bottom_unfailwithable.tz +exprvDK14kRaERXV4ygtEJTgd5UQikyupAMdTWbZFTULAFPzARqAdQ [CONTRACT_PATH]/ill_typed/stack_bottom_ungetable.tz +exprtydB8VD3snEKSXYgV2SphRE8bZvPJd3o1QEU6GPqZm8cHc1iTR [CONTRACT_PATH]/ill_typed/stack_bottom_unleftable.tz +expruKgcBzkj11KzkbRKYAsWrngu4rBuqNmhPdGWudV4KeePSJGoEk [CONTRACT_PATH]/ill_typed/stack_bottom_unpairable.tz +expruFLiTmNwLXuXVaPGquovMCYjgCeJzKKV27DK14NQAG7z4nGxvQ [CONTRACT_PATH]/ill_typed/stack_bottom_unpopable.tz +expruQAEgAnhPLZuaywyGgJGqcRFWn2rEDprqNHvRDxirdShLwc26c [CONTRACT_PATH]/ill_typed/stack_bottom_unpopable_in_lambda.tz +expruGDfhqvw6oH6cA6Vvvjdn8FyEmJ7SUizhNFCYNSfG2ikmBr5ea [CONTRACT_PATH]/ill_typed/stack_bottom_unrightable.tz +exprunAg8DteXhBhjmmEPasSRe5u18oN5UdwJUyz7crzktR1n7aj7g [CONTRACT_PATH]/ill_typed/ticket_apply.tz +exprtv5Yt3ihwrqvfZm2CZdHkJk544CdepaQ5g6jTF5UhfvK3y1PAc [CONTRACT_PATH]/ill_typed/ticket_dup.tz +exprtpzopDx2czLycF5p2vwQuUGzbtKbekPukdoKBY1yKq2uGzp3qd [CONTRACT_PATH]/ill_typed/ticket_in_ticket.tz +exprtw4id4R45wkzJz7g5GBiRStuREcD515mjMvECP2Nsjt1GCDQSb [CONTRACT_PATH]/ill_typed/ticket_unpack.tz +expruWHcaUVqG6kmYxQF1Mxx5hmB2SYUeNVWNkVrprgax67e9sLATa [CONTRACT_PATH]/ill_typed/uncomb0.tz +exprtrL9J2534bFgoBvVC1YaNVXDsE1c2FXWxgyDhDHtUz5zghortN [CONTRACT_PATH]/ill_typed/uncomb1.tz +exprujrucGLAmdmT3k2iRC2imquB7sUbcvSg6zVrvAxcvbrrkodSRb [CONTRACT_PATH]/ill_typed/unpack_sapling_state.tz +expru2vU5zmzGh2HRrwNeSnysgcVLMbPb1tkGoFTrNg6YiNMqm2dxD [CONTRACT_PATH]/ill_typed/view_op_bad_name_invalid_char_set.tz +exprufbbZ4jHZ6PJJT614zAJU4ZdSEEmjTpxM9YMnEMSLLR85tKe97 [CONTRACT_PATH]/ill_typed/view_op_bad_name_invalid_type.tz +exprtZFiFcS8quUpTKd6cdop8WKZ9km6X18pF8gWngrTarAiVWWuxv [CONTRACT_PATH]/ill_typed/view_op_bad_name_non_printable_char.tz +exprtn9rV6YNYRDCKtShnzAeKaYh8jqTNKjGxVYo1twk7hrAhPaLrT [CONTRACT_PATH]/ill_typed/view_op_bad_name_too_long.tz +expruBC7TwAKWgKbY8dpuDR7cuvxjFM6nCd935jCcWq9rSJNw1aA75 [CONTRACT_PATH]/ill_typed/view_op_bad_return_type.tz +expruoFRmDZuVddy7VmkV2QBcLgSStqpEDMDacTWsFzqTxZXdWdZfC [CONTRACT_PATH]/ill_typed/view_op_dupable_type.tz +expruxYAxsENuXbe9kyhfUaWWAjBfWkbuQy8irkyJkevrfLBsWt7xc [CONTRACT_PATH]/ill_typed/view_op_invalid_arity.tz +exprvPFLSH8Yzs7khoVZkEz4sYWbh6b8ekM6iHrGY5Ds1BjUm763QM [CONTRACT_PATH]/ill_typed/view_op_lazy_storage.tz +exprvPFLSH8Yzs7khoVZkEz4sYWbh6b8ekM6iHrGY5Ds1BjUm763QM [CONTRACT_PATH]/ill_typed/view_op_lazy_storage_type.tz +expruUdCLKAbj9Ww3JkAZ4W2UuTiJ7ugE7kg9DVe4AUfXKE8Q1iPVQ [CONTRACT_PATH]/ill_typed/view_toplevel_bad_input_type.tz +expruWvd91ycMrLFH8jF534BhTWjnHxaHrEubeRNeodafNWfjqqBXC [CONTRACT_PATH]/ill_typed/view_toplevel_bad_name_invalid_char_set.tz +expruethdzDpBvRtq9UQPdXGwRZqkWnqs6CrcNagNVhDU9vCwsMdzA [CONTRACT_PATH]/ill_typed/view_toplevel_bad_name_invalid_type.tz +exprtnn8xxH2nr6UErb9DNv9Z9xngpSzpYnNk6hwBTbye4x5uacMeQ [CONTRACT_PATH]/ill_typed/view_toplevel_bad_name_non_printable_char.tz +exprunFKRQPF9Hobtkqx32WyQ6ikygyLkL7DCBMNuMoG95NqzVF6si [CONTRACT_PATH]/ill_typed/view_toplevel_bad_name_too_long.tz +exprvMAXDRZuAVGhFHJwnWVoZ411MwmQ9EdVh2JuRnw5qcdz6MjQC1 [CONTRACT_PATH]/ill_typed/view_toplevel_bad_return_type.tz +exprv56pnBNv6EsEHTHjWhJ3tdv5qptVpQGw4ShYC4ojPMxk7Nkxok [CONTRACT_PATH]/ill_typed/view_toplevel_bad_type.tz +exprvAA9gioYUserBNWfg3dM3tpUkeJpEvQBhdCYo6Zkbj8cDciEHE [CONTRACT_PATH]/ill_typed/view_toplevel_dupable_type_input.tz +exprtt88eo9QfVWz6QN4nLaicMvg3Dic3VHjwcYs42TueogNUVGiqj [CONTRACT_PATH]/ill_typed/view_toplevel_dupable_type_output.tz +expruhHAADYeL1YyPJJ6JJDVG1uZMtUChzTRY7wUqjqDJv42WF9iuM [CONTRACT_PATH]/ill_typed/view_toplevel_duplicated_name.tz +exprugDV6TiQP1tmA2JMGXiuF29EKmqacQeF3q7rWkfwzVrw5Qgksd [CONTRACT_PATH]/ill_typed/view_toplevel_invalid_arity.tz +exprum4MVnmugWSpeJysnzAkDFshNeuWboGS3qsgCi3eo9GCxGWZC1 [CONTRACT_PATH]/ill_typed/view_toplevel_lazy_storage_input.tz +expruT8foeFBSvHXuiN9UvAxj6d3ZhidwFteyE4pNHNe3zxcC1LKNv [CONTRACT_PATH]/ill_typed/view_toplevel_lazy_storage_output.tz +exprtf4cGFGDne118G4RFZkHFXFdZMNgAtm1h3zXohFS4n6mzEe4Bp [CONTRACT_PATH]/legacy/create_account.tz +exprtcuNLyAhcZ7Zt6K8pH3KzVyU9YELeSXkJsMPG1h3FyKebyzBz9 [CONTRACT_PATH]/legacy/create_contract.tz +exprutTcX1BwgaPug446zmc16pnipd59ytpVmA6JxAAEyUwJbD47Qv [CONTRACT_PATH]/legacy/create_contract_flags.tz +expruypHz1N6PhereVyiB349tQbrYJhBDr6pJBck1BAUudKRMvMH77 [CONTRACT_PATH]/legacy/create_contract_rootname.tz +exprvPF2hwUEU3GeucamVx6wnv9VWH39QsJVtQW3uUWwXc4aQWJVEw [CONTRACT_PATH]/legacy/originator.tz +expruyPygjWK6gmUgsRZgv7Df2rnqpQUMj65ApbCqmHXNbS2o6QAMk [CONTRACT_PATH]/legacy/steps_to_quota.tz expruiDvGyQG5GzKzcBP7d5Z5doUcdxTmUcM6vL1jCTyTmxLrekmP7 [CONTRACT_PATH]/macros/assert.tz expruMKaaLoPjYfDaKymizi9fnFY7hSDyPj2NfJFxSuAoEVknDxSM6 [CONTRACT_PATH]/macros/assert_cmpeq.tz exprtqiRJEnWeqF5KKBRPjamJGoi2oQvekfnRwsdZNRy8w8wkbroKJ [CONTRACT_PATH]/macros/assert_cmpge.tz diff --git a/tezt/tests/expected/script_hash_regression.ml/Lima- Test script hash regression.out b/tezt/tests/expected/script_hash_regression.ml/Lima- Test script hash regression.out index 4cac731733d2..0fea713f7cdd 100644 --- a/tezt/tests/expected/script_hash_regression.ml/Lima- Test script hash regression.out +++ b/tezt/tests/expected/script_hash_regression.ml/Lima- Test script hash regression.out @@ -39,6 +39,84 @@ exprv2SsGeZ6PiC2CXiSePHYQhn88XWmsKVGgG8ZGyNo8p9CNPrRXj [CONTRACT_PATH]/entrypoin exprvFzfTFqHSFZuDHh91nrupqpULYorBNZRgLEEiPkUhkNVyskyTz [CONTRACT_PATH]/entrypoints/no_entrypoint_target.tz exprtw1GsUzdCfFR6bHsdF78uTbejEJ4iTdXn7YTYRU5C7XS89dyxU [CONTRACT_PATH]/entrypoints/rooted_target.tz exprtaqrrvZzcS8wKS8u6RcVqRJhnu2Qbex9jRUZHQxJJeqhhfhtXJ [CONTRACT_PATH]/entrypoints/simple_entrypoints.tz +expruN224mpoNLwPiVuGuaJ22QZjMuK6sKjGFAeSyQY8PQoBC7Hoim [CONTRACT_PATH]/ill_typed/big_dip.tz +exprtnvncrJA5Fo5iyGnhyXhHXyWJuwvzWHP6Rbokbr7HsSqxQ7QLC [CONTRACT_PATH]/ill_typed/big_drop.tz +expruMk21qTMDDKvFNjTNLab33QEbdnG3kP7M1WEWcXhpPLkCAA21X [CONTRACT_PATH]/ill_typed/chain_id_arity.tz +exprtrJKmsNVineQxEPp8Eq7FcC7edZHbJEdrn56WpqxW61QCpjacm [CONTRACT_PATH]/ill_typed/comb0.tz +expruQsBtw9Fg9gmZSiCPUDD8FjqzDvQDTG5FSFbSJsr7j64DLbwjE [CONTRACT_PATH]/ill_typed/comb1.tz +expruDceVcE3mACUGZhntGk2BMQNNn8UaFZhd8BnRfyWWzdFav7VyP [CONTRACT_PATH]/ill_typed/contract_annotation_default.tz +exprv8no3WSXCsf89WYazUNurLm8hwZRwTWYBQrzihscQcR6M1uKEu [CONTRACT_PATH]/ill_typed/create_contract_rootname.tz +exprtxuT8vf615qpJ9ycmVu7XUGBB8pZZjnPKnZhFhBMfdUpw2JarU [CONTRACT_PATH]/ill_typed/dip_failwith.tz +expruUrLEKFhakNNzTRBigYqnGi2DkvS64m52omEYizdjmscmgF2AQ [CONTRACT_PATH]/ill_typed/dup0.tz +expruUbLS1knNLEJMoE8c7oTbNo3EXiEgagPewKZLFUukFpQZJ7zce [CONTRACT_PATH]/ill_typed/failwith_big_map.tz +expruk5YNGKzCkCMbLhr3euh9xQWZcmtZkGV891LMhNHbxpe1P5QTW [CONTRACT_PATH]/ill_typed/invalid_self_entrypoint.tz +exprtX6MmAqAQ37LRgnkdv525PKHiGdGXyKT33M1NASahAMSCt43VS [CONTRACT_PATH]/ill_typed/map_failwith.tz +expru9tAzQAm6c8Uv4oU6EpkJR6wWXZ8b7MUfyQMorpR8j3HKb2xQM [CONTRACT_PATH]/ill_typed/missing_only_code_field.tz +expru1TjqXpC2u8BLGP5Ps6DPyXLvRY7arR187zjhTJsT3ovrbyqSm [CONTRACT_PATH]/ill_typed/missing_only_parameter_field.tz +exprtnqtHEs13CBddyrcWuvRzsBqgk4vFqdaYTGp2UzY4Z8ahAW6Ej [CONTRACT_PATH]/ill_typed/missing_only_storage_field.tz +expruyMAkvFzMm9ANKFgnpX5cfTVufBcrEn47wYGmnD1hocSbHJLxp [CONTRACT_PATH]/ill_typed/missing_parameter_and_storage_fields.tz +expruRoBeRu3HBshceKrBikpiJWgz9pET8UC6QH7xvM33wPtxJ5cxL [CONTRACT_PATH]/ill_typed/multiple_code_field.tz +exprvLL1MBfbBRMb3R4cy6bJ6KgoMuzNmL6u2y6NaT1hhbCmkprDi1 [CONTRACT_PATH]/ill_typed/multiple_parameter_field.tz +exprudNsSikUJ8etsu55GFBJY33H2x9tzT7v2k1w5m5gLJBb8vU2B9 [CONTRACT_PATH]/ill_typed/multiple_storage_and_code_fields.tz +expruLyv1V3fshbeb9HzsodyQFGDihmbt9wZD8UdP3NJEXzBvkaUL8 [CONTRACT_PATH]/ill_typed/multiple_storage_field.tz +expruvbJCzBYasMCg3DcjmYK9FodRbLokBpWNxZpJDyyunsQK6gWCF [CONTRACT_PATH]/ill_typed/never_literal.tz +exprvBkft3ii7B5gjvqFJKsEGq1z9VhnRHW5JAdPNGWPvMdkMRKjTA [CONTRACT_PATH]/ill_typed/pack_big_map.tz +exprutSqwcaXa6tmF2D4asfxkb6QN5CDn128U4ntCgRG5JKUPan7i2 [CONTRACT_PATH]/ill_typed/pack_operation.tz +expru6yXKqKsiikqZe4hgfbACNDFiGtSSoRsuEtcJy5iYwkwDCG9T4 [CONTRACT_PATH]/ill_typed/pack_sapling_state.tz +exprvQzTcT6STxdp9CJi4mtrY9fvv6VvmfRjEqoQwUqYwEK85mjw5H [CONTRACT_PATH]/ill_typed/push_big_map_with_id_with_parens.tz +exprvMz8TqvLs55NtZzBJ2quCwCB7FqxhVuAiMtEZGK8MWxQw6H9Xx [CONTRACT_PATH]/ill_typed/push_big_map_with_id_without_parens.tz +expruW1dZrFKoyXWLXr3Yeqhmivj9qqqnDyWSc3NzyVHudEANGYjVW [CONTRACT_PATH]/ill_typed/sapling_build_empty_state_with_int_parameter.tz +exprv7mqCULEgnAUKoU4foKVKZeuM6uMSkCCgoMeE1oGYMXGebu5L7 [CONTRACT_PATH]/ill_typed/set_update_non_comparable.tz +expruVMMR2tyqqRqpVQzhLXF47658GNFQB2gLaemhrV8gRm9yZt1x4 [CONTRACT_PATH]/ill_typed/stack_bottom_undig2able.tz +expruxH5WZ4TkhVCUq767J2fHG2yuqL13fWjcKK8azQmy2N9ud11RG [CONTRACT_PATH]/ill_typed/stack_bottom_undigable.tz +expruVvGWPSfsZCtSGEm3qMmCgyveYXhVLQhhxpYBv7GTqaDL91kLf [CONTRACT_PATH]/ill_typed/stack_bottom_undip2able.tz +exprtYhZdG4uP6y2pq4ewHDahRQP4fZ2iBMEYRgpq1hqMFQmMRZuWR [CONTRACT_PATH]/ill_typed/stack_bottom_undipable.tz +exprttbYRZnFJLumEAvLpyH6R1A1GjcwuP39EZTqwNWYyceAAWFKoK [CONTRACT_PATH]/ill_typed/stack_bottom_undropable.tz +expruRbdhi81mKdvamEnP2LoCNVVz6ewvyWhezKqZGxjrVFt7hpcq2 [CONTRACT_PATH]/ill_typed/stack_bottom_undug2able.tz +exprtgLFbB3vNCxh9hHfH2rQdS2Vnqqucwqa2PGZScv6f64agKeay3 [CONTRACT_PATH]/ill_typed/stack_bottom_undugable.tz +exprvQjZYDufKeuRxvKsMEPFMyuZYWYVUSe2GZJw8eXRXYSD73buTB [CONTRACT_PATH]/ill_typed/stack_bottom_undup2able.tz +exprtz1gy2jW3mpiJxgquMA68mjWh8s61HDQJzVp5hhUQnVsP9xR5L [CONTRACT_PATH]/ill_typed/stack_bottom_unfailwithable.tz +exprvDK14kRaERXV4ygtEJTgd5UQikyupAMdTWbZFTULAFPzARqAdQ [CONTRACT_PATH]/ill_typed/stack_bottom_ungetable.tz +exprtydB8VD3snEKSXYgV2SphRE8bZvPJd3o1QEU6GPqZm8cHc1iTR [CONTRACT_PATH]/ill_typed/stack_bottom_unleftable.tz +expruKgcBzkj11KzkbRKYAsWrngu4rBuqNmhPdGWudV4KeePSJGoEk [CONTRACT_PATH]/ill_typed/stack_bottom_unpairable.tz +expruFLiTmNwLXuXVaPGquovMCYjgCeJzKKV27DK14NQAG7z4nGxvQ [CONTRACT_PATH]/ill_typed/stack_bottom_unpopable.tz +expruQAEgAnhPLZuaywyGgJGqcRFWn2rEDprqNHvRDxirdShLwc26c [CONTRACT_PATH]/ill_typed/stack_bottom_unpopable_in_lambda.tz +expruGDfhqvw6oH6cA6Vvvjdn8FyEmJ7SUizhNFCYNSfG2ikmBr5ea [CONTRACT_PATH]/ill_typed/stack_bottom_unrightable.tz +exprunAg8DteXhBhjmmEPasSRe5u18oN5UdwJUyz7crzktR1n7aj7g [CONTRACT_PATH]/ill_typed/ticket_apply.tz +exprtv5Yt3ihwrqvfZm2CZdHkJk544CdepaQ5g6jTF5UhfvK3y1PAc [CONTRACT_PATH]/ill_typed/ticket_dup.tz +expruQfVM57mGxNiY7XpV3Rex8xhqLwRyXvvSEBEZuHKvoVgo8sfsU [CONTRACT_PATH]/ill_typed/ticket_in_ticket.tz +exprtw4id4R45wkzJz7g5GBiRStuREcD515mjMvECP2Nsjt1GCDQSb [CONTRACT_PATH]/ill_typed/ticket_unpack.tz +expruWHcaUVqG6kmYxQF1Mxx5hmB2SYUeNVWNkVrprgax67e9sLATa [CONTRACT_PATH]/ill_typed/uncomb0.tz +exprtrL9J2534bFgoBvVC1YaNVXDsE1c2FXWxgyDhDHtUz5zghortN [CONTRACT_PATH]/ill_typed/uncomb1.tz +exprujrucGLAmdmT3k2iRC2imquB7sUbcvSg6zVrvAxcvbrrkodSRb [CONTRACT_PATH]/ill_typed/unpack_sapling_state.tz +expru2vU5zmzGh2HRrwNeSnysgcVLMbPb1tkGoFTrNg6YiNMqm2dxD [CONTRACT_PATH]/ill_typed/view_op_bad_name_invalid_char_set.tz +exprufbbZ4jHZ6PJJT614zAJU4ZdSEEmjTpxM9YMnEMSLLR85tKe97 [CONTRACT_PATH]/ill_typed/view_op_bad_name_invalid_type.tz +exprtZFiFcS8quUpTKd6cdop8WKZ9km6X18pF8gWngrTarAiVWWuxv [CONTRACT_PATH]/ill_typed/view_op_bad_name_non_printable_char.tz +exprtn9rV6YNYRDCKtShnzAeKaYh8jqTNKjGxVYo1twk7hrAhPaLrT [CONTRACT_PATH]/ill_typed/view_op_bad_name_too_long.tz +expruBC7TwAKWgKbY8dpuDR7cuvxjFM6nCd935jCcWq9rSJNw1aA75 [CONTRACT_PATH]/ill_typed/view_op_bad_return_type.tz +expruoFRmDZuVddy7VmkV2QBcLgSStqpEDMDacTWsFzqTxZXdWdZfC [CONTRACT_PATH]/ill_typed/view_op_dupable_type.tz +expruxYAxsENuXbe9kyhfUaWWAjBfWkbuQy8irkyJkevrfLBsWt7xc [CONTRACT_PATH]/ill_typed/view_op_invalid_arity.tz +exprvPFLSH8Yzs7khoVZkEz4sYWbh6b8ekM6iHrGY5Ds1BjUm763QM [CONTRACT_PATH]/ill_typed/view_op_lazy_storage.tz +exprvPFLSH8Yzs7khoVZkEz4sYWbh6b8ekM6iHrGY5Ds1BjUm763QM [CONTRACT_PATH]/ill_typed/view_op_lazy_storage_type.tz +expruUdCLKAbj9Ww3JkAZ4W2UuTiJ7ugE7kg9DVe4AUfXKE8Q1iPVQ [CONTRACT_PATH]/ill_typed/view_toplevel_bad_input_type.tz +expruWvd91ycMrLFH8jF534BhTWjnHxaHrEubeRNeodafNWfjqqBXC [CONTRACT_PATH]/ill_typed/view_toplevel_bad_name_invalid_char_set.tz +expruethdzDpBvRtq9UQPdXGwRZqkWnqs6CrcNagNVhDU9vCwsMdzA [CONTRACT_PATH]/ill_typed/view_toplevel_bad_name_invalid_type.tz +exprtnn8xxH2nr6UErb9DNv9Z9xngpSzpYnNk6hwBTbye4x5uacMeQ [CONTRACT_PATH]/ill_typed/view_toplevel_bad_name_non_printable_char.tz +exprunFKRQPF9Hobtkqx32WyQ6ikygyLkL7DCBMNuMoG95NqzVF6si [CONTRACT_PATH]/ill_typed/view_toplevel_bad_name_too_long.tz +exprvMAXDRZuAVGhFHJwnWVoZ411MwmQ9EdVh2JuRnw5qcdz6MjQC1 [CONTRACT_PATH]/ill_typed/view_toplevel_bad_return_type.tz +exprv56pnBNv6EsEHTHjWhJ3tdv5qptVpQGw4ShYC4ojPMxk7Nkxok [CONTRACT_PATH]/ill_typed/view_toplevel_bad_type.tz +exprvAA9gioYUserBNWfg3dM3tpUkeJpEvQBhdCYo6Zkbj8cDciEHE [CONTRACT_PATH]/ill_typed/view_toplevel_dupable_type_input.tz +expru63YpYAZBw9UnRy2pmB9uMQRH4EJXF1BcRAV5xeq3tBdtKtt1F [CONTRACT_PATH]/ill_typed/view_toplevel_dupable_type_output.tz +expruhHAADYeL1YyPJJ6JJDVG1uZMtUChzTRY7wUqjqDJv42WF9iuM [CONTRACT_PATH]/ill_typed/view_toplevel_duplicated_name.tz +exprugDV6TiQP1tmA2JMGXiuF29EKmqacQeF3q7rWkfwzVrw5Qgksd [CONTRACT_PATH]/ill_typed/view_toplevel_invalid_arity.tz +exprum4MVnmugWSpeJysnzAkDFshNeuWboGS3qsgCi3eo9GCxGWZC1 [CONTRACT_PATH]/ill_typed/view_toplevel_lazy_storage_input.tz +expruT8foeFBSvHXuiN9UvAxj6d3ZhidwFteyE4pNHNe3zxcC1LKNv [CONTRACT_PATH]/ill_typed/view_toplevel_lazy_storage_output.tz +exprtf4cGFGDne118G4RFZkHFXFdZMNgAtm1h3zXohFS4n6mzEe4Bp [CONTRACT_PATH]/legacy/create_account.tz +exprtcuNLyAhcZ7Zt6K8pH3KzVyU9YELeSXkJsMPG1h3FyKebyzBz9 [CONTRACT_PATH]/legacy/create_contract.tz +exprutTcX1BwgaPug446zmc16pnipd59ytpVmA6JxAAEyUwJbD47Qv [CONTRACT_PATH]/legacy/create_contract_flags.tz +expruypHz1N6PhereVyiB349tQbrYJhBDr6pJBck1BAUudKRMvMH77 [CONTRACT_PATH]/legacy/create_contract_rootname.tz +exprvPF2hwUEU3GeucamVx6wnv9VWH39QsJVtQW3uUWwXc4aQWJVEw [CONTRACT_PATH]/legacy/originator.tz +expruyPygjWK6gmUgsRZgv7Df2rnqpQUMj65ApbCqmHXNbS2o6QAMk [CONTRACT_PATH]/legacy/steps_to_quota.tz expruiDvGyQG5GzKzcBP7d5Z5doUcdxTmUcM6vL1jCTyTmxLrekmP7 [CONTRACT_PATH]/macros/assert.tz expruMKaaLoPjYfDaKymizi9fnFY7hSDyPj2NfJFxSuAoEVknDxSM6 [CONTRACT_PATH]/macros/assert_cmpeq.tz exprtqiRJEnWeqF5KKBRPjamJGoi2oQvekfnRwsdZNRy8w8wkbroKJ [CONTRACT_PATH]/macros/assert_cmpge.tz diff --git a/tezt/tests/script_hash_regression.ml b/tezt/tests/script_hash_regression.ml index 25d65e00e28c..abb7f41c91c3 100644 --- a/tezt/tests/script_hash_regression.ml +++ b/tezt/tests/script_hash_regression.ml @@ -69,6 +69,8 @@ let test_script_hash_regression = "macros"; "mini_scenarios"; "non_regression"; + "ill_typed"; + "legacy"; ] in List.concat_map -- GitLab