From 798169c76c20d796b833310ea0b607239f28c8bb Mon Sep 17 00:00:00 2001
From: Arvid Jakobsson <arvid.jakobsson@nomadic-labs.com>
Date: Tue, 24 Jan 2023 13:46:09 +0100
Subject: [PATCH 1/8] Tezt/lib_tezos: fix documentation error in
 [Michelson_script]

---
 tezt/lib_tezos/michelson_script.mli | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tezt/lib_tezos/michelson_script.mli b/tezt/lib_tezos/michelson_script.mli
index b30149ea199b..d566cc8887fc 100644
--- a/tezt/lib_tezos/michelson_script.mli
+++ b/tezt/lib_tezos/michelson_script.mli
@@ -87,7 +87,7 @@ val default_prefix : string
 val find : ?prefix:string -> ?maxdepth:int -> string list -> Protocol.t -> t
 
 (** [find_all ?prefix ?maxdepth protocol] returns all Michelson scripts for a given
-    protocol respecting [filter] up to a maxdepth [maxdepth]. Setting [~maxdepth:1]
+    protocol up to a maxdepth [maxdepth]. Setting [~maxdepth:1]
     is useful when you don't want to recurse into subdirectories.
     
     For instance, assume the following files exist:
-- 
GitLab


From 84ca0d0f9c512251546e3ffee18d38805f6ba140 Mon Sep 17 00:00:00 2001
From: Arvid Jakobsson <arvid.jakobsson@nomadic-labs.com>
Date: Tue, 24 Jan 2023 13:46:28 +0100
Subject: [PATCH 2/8] Tezt/lib_tezos: add [find_all_in] to [Michelson_script]

---
 tezt/lib_tezos/michelson_script.ml  | 3 +++
 tezt/lib_tezos/michelson_script.mli | 4 ++++
 2 files changed, 7 insertions(+)

diff --git a/tezt/lib_tezos/michelson_script.ml b/tezt/lib_tezos/michelson_script.ml
index 0fd860cf7a2c..8eea2b95cdce 100644
--- a/tezt/lib_tezos/michelson_script.ml
+++ b/tezt/lib_tezos/michelson_script.ml
@@ -309,6 +309,9 @@ let whitelist dirs ts =
   |> List.filter @@ fun (t : t) ->
      List.exists (fun dir -> List.equal String.equal dir t.dirname) dirs
 
+let find_all_in ?prefix ?maxdepth protocol dirs =
+  find_all ?prefix ?maxdepth protocol |> whitelist [dirs]
+
 let find_all_legacy ?prefix ?maxdepth protocol =
   find_all ?prefix ?maxdepth protocol |> whitelist [["legacy"]]
 
diff --git a/tezt/lib_tezos/michelson_script.mli b/tezt/lib_tezos/michelson_script.mli
index d566cc8887fc..26323013921e 100644
--- a/tezt/lib_tezos/michelson_script.mli
+++ b/tezt/lib_tezos/michelson_script.mli
@@ -115,6 +115,10 @@ val find_all_res :
   Protocol.t ->
   (t list, string * string) result
 
+(** [find_all_in protocol dirs] returns all scripts in the folders [dirs] for the given protocol. *)
+val find_all_in :
+  ?prefix:string -> ?maxdepth:int -> Protocol.t -> string list -> t list
+
 (** Returns all scripts in the [legacy] directory for the given protocol. *)
 val find_all_legacy : ?prefix:string -> ?maxdepth:int -> Protocol.t -> t list
 
-- 
GitLab


From b348445690f630e09f465c1737e152e38c7ca3a1 Mon Sep 17 00:00:00 2001
From: Arvid Jakobsson <arvid.jakobsson@nomadic-labs.com>
Date: Tue, 24 Jan 2023 13:47:40 +0100
Subject: [PATCH 3/8] Tezt/lib_tezos: add [expand_macros] to [Client]

---
 tezt/lib_tezos/client.ml  | 45 +++++++++++++++++++++++++++------------
 tezt/lib_tezos/client.mli | 21 ++++++++++++++++++
 2 files changed, 52 insertions(+), 14 deletions(-)

diff --git a/tezt/lib_tezos/client.ml b/tezt/lib_tezos/client.ml
index 80623d17c188..20b7479ac7ad 100644
--- a/tezt/lib_tezos/client.ml
+++ b/tezt/lib_tezos/client.ml
@@ -164,7 +164,7 @@ let mode_arg client =
 
 let spawn_command ?log_command ?log_status_on_exit ?log_output
     ?(env = String_map.empty) ?endpoint ?hooks ?(admin = false) ?protocol_hash
-    ?config_file client command =
+    ?config_file ?(no_base_dir_warnings = false) client command =
   let env =
     (* Set disclaimer to "Y" if unspecified, otherwise use given value *)
     String_map.update
@@ -174,6 +174,9 @@ let spawn_command ?log_command ?log_status_on_exit ?log_output
   in
   let protocol_arg = optional_arg "protocol" Fun.id protocol_hash in
   let config_file_arg = optional_arg "config-file" Fun.id config_file in
+  let no_base_dir_warnings_arg =
+    optional_switch "no-base-dir-warnings" no_base_dir_warnings
+  in
   Process.spawn
     ?runner:client.runner
     ~name:client.name
@@ -186,7 +189,7 @@ let spawn_command ?log_command ?log_status_on_exit ?log_output
     (if admin then client.admin_path else client.path)
   @@ endpoint_arg ?endpoint client
   @ protocol_arg @ media_type_arg client.mode @ mode_arg client
-  @ base_dir_arg client @ config_file_arg @ command
+  @ base_dir_arg client @ config_file_arg @ no_base_dir_warnings_arg @ command
 
 let spawn_command_with_stdin ?log_command ?log_status_on_exit ?log_output
     ?(env = String_map.empty) ?endpoint ?hooks ?(admin = false) ?protocol_hash
@@ -1578,12 +1581,11 @@ let stresstest ?endpoint ?source_aliases ?source_pkhs ?source_accounts ?seed
     client
   |> Process.check
 
-let spawn_run_script ?hooks ?protocol_hash ?(no_base_dir_warnings = false)
-    ?balance ?self_address ?source ?payer ?gas ?(trace_stack = false) ?level
-    ~prg ~storage ~input client =
-  spawn_command ?hooks ?protocol_hash client
-  @@ optional_switch "no-base-dir-warnings" no_base_dir_warnings
-  @ ["run"; "script"; prg; "on"; "storage"; storage; "and"; "input"; input]
+let spawn_run_script ?hooks ?protocol_hash ?no_base_dir_warnings ?balance
+    ?self_address ?source ?payer ?gas ?(trace_stack = false) ?level ~prg
+    ~storage ~input client =
+  spawn_command ?hooks ?protocol_hash ?no_base_dir_warnings client
+  @@ ["run"; "script"; prg; "on"; "storage"; storage; "and"; "input"; input]
   @ optional_arg "payer" Fun.id payer
   @ optional_arg "source" Fun.id source
   @ optional_arg "balance" Tez.to_string balance
@@ -1843,15 +1845,14 @@ let normalize_type ?hooks ~typ client =
 let typecheck_data ~data ~typ ?gas ?(legacy = false) client =
   spawn_typecheck_data ~data ~typ ?gas ~legacy client |> Process.check
 
-let spawn_typecheck_script ?hooks ?protocol_hash ~script
-    ?(no_base_dir_warnings = false) ?(details = false) ?(emacs = false)
-    ?(no_print_source = false) ?gas ?(legacy = false) client =
+let spawn_typecheck_script ?hooks ?protocol_hash ~script ?no_base_dir_warnings
+    ?(details = false) ?(emacs = false) ?(no_print_source = false) ?gas
+    ?(legacy = false) client =
   let gas_cmd =
     Option.map Int.to_string gas |> Option.map (fun g -> ["--gas"; g])
   in
-  spawn_command ?hooks ?protocol_hash client
-  @@ optional_switch "no-base-dir-warnings" no_base_dir_warnings
-  @ ["typecheck"; "script"; script]
+  spawn_command ?hooks ?protocol_hash ?no_base_dir_warnings client
+  @@ ["typecheck"; "script"; script]
   @ Option.value ~default:[] gas_cmd
   @ (if details then ["--details"] else [])
   @ (if emacs then ["--emacs"] else [])
@@ -3940,3 +3941,19 @@ let prepare_multisig_transaction_set_threshold_and_public_keys ~multisig
     |> Process.check_and_read_stdout
   in
   return (String.trim client_output)
+
+let spawn_expand_macros ?endpoint ?hooks ?protocol_hash ?no_base_dir_warnings
+    client path =
+  spawn_command ?endpoint ?hooks ?protocol_hash ?no_base_dir_warnings client
+  @@ ["expand"; "macros"; "in"; path]
+
+let expand_macros ?endpoint ?hooks ?protocol_hash ?no_base_dir_warnings client
+    path =
+  spawn_expand_macros
+    ?endpoint
+    ?hooks
+    ?protocol_hash
+    ?no_base_dir_warnings
+    client
+    path
+  |> Process.check_and_read_stdout
diff --git a/tezt/lib_tezos/client.mli b/tezt/lib_tezos/client.mli
index 9e0c51318e8f..8209b9fe851b 100644
--- a/tezt/lib_tezos/client.mli
+++ b/tezt/lib_tezos/client.mli
@@ -2370,6 +2370,7 @@ val spawn_command :
   ?admin:bool ->
   ?protocol_hash:string ->
   ?config_file:string ->
+  ?no_base_dir_warnings:bool ->
   t ->
   string list ->
   Process.t
@@ -2836,3 +2837,23 @@ val spawn_prepare_multisig_transaction_set_threshold_and_public_keys :
   ?bytes_only:bool ->
   t ->
   Process.t
+
+(** Run [tezos-client expand macros in <script>]. *)
+val expand_macros :
+  ?endpoint:endpoint ->
+  ?hooks:Process_hooks.t ->
+  ?protocol_hash:string ->
+  ?no_base_dir_warnings:bool ->
+  t ->
+  string ->
+  string Lwt.t
+
+(** Same as [expand_macros], but do not wait for the process to exit. *)
+val spawn_expand_macros :
+  ?endpoint:endpoint ->
+  ?hooks:Process_hooks.t ->
+  ?protocol_hash:string ->
+  ?no_base_dir_warnings:bool ->
+  t ->
+  string ->
+  Process.t
-- 
GitLab


From fe400051212f55d1bd0120e905b617dee2f8fcf7 Mon Sep 17 00:00:00 2001
From: Arvid Jakobsson <arvid.jakobsson@nomadic-labs.com>
Date: Tue, 24 Jan 2023 13:47:59 +0100
Subject: [PATCH 4/8] Tezt/lib_tezos: add [protocol_hash] to [run_script]s

---
 tezt/lib_tezos/client.ml  | 10 ++++++----
 tezt/lib_tezos/client.mli |  2 ++
 2 files changed, 8 insertions(+), 4 deletions(-)

diff --git a/tezt/lib_tezos/client.ml b/tezt/lib_tezos/client.ml
index 20b7479ac7ad..67a24e01c887 100644
--- a/tezt/lib_tezos/client.ml
+++ b/tezt/lib_tezos/client.ml
@@ -1594,13 +1594,14 @@ let spawn_run_script ?hooks ?protocol_hash ?no_base_dir_warnings ?balance
   @ optional_arg "level" string_of_int level
   @ optional_switch "trace-stack" trace_stack
 
-let spawn_run_script_at ?hooks ?balance ?self_address ?source ?payer ?prefix
-    ~storage ~input client script_name protocol =
+let spawn_run_script_at ?hooks ?protocol_hash ?balance ?self_address ?source
+    ?payer ?prefix ~storage ~input client script_name protocol =
   let prg =
     Michelson_script.find ?prefix script_name protocol |> Michelson_script.path
   in
   spawn_run_script
     ?hooks
+    ?protocol_hash
     ?balance
     ?self_address
     ?source
@@ -1682,13 +1683,14 @@ let run_script ?hooks ?protocol_hash ?no_base_dir_warnings ?balance
         "Cannot extract new storage from client_output: %s"
         client_output
 
-let run_script_at ?hooks ?balance ?self_address ?source ?payer ?prefix ~storage
-    ~input client name protocol =
+let run_script_at ?hooks ?protocol_hash ?balance ?self_address ?source ?payer
+    ?prefix ~storage ~input client name protocol =
   let prg =
     Michelson_script.find name ?prefix protocol |> Michelson_script.path
   in
   run_script
     ?hooks
+    ?protocol_hash
     ?balance
     ?self_address
     ?source
diff --git a/tezt/lib_tezos/client.mli b/tezt/lib_tezos/client.mli
index 8209b9fe851b..5f829a727b6f 100644
--- a/tezt/lib_tezos/client.mli
+++ b/tezt/lib_tezos/client.mli
@@ -1283,6 +1283,7 @@ val spawn_run_script :
     Fails if the new storage cannot be extracted from the output. *)
 val run_script_at :
   ?hooks:Process.hooks ->
+  ?protocol_hash:string ->
   ?balance:Tez.t ->
   ?self_address:string ->
   ?source:string ->
@@ -1298,6 +1299,7 @@ val run_script_at :
 (** Same as [run_script_at] but do not wait for the process to exit. *)
 val spawn_run_script_at :
   ?hooks:Process.hooks ->
+  ?protocol_hash:string ->
   ?balance:Tez.t ->
   ?self_address:string ->
   ?source:string ->
-- 
GitLab


From b223205d5df9175bdade32c15b6a3267bdff8aba Mon Sep 17 00:00:00 2001
From: Arvid Jakobsson <arvid.jakobsson@nomadic-labs.com>
Date: Tue, 24 Jan 2023 13:49:04 +0100
Subject: [PATCH 5/8] Tezt/tests: translate [test_contract_macros.py]

---
 .../tests_015/test_contract_macros.py         | 447 ------------------
 .../tests_016/test_contract_macros.py         | 447 ------------------
 .../tests_alpha/test_contract_macros.py       | 447 ------------------
 tezt/tests/contract_macros.ml                 | 328 +++++++++++++
 tezt/tests/main.ml                            |   1 +
 5 files changed, 329 insertions(+), 1341 deletions(-)
 delete mode 100644 tests_python/tests_015/test_contract_macros.py
 delete mode 100644 tests_python/tests_016/test_contract_macros.py
 delete mode 100644 tests_python/tests_alpha/test_contract_macros.py
 create mode 100644 tezt/tests/contract_macros.ml

diff --git a/tests_python/tests_015/test_contract_macros.py b/tests_python/tests_015/test_contract_macros.py
deleted file mode 100644
index 354d0cd6a993..000000000000
--- a/tests_python/tests_015/test_contract_macros.py
+++ /dev/null
@@ -1,447 +0,0 @@
-import pytest
-from tools.utils import (
-    assert_run_script_failwith,
-    assert_transfer_failwith,
-    bake,
-    assert_storage_contains,
-)
-from tools.client_regression import ClientRegression
-from client.client import Client
-from .contract_paths import (
-    find_script,
-    find_script_by_name,
-    all_contracts,
-    init_with_transfer,
-)
-
-
-@pytest.mark.contract
-class TestContractMacros:
-    """Tests for contracts using macros that do not require origination."""
-
-    @pytest.mark.parametrize(
-        "contract,param,storage,expected",
-        [  # FORMAT: assert_output contract_file storage input expected_result
-            # Build list
-            ('build_list', '{}', '0', '{ 0 }'),
-            ('build_list', '{}', '3', '{ 0 ; 1 ; 2 ; 3 }'),
-            (
-                'build_list',
-                '{}',
-                '10',
-                '{ 0 ; 1 ; 2 ; 3 ; 4 ; 5 ; 6 ; 7 ; 8 ; 9 ; 10 }',
-            ),
-            # Find maximum int in list -- returns None if not found
-            ('max_in_list', 'None', '{}', 'None'),
-            ('max_in_list', 'None', '{ 1 }', '(Some 1)'),
-            ('max_in_list', 'None', '{ -1 }', '(Some -1)'),
-            (
-                'max_in_list',
-                'None',
-                '{ 10 ; -1 ; -20 ; 100 ; 0 }',
-                '(Some 100)',
-            ),
-            (
-                'max_in_list',
-                'None',
-                '{ 10 ; -1 ; -20 ; 100 ; 0 }',
-                '(Some 100)',
-            ),
-            (
-                'max_in_list',
-                'None',
-                '{ -10 ; -1 ; -20 ; -100 }',
-                '(Some -1)',
-            ),
-            # Test comparisons on tez { EQ ; GT ; LT ; GE ; LE }
-            (
-                'compare',
-                '{}',
-                '(Pair 1000000 2000000)',
-                '{ False ; False ; True ; False ; True }',
-            ),
-            (
-                'compare',
-                '{}',
-                '(Pair 2000000 1000000)',
-                '{ False ; True ; False ; True ; False }',
-            ),
-            (
-                'compare',
-                '{}',
-                '(Pair 2370000 2370000)',
-                '{ True ; False ; False ; True ; True }',
-            ),
-            # Test ASSERT
-            ('assert', 'Unit', 'True', 'Unit'),
-            # ASSERT_{OP}
-            ('assert_eq', 'Unit', '(Pair -1 -1)', 'Unit'),
-            ('assert_eq', 'Unit', '(Pair -1 -1)', 'Unit'),
-            ('assert_neq', 'Unit', '(Pair 0 -1)', 'Unit'),
-            ('assert_lt', 'Unit', '(Pair -1 0)', 'Unit'),
-            ('assert_le', 'Unit', '(Pair 0 0)', 'Unit'),
-            ('assert_le', 'Unit', '(Pair -1 0)', 'Unit'),
-            ('assert_gt', 'Unit', '(Pair 0 -1)', 'Unit'),
-            ('assert_ge', 'Unit', '(Pair 0 0)', 'Unit'),
-            ('assert_ge', 'Unit', '(Pair 0 -1)', 'Unit'),
-            # ASSERT_CMP{OP}
-            ('assert_cmpeq', 'Unit', '(Pair -1 -1)', 'Unit'),
-            ('assert_cmpneq', 'Unit', '(Pair 0 -1)', 'Unit'),
-            ('assert_cmplt', 'Unit', '(Pair -1 0)', 'Unit'),
-            ('assert_cmple', 'Unit', '(Pair -1 0)', 'Unit'),
-            ('assert_cmple', 'Unit', '(Pair 0 0)', 'Unit'),
-            ('assert_cmpgt', 'Unit', '(Pair 0 -1)', 'Unit'),
-            ('assert_cmpge', 'Unit', '(Pair 0 -1)', 'Unit'),
-            ('assert_cmpge', 'Unit', '(Pair 0 0)', 'Unit'),
-            # Tests the SET_CAR and SET_CDR instructions
-            (
-                'set_caddaadr',
-                '(Pair (Pair 1 2 (Pair (Pair 3 0) 4) 5) 6)',
-                '3000000',
-                '(Pair (Pair 1 2 (Pair (Pair 3 3000000) 4) 5) 6)',
-            ),
-            (
-                'map_caddaadr',
-                '(Pair (Pair 1 2 (Pair (Pair 3 0) 4) 5) 6)',
-                'Unit',
-                '(Pair (Pair 1 2 (Pair (Pair 3 1000000) 4) 5) 6)',
-            ),
-            # Test comparisons on bytes { EQ ; GT ; LT ; GE ; LE }
-            (
-                'compare_bytes',
-                '{}',
-                '(Pair 0x33 0x34)',
-                '{ False ; False ; True ; False ; True }',
-            ),
-            (
-                'compare_bytes',
-                '{}',
-                '(Pair 0x33 0x33aa)',
-                '{ False ; False ; True ; False ; True }',
-            ),
-            (
-                'compare_bytes',
-                '{}',
-                '(Pair 0x33 0x33)',
-                '{ True ; False ; False ; True ; True }',
-            ),
-            (
-                'compare_bytes',
-                '{}',
-                '(Pair 0x34 0x33)',
-                '{ False ; True ; False ; True ; False }',
-            ),
-        ],
-    )
-    def test_contract_input_output(
-        self,
-        client: Client,
-        contract: str,
-        param: str,
-        storage: str,
-        expected: str,
-    ):
-        contract = find_script(['macros', contract])
-        run_script_res = client.run_script(contract, param, storage)
-        assert run_script_res.storage == expected
-
-    @pytest.mark.parametrize(
-        "contract,param,storage",
-        [  # FORMAT: assert_output contract_file storage input expected_result
-            ('assert', 'Unit', 'False'),
-            ('assert_eq', 'Unit', '(Pair 0 -1)'),
-            ('assert_eq', 'Unit', '(Pair 0 -1)'),
-            ('assert_neq', 'Unit', '(Pair -1 -1)'),
-            ('assert_lt', 'Unit', '(Pair 0 -1)'),
-            ('assert_lt', 'Unit', '(Pair 0 0)'),
-            ('assert_le', 'Unit', '(Pair 0 -1)'),
-            ('assert_gt', 'Unit', '(Pair -1 0)'),
-            ('assert_gt', 'Unit', '(Pair 0 0)'),
-            ('assert_ge', 'Unit', '(Pair -1 0)'),
-            ('assert_cmpeq', 'Unit', '(Pair 0 -1)'),
-            ('assert_cmpneq', 'Unit', '(Pair -1 -1)'),
-            ('assert_cmplt', 'Unit', '(Pair 0 0)'),
-            ('assert_cmplt', 'Unit', '(Pair 0 -1)'),
-            ('assert_cmple', 'Unit', '(Pair 0 -1)'),
-            ('assert_cmpgt', 'Unit', '(Pair 0 0)'),
-            ('assert_cmpgt', 'Unit', '(Pair -1 0)'),
-            ('assert_cmpge', 'Unit', '(Pair -1 0)'),
-        ],
-    )
-    def test_contract_failures(self, client: Client, contract, param, storage):
-        contract = find_script(['macros', contract])
-        assert_run_script_failwith(client, contract, param, storage)
-
-
-@pytest.mark.slow
-@pytest.mark.contract
-class TestGuestBook:
-    """Test on the guestbook contract."""
-
-    def test_guestbook(self, client: Client):
-        contract = ['macros', 'guestbook']
-
-        init_with_transfer(
-            client,
-            contract,
-            '{ Elt "tz1KqTpEZ7Yob7QbPE4Hy4Wo8fHG8LhKxZSx" None }',
-            100,
-            'bootstrap1',
-        )
-
-        assert_transfer_failwith(
-            client,
-            0,
-            'bootstrap2',
-            'guestbook',
-            ['--arg', '"Pas moi"', '--burn-cap', '10'],
-        )
-
-        client.transfer(
-            0,
-            'bootstrap1',
-            'guestbook',
-            ['-arg', '"Coucou"', '--burn-cap', '10'],
-        )
-        bake(client)
-        assert_storage_contains(
-            client,
-            'guestbook',
-            '{ Elt "tz1KqTpEZ7Yob7QbPE4Hy4Wo8fHG8LhKxZSx" (Some "Coucou") }',
-        )
-
-        assert_transfer_failwith(
-            client,
-            0,
-            'bootstrap3',
-            'guestbook',
-            ['--arg', '"Pas moi non plus"', '--burn-cap', '10'],
-        )
-        assert_transfer_failwith(
-            client,
-            0,
-            'bootstrap1',
-            'guestbook',
-            ['--arg', '"Recoucou ?"', '--burn-cap', '10'],
-        )
-
-
-@pytest.mark.slow
-@pytest.mark.contract
-class TestBigmap:
-    """Tests on the big_map_mem contract."""
-
-    def test_bigmap(self, client: Client):
-        contract = ['macros', 'big_map_mem']
-
-        init_with_transfer(
-            client,
-            contract,
-            '(Pair { Elt 1 Unit ; Elt 2 Unit ; Elt 3 Unit } Unit)',
-            100,
-            'bootstrap1',
-        )
-
-        client.transfer(
-            1,
-            'bootstrap1',
-            'big_map_mem',
-            ['-arg', '(Pair 0 False)', '--burn-cap', '10'],
-        )
-        bake(client)
-
-        assert_transfer_failwith(
-            client,
-            0,
-            'bootstrap1',
-            'big_map_mem',
-            ['--arg', '(Pair 0 True)', '--burn-cap', '10'],
-        )
-
-        client.transfer(
-            1,
-            'bootstrap1',
-            'big_map_mem',
-            ['--arg', '(Pair 0 False)', '--burn-cap', '10'],
-        )
-        bake(client)
-        assert_transfer_failwith(
-            client,
-            1,
-            'bootstrap1',
-            'big_map_mem',
-            ['--arg', '(Pair 0 True)', '--burn-cap', '10'],
-        )
-        client.transfer(
-            1,
-            'bootstrap1',
-            'big_map_mem',
-            ['--arg', '(Pair 1 True)', '--burn-cap', '10'],
-        )
-        bake(client)
-        assert_transfer_failwith(
-            client,
-            1,
-            'bootstrap1',
-            'big_map_mem',
-            ['--arg', '(Pair 1 False)', '--burn-cap', '10'],
-        )
-        client.transfer(
-            1,
-            'bootstrap1',
-            'big_map_mem',
-            ['--arg', '(Pair 2 True)', '--burn-cap', '10'],
-        )
-        bake(client)
-        assert_transfer_failwith(
-            client,
-            1,
-            'bootstrap1',
-            'big_map_mem',
-            ['--arg', '(Pair 2 False)', '--burn-cap', '10'],
-        )
-        client.transfer(
-            1,
-            'bootstrap1',
-            'big_map_mem',
-            ['--arg', '(Pair 3 True)', '--burn-cap', '10'],
-        )
-        bake(client)
-        assert_transfer_failwith(
-            client,
-            1,
-            'bootstrap1',
-            'big_map_mem',
-            ['--arg', '(Pair 3 False)', '--burn-cap', '10'],
-        )
-        client.transfer(
-            1,
-            'bootstrap1',
-            'big_map_mem',
-            ['--arg', '(Pair 4 False)', '--burn-cap', '10'],
-        )
-        bake(client)
-        assert_transfer_failwith(
-            client,
-            1,
-            'bootstrap1',
-            'big_map_mem',
-            ['--arg', '(Pair 4 True)', '--burn-cap', '10'],
-        )
-
-
-@pytest.mark.slow
-@pytest.mark.contract
-class TestBigmapGetAdd:
-    """Tests on the big_map_get_add contract."""
-
-    def test_bigmap(self, client: Client):
-        contract = ['macros', 'big_map_get_add']
-
-        init_with_transfer(
-            client,
-            contract,
-            '(Pair { Elt 0 1 ; Elt 1 2 ; Elt 2 3 } Unit)',
-            100,
-            'bootstrap1',
-        )
-
-        client.transfer(
-            1,
-            'bootstrap1',
-            'big_map_get_add',
-            [
-                '--arg',
-                '(Pair (Pair 200 (Some 2)) (Pair 200 (Some 2)))',
-                '--burn-cap',
-                '10',
-            ],
-        )
-        bake(client)
-        client.transfer(
-            1,
-            'bootstrap1',
-            'big_map_get_add',
-            [
-                '--arg',
-                '(Pair (Pair 200 None) (Pair 200 None))',
-                '--burn-cap',
-                '10',
-            ],
-        )
-        bake(client)
-        client.transfer(
-            1,
-            'bootstrap1',
-            'big_map_get_add',
-            [
-                '--arg',
-                '(Pair (Pair 200 None) (Pair 300 None))',
-                '--burn-cap',
-                '10',
-            ],
-        )
-        bake(client)
-        client.transfer(
-            1,
-            'bootstrap1',
-            'big_map_get_add',
-            [
-                '--arg',
-                '(Pair (Pair 1 None) (Pair 200 None))',
-                '--burn-cap',
-                '10',
-            ],
-        )
-        bake(client)
-        client.transfer(
-            1,
-            'bootstrap1',
-            'big_map_get_add',
-            [
-                '--arg',
-                '(Pair (Pair 1 (Some 2)) (Pair 0 (Some 1)))',
-                '--burn-cap',
-                '10',
-            ],
-        )
-        bake(client)
-        client.transfer(
-            1,
-            'bootstrap1',
-            'big_map_get_add',
-            [
-                '--arg',
-                '(Pair (Pair 400 (Some 1232)) (Pair 400 (Some 1232)))',
-                '--burn-cap',
-                '10',
-            ],
-        )
-        bake(client)
-        client.transfer(
-            1,
-            'bootstrap1',
-            'big_map_get_add',
-            [
-                '--arg',
-                '(Pair (Pair 401 (Some 0)) (Pair 400 (Some 1232)))',
-                '--burn-cap',
-                '10',
-            ],
-        )
-        bake(client)
-
-
-@pytest.mark.regression
-class TestMacroExpansion:
-    """Test expanding macros"""
-
-    @pytest.mark.parametrize("contract", all_contracts(['macros']))
-    def test_macro_expansion(
-        self, client_regtest: ClientRegression, contract: str
-    ):
-        """This test expands macros in all macro test contracts, with
-        regression detection enabled. This test should fail if the definition
-        of any macros change.
-        """
-        client_regtest.expand_macros(find_script_by_name(contract))
diff --git a/tests_python/tests_016/test_contract_macros.py b/tests_python/tests_016/test_contract_macros.py
deleted file mode 100644
index 354d0cd6a993..000000000000
--- a/tests_python/tests_016/test_contract_macros.py
+++ /dev/null
@@ -1,447 +0,0 @@
-import pytest
-from tools.utils import (
-    assert_run_script_failwith,
-    assert_transfer_failwith,
-    bake,
-    assert_storage_contains,
-)
-from tools.client_regression import ClientRegression
-from client.client import Client
-from .contract_paths import (
-    find_script,
-    find_script_by_name,
-    all_contracts,
-    init_with_transfer,
-)
-
-
-@pytest.mark.contract
-class TestContractMacros:
-    """Tests for contracts using macros that do not require origination."""
-
-    @pytest.mark.parametrize(
-        "contract,param,storage,expected",
-        [  # FORMAT: assert_output contract_file storage input expected_result
-            # Build list
-            ('build_list', '{}', '0', '{ 0 }'),
-            ('build_list', '{}', '3', '{ 0 ; 1 ; 2 ; 3 }'),
-            (
-                'build_list',
-                '{}',
-                '10',
-                '{ 0 ; 1 ; 2 ; 3 ; 4 ; 5 ; 6 ; 7 ; 8 ; 9 ; 10 }',
-            ),
-            # Find maximum int in list -- returns None if not found
-            ('max_in_list', 'None', '{}', 'None'),
-            ('max_in_list', 'None', '{ 1 }', '(Some 1)'),
-            ('max_in_list', 'None', '{ -1 }', '(Some -1)'),
-            (
-                'max_in_list',
-                'None',
-                '{ 10 ; -1 ; -20 ; 100 ; 0 }',
-                '(Some 100)',
-            ),
-            (
-                'max_in_list',
-                'None',
-                '{ 10 ; -1 ; -20 ; 100 ; 0 }',
-                '(Some 100)',
-            ),
-            (
-                'max_in_list',
-                'None',
-                '{ -10 ; -1 ; -20 ; -100 }',
-                '(Some -1)',
-            ),
-            # Test comparisons on tez { EQ ; GT ; LT ; GE ; LE }
-            (
-                'compare',
-                '{}',
-                '(Pair 1000000 2000000)',
-                '{ False ; False ; True ; False ; True }',
-            ),
-            (
-                'compare',
-                '{}',
-                '(Pair 2000000 1000000)',
-                '{ False ; True ; False ; True ; False }',
-            ),
-            (
-                'compare',
-                '{}',
-                '(Pair 2370000 2370000)',
-                '{ True ; False ; False ; True ; True }',
-            ),
-            # Test ASSERT
-            ('assert', 'Unit', 'True', 'Unit'),
-            # ASSERT_{OP}
-            ('assert_eq', 'Unit', '(Pair -1 -1)', 'Unit'),
-            ('assert_eq', 'Unit', '(Pair -1 -1)', 'Unit'),
-            ('assert_neq', 'Unit', '(Pair 0 -1)', 'Unit'),
-            ('assert_lt', 'Unit', '(Pair -1 0)', 'Unit'),
-            ('assert_le', 'Unit', '(Pair 0 0)', 'Unit'),
-            ('assert_le', 'Unit', '(Pair -1 0)', 'Unit'),
-            ('assert_gt', 'Unit', '(Pair 0 -1)', 'Unit'),
-            ('assert_ge', 'Unit', '(Pair 0 0)', 'Unit'),
-            ('assert_ge', 'Unit', '(Pair 0 -1)', 'Unit'),
-            # ASSERT_CMP{OP}
-            ('assert_cmpeq', 'Unit', '(Pair -1 -1)', 'Unit'),
-            ('assert_cmpneq', 'Unit', '(Pair 0 -1)', 'Unit'),
-            ('assert_cmplt', 'Unit', '(Pair -1 0)', 'Unit'),
-            ('assert_cmple', 'Unit', '(Pair -1 0)', 'Unit'),
-            ('assert_cmple', 'Unit', '(Pair 0 0)', 'Unit'),
-            ('assert_cmpgt', 'Unit', '(Pair 0 -1)', 'Unit'),
-            ('assert_cmpge', 'Unit', '(Pair 0 -1)', 'Unit'),
-            ('assert_cmpge', 'Unit', '(Pair 0 0)', 'Unit'),
-            # Tests the SET_CAR and SET_CDR instructions
-            (
-                'set_caddaadr',
-                '(Pair (Pair 1 2 (Pair (Pair 3 0) 4) 5) 6)',
-                '3000000',
-                '(Pair (Pair 1 2 (Pair (Pair 3 3000000) 4) 5) 6)',
-            ),
-            (
-                'map_caddaadr',
-                '(Pair (Pair 1 2 (Pair (Pair 3 0) 4) 5) 6)',
-                'Unit',
-                '(Pair (Pair 1 2 (Pair (Pair 3 1000000) 4) 5) 6)',
-            ),
-            # Test comparisons on bytes { EQ ; GT ; LT ; GE ; LE }
-            (
-                'compare_bytes',
-                '{}',
-                '(Pair 0x33 0x34)',
-                '{ False ; False ; True ; False ; True }',
-            ),
-            (
-                'compare_bytes',
-                '{}',
-                '(Pair 0x33 0x33aa)',
-                '{ False ; False ; True ; False ; True }',
-            ),
-            (
-                'compare_bytes',
-                '{}',
-                '(Pair 0x33 0x33)',
-                '{ True ; False ; False ; True ; True }',
-            ),
-            (
-                'compare_bytes',
-                '{}',
-                '(Pair 0x34 0x33)',
-                '{ False ; True ; False ; True ; False }',
-            ),
-        ],
-    )
-    def test_contract_input_output(
-        self,
-        client: Client,
-        contract: str,
-        param: str,
-        storage: str,
-        expected: str,
-    ):
-        contract = find_script(['macros', contract])
-        run_script_res = client.run_script(contract, param, storage)
-        assert run_script_res.storage == expected
-
-    @pytest.mark.parametrize(
-        "contract,param,storage",
-        [  # FORMAT: assert_output contract_file storage input expected_result
-            ('assert', 'Unit', 'False'),
-            ('assert_eq', 'Unit', '(Pair 0 -1)'),
-            ('assert_eq', 'Unit', '(Pair 0 -1)'),
-            ('assert_neq', 'Unit', '(Pair -1 -1)'),
-            ('assert_lt', 'Unit', '(Pair 0 -1)'),
-            ('assert_lt', 'Unit', '(Pair 0 0)'),
-            ('assert_le', 'Unit', '(Pair 0 -1)'),
-            ('assert_gt', 'Unit', '(Pair -1 0)'),
-            ('assert_gt', 'Unit', '(Pair 0 0)'),
-            ('assert_ge', 'Unit', '(Pair -1 0)'),
-            ('assert_cmpeq', 'Unit', '(Pair 0 -1)'),
-            ('assert_cmpneq', 'Unit', '(Pair -1 -1)'),
-            ('assert_cmplt', 'Unit', '(Pair 0 0)'),
-            ('assert_cmplt', 'Unit', '(Pair 0 -1)'),
-            ('assert_cmple', 'Unit', '(Pair 0 -1)'),
-            ('assert_cmpgt', 'Unit', '(Pair 0 0)'),
-            ('assert_cmpgt', 'Unit', '(Pair -1 0)'),
-            ('assert_cmpge', 'Unit', '(Pair -1 0)'),
-        ],
-    )
-    def test_contract_failures(self, client: Client, contract, param, storage):
-        contract = find_script(['macros', contract])
-        assert_run_script_failwith(client, contract, param, storage)
-
-
-@pytest.mark.slow
-@pytest.mark.contract
-class TestGuestBook:
-    """Test on the guestbook contract."""
-
-    def test_guestbook(self, client: Client):
-        contract = ['macros', 'guestbook']
-
-        init_with_transfer(
-            client,
-            contract,
-            '{ Elt "tz1KqTpEZ7Yob7QbPE4Hy4Wo8fHG8LhKxZSx" None }',
-            100,
-            'bootstrap1',
-        )
-
-        assert_transfer_failwith(
-            client,
-            0,
-            'bootstrap2',
-            'guestbook',
-            ['--arg', '"Pas moi"', '--burn-cap', '10'],
-        )
-
-        client.transfer(
-            0,
-            'bootstrap1',
-            'guestbook',
-            ['-arg', '"Coucou"', '--burn-cap', '10'],
-        )
-        bake(client)
-        assert_storage_contains(
-            client,
-            'guestbook',
-            '{ Elt "tz1KqTpEZ7Yob7QbPE4Hy4Wo8fHG8LhKxZSx" (Some "Coucou") }',
-        )
-
-        assert_transfer_failwith(
-            client,
-            0,
-            'bootstrap3',
-            'guestbook',
-            ['--arg', '"Pas moi non plus"', '--burn-cap', '10'],
-        )
-        assert_transfer_failwith(
-            client,
-            0,
-            'bootstrap1',
-            'guestbook',
-            ['--arg', '"Recoucou ?"', '--burn-cap', '10'],
-        )
-
-
-@pytest.mark.slow
-@pytest.mark.contract
-class TestBigmap:
-    """Tests on the big_map_mem contract."""
-
-    def test_bigmap(self, client: Client):
-        contract = ['macros', 'big_map_mem']
-
-        init_with_transfer(
-            client,
-            contract,
-            '(Pair { Elt 1 Unit ; Elt 2 Unit ; Elt 3 Unit } Unit)',
-            100,
-            'bootstrap1',
-        )
-
-        client.transfer(
-            1,
-            'bootstrap1',
-            'big_map_mem',
-            ['-arg', '(Pair 0 False)', '--burn-cap', '10'],
-        )
-        bake(client)
-
-        assert_transfer_failwith(
-            client,
-            0,
-            'bootstrap1',
-            'big_map_mem',
-            ['--arg', '(Pair 0 True)', '--burn-cap', '10'],
-        )
-
-        client.transfer(
-            1,
-            'bootstrap1',
-            'big_map_mem',
-            ['--arg', '(Pair 0 False)', '--burn-cap', '10'],
-        )
-        bake(client)
-        assert_transfer_failwith(
-            client,
-            1,
-            'bootstrap1',
-            'big_map_mem',
-            ['--arg', '(Pair 0 True)', '--burn-cap', '10'],
-        )
-        client.transfer(
-            1,
-            'bootstrap1',
-            'big_map_mem',
-            ['--arg', '(Pair 1 True)', '--burn-cap', '10'],
-        )
-        bake(client)
-        assert_transfer_failwith(
-            client,
-            1,
-            'bootstrap1',
-            'big_map_mem',
-            ['--arg', '(Pair 1 False)', '--burn-cap', '10'],
-        )
-        client.transfer(
-            1,
-            'bootstrap1',
-            'big_map_mem',
-            ['--arg', '(Pair 2 True)', '--burn-cap', '10'],
-        )
-        bake(client)
-        assert_transfer_failwith(
-            client,
-            1,
-            'bootstrap1',
-            'big_map_mem',
-            ['--arg', '(Pair 2 False)', '--burn-cap', '10'],
-        )
-        client.transfer(
-            1,
-            'bootstrap1',
-            'big_map_mem',
-            ['--arg', '(Pair 3 True)', '--burn-cap', '10'],
-        )
-        bake(client)
-        assert_transfer_failwith(
-            client,
-            1,
-            'bootstrap1',
-            'big_map_mem',
-            ['--arg', '(Pair 3 False)', '--burn-cap', '10'],
-        )
-        client.transfer(
-            1,
-            'bootstrap1',
-            'big_map_mem',
-            ['--arg', '(Pair 4 False)', '--burn-cap', '10'],
-        )
-        bake(client)
-        assert_transfer_failwith(
-            client,
-            1,
-            'bootstrap1',
-            'big_map_mem',
-            ['--arg', '(Pair 4 True)', '--burn-cap', '10'],
-        )
-
-
-@pytest.mark.slow
-@pytest.mark.contract
-class TestBigmapGetAdd:
-    """Tests on the big_map_get_add contract."""
-
-    def test_bigmap(self, client: Client):
-        contract = ['macros', 'big_map_get_add']
-
-        init_with_transfer(
-            client,
-            contract,
-            '(Pair { Elt 0 1 ; Elt 1 2 ; Elt 2 3 } Unit)',
-            100,
-            'bootstrap1',
-        )
-
-        client.transfer(
-            1,
-            'bootstrap1',
-            'big_map_get_add',
-            [
-                '--arg',
-                '(Pair (Pair 200 (Some 2)) (Pair 200 (Some 2)))',
-                '--burn-cap',
-                '10',
-            ],
-        )
-        bake(client)
-        client.transfer(
-            1,
-            'bootstrap1',
-            'big_map_get_add',
-            [
-                '--arg',
-                '(Pair (Pair 200 None) (Pair 200 None))',
-                '--burn-cap',
-                '10',
-            ],
-        )
-        bake(client)
-        client.transfer(
-            1,
-            'bootstrap1',
-            'big_map_get_add',
-            [
-                '--arg',
-                '(Pair (Pair 200 None) (Pair 300 None))',
-                '--burn-cap',
-                '10',
-            ],
-        )
-        bake(client)
-        client.transfer(
-            1,
-            'bootstrap1',
-            'big_map_get_add',
-            [
-                '--arg',
-                '(Pair (Pair 1 None) (Pair 200 None))',
-                '--burn-cap',
-                '10',
-            ],
-        )
-        bake(client)
-        client.transfer(
-            1,
-            'bootstrap1',
-            'big_map_get_add',
-            [
-                '--arg',
-                '(Pair (Pair 1 (Some 2)) (Pair 0 (Some 1)))',
-                '--burn-cap',
-                '10',
-            ],
-        )
-        bake(client)
-        client.transfer(
-            1,
-            'bootstrap1',
-            'big_map_get_add',
-            [
-                '--arg',
-                '(Pair (Pair 400 (Some 1232)) (Pair 400 (Some 1232)))',
-                '--burn-cap',
-                '10',
-            ],
-        )
-        bake(client)
-        client.transfer(
-            1,
-            'bootstrap1',
-            'big_map_get_add',
-            [
-                '--arg',
-                '(Pair (Pair 401 (Some 0)) (Pair 400 (Some 1232)))',
-                '--burn-cap',
-                '10',
-            ],
-        )
-        bake(client)
-
-
-@pytest.mark.regression
-class TestMacroExpansion:
-    """Test expanding macros"""
-
-    @pytest.mark.parametrize("contract", all_contracts(['macros']))
-    def test_macro_expansion(
-        self, client_regtest: ClientRegression, contract: str
-    ):
-        """This test expands macros in all macro test contracts, with
-        regression detection enabled. This test should fail if the definition
-        of any macros change.
-        """
-        client_regtest.expand_macros(find_script_by_name(contract))
diff --git a/tests_python/tests_alpha/test_contract_macros.py b/tests_python/tests_alpha/test_contract_macros.py
deleted file mode 100644
index 354d0cd6a993..000000000000
--- a/tests_python/tests_alpha/test_contract_macros.py
+++ /dev/null
@@ -1,447 +0,0 @@
-import pytest
-from tools.utils import (
-    assert_run_script_failwith,
-    assert_transfer_failwith,
-    bake,
-    assert_storage_contains,
-)
-from tools.client_regression import ClientRegression
-from client.client import Client
-from .contract_paths import (
-    find_script,
-    find_script_by_name,
-    all_contracts,
-    init_with_transfer,
-)
-
-
-@pytest.mark.contract
-class TestContractMacros:
-    """Tests for contracts using macros that do not require origination."""
-
-    @pytest.mark.parametrize(
-        "contract,param,storage,expected",
-        [  # FORMAT: assert_output contract_file storage input expected_result
-            # Build list
-            ('build_list', '{}', '0', '{ 0 }'),
-            ('build_list', '{}', '3', '{ 0 ; 1 ; 2 ; 3 }'),
-            (
-                'build_list',
-                '{}',
-                '10',
-                '{ 0 ; 1 ; 2 ; 3 ; 4 ; 5 ; 6 ; 7 ; 8 ; 9 ; 10 }',
-            ),
-            # Find maximum int in list -- returns None if not found
-            ('max_in_list', 'None', '{}', 'None'),
-            ('max_in_list', 'None', '{ 1 }', '(Some 1)'),
-            ('max_in_list', 'None', '{ -1 }', '(Some -1)'),
-            (
-                'max_in_list',
-                'None',
-                '{ 10 ; -1 ; -20 ; 100 ; 0 }',
-                '(Some 100)',
-            ),
-            (
-                'max_in_list',
-                'None',
-                '{ 10 ; -1 ; -20 ; 100 ; 0 }',
-                '(Some 100)',
-            ),
-            (
-                'max_in_list',
-                'None',
-                '{ -10 ; -1 ; -20 ; -100 }',
-                '(Some -1)',
-            ),
-            # Test comparisons on tez { EQ ; GT ; LT ; GE ; LE }
-            (
-                'compare',
-                '{}',
-                '(Pair 1000000 2000000)',
-                '{ False ; False ; True ; False ; True }',
-            ),
-            (
-                'compare',
-                '{}',
-                '(Pair 2000000 1000000)',
-                '{ False ; True ; False ; True ; False }',
-            ),
-            (
-                'compare',
-                '{}',
-                '(Pair 2370000 2370000)',
-                '{ True ; False ; False ; True ; True }',
-            ),
-            # Test ASSERT
-            ('assert', 'Unit', 'True', 'Unit'),
-            # ASSERT_{OP}
-            ('assert_eq', 'Unit', '(Pair -1 -1)', 'Unit'),
-            ('assert_eq', 'Unit', '(Pair -1 -1)', 'Unit'),
-            ('assert_neq', 'Unit', '(Pair 0 -1)', 'Unit'),
-            ('assert_lt', 'Unit', '(Pair -1 0)', 'Unit'),
-            ('assert_le', 'Unit', '(Pair 0 0)', 'Unit'),
-            ('assert_le', 'Unit', '(Pair -1 0)', 'Unit'),
-            ('assert_gt', 'Unit', '(Pair 0 -1)', 'Unit'),
-            ('assert_ge', 'Unit', '(Pair 0 0)', 'Unit'),
-            ('assert_ge', 'Unit', '(Pair 0 -1)', 'Unit'),
-            # ASSERT_CMP{OP}
-            ('assert_cmpeq', 'Unit', '(Pair -1 -1)', 'Unit'),
-            ('assert_cmpneq', 'Unit', '(Pair 0 -1)', 'Unit'),
-            ('assert_cmplt', 'Unit', '(Pair -1 0)', 'Unit'),
-            ('assert_cmple', 'Unit', '(Pair -1 0)', 'Unit'),
-            ('assert_cmple', 'Unit', '(Pair 0 0)', 'Unit'),
-            ('assert_cmpgt', 'Unit', '(Pair 0 -1)', 'Unit'),
-            ('assert_cmpge', 'Unit', '(Pair 0 -1)', 'Unit'),
-            ('assert_cmpge', 'Unit', '(Pair 0 0)', 'Unit'),
-            # Tests the SET_CAR and SET_CDR instructions
-            (
-                'set_caddaadr',
-                '(Pair (Pair 1 2 (Pair (Pair 3 0) 4) 5) 6)',
-                '3000000',
-                '(Pair (Pair 1 2 (Pair (Pair 3 3000000) 4) 5) 6)',
-            ),
-            (
-                'map_caddaadr',
-                '(Pair (Pair 1 2 (Pair (Pair 3 0) 4) 5) 6)',
-                'Unit',
-                '(Pair (Pair 1 2 (Pair (Pair 3 1000000) 4) 5) 6)',
-            ),
-            # Test comparisons on bytes { EQ ; GT ; LT ; GE ; LE }
-            (
-                'compare_bytes',
-                '{}',
-                '(Pair 0x33 0x34)',
-                '{ False ; False ; True ; False ; True }',
-            ),
-            (
-                'compare_bytes',
-                '{}',
-                '(Pair 0x33 0x33aa)',
-                '{ False ; False ; True ; False ; True }',
-            ),
-            (
-                'compare_bytes',
-                '{}',
-                '(Pair 0x33 0x33)',
-                '{ True ; False ; False ; True ; True }',
-            ),
-            (
-                'compare_bytes',
-                '{}',
-                '(Pair 0x34 0x33)',
-                '{ False ; True ; False ; True ; False }',
-            ),
-        ],
-    )
-    def test_contract_input_output(
-        self,
-        client: Client,
-        contract: str,
-        param: str,
-        storage: str,
-        expected: str,
-    ):
-        contract = find_script(['macros', contract])
-        run_script_res = client.run_script(contract, param, storage)
-        assert run_script_res.storage == expected
-
-    @pytest.mark.parametrize(
-        "contract,param,storage",
-        [  # FORMAT: assert_output contract_file storage input expected_result
-            ('assert', 'Unit', 'False'),
-            ('assert_eq', 'Unit', '(Pair 0 -1)'),
-            ('assert_eq', 'Unit', '(Pair 0 -1)'),
-            ('assert_neq', 'Unit', '(Pair -1 -1)'),
-            ('assert_lt', 'Unit', '(Pair 0 -1)'),
-            ('assert_lt', 'Unit', '(Pair 0 0)'),
-            ('assert_le', 'Unit', '(Pair 0 -1)'),
-            ('assert_gt', 'Unit', '(Pair -1 0)'),
-            ('assert_gt', 'Unit', '(Pair 0 0)'),
-            ('assert_ge', 'Unit', '(Pair -1 0)'),
-            ('assert_cmpeq', 'Unit', '(Pair 0 -1)'),
-            ('assert_cmpneq', 'Unit', '(Pair -1 -1)'),
-            ('assert_cmplt', 'Unit', '(Pair 0 0)'),
-            ('assert_cmplt', 'Unit', '(Pair 0 -1)'),
-            ('assert_cmple', 'Unit', '(Pair 0 -1)'),
-            ('assert_cmpgt', 'Unit', '(Pair 0 0)'),
-            ('assert_cmpgt', 'Unit', '(Pair -1 0)'),
-            ('assert_cmpge', 'Unit', '(Pair -1 0)'),
-        ],
-    )
-    def test_contract_failures(self, client: Client, contract, param, storage):
-        contract = find_script(['macros', contract])
-        assert_run_script_failwith(client, contract, param, storage)
-
-
-@pytest.mark.slow
-@pytest.mark.contract
-class TestGuestBook:
-    """Test on the guestbook contract."""
-
-    def test_guestbook(self, client: Client):
-        contract = ['macros', 'guestbook']
-
-        init_with_transfer(
-            client,
-            contract,
-            '{ Elt "tz1KqTpEZ7Yob7QbPE4Hy4Wo8fHG8LhKxZSx" None }',
-            100,
-            'bootstrap1',
-        )
-
-        assert_transfer_failwith(
-            client,
-            0,
-            'bootstrap2',
-            'guestbook',
-            ['--arg', '"Pas moi"', '--burn-cap', '10'],
-        )
-
-        client.transfer(
-            0,
-            'bootstrap1',
-            'guestbook',
-            ['-arg', '"Coucou"', '--burn-cap', '10'],
-        )
-        bake(client)
-        assert_storage_contains(
-            client,
-            'guestbook',
-            '{ Elt "tz1KqTpEZ7Yob7QbPE4Hy4Wo8fHG8LhKxZSx" (Some "Coucou") }',
-        )
-
-        assert_transfer_failwith(
-            client,
-            0,
-            'bootstrap3',
-            'guestbook',
-            ['--arg', '"Pas moi non plus"', '--burn-cap', '10'],
-        )
-        assert_transfer_failwith(
-            client,
-            0,
-            'bootstrap1',
-            'guestbook',
-            ['--arg', '"Recoucou ?"', '--burn-cap', '10'],
-        )
-
-
-@pytest.mark.slow
-@pytest.mark.contract
-class TestBigmap:
-    """Tests on the big_map_mem contract."""
-
-    def test_bigmap(self, client: Client):
-        contract = ['macros', 'big_map_mem']
-
-        init_with_transfer(
-            client,
-            contract,
-            '(Pair { Elt 1 Unit ; Elt 2 Unit ; Elt 3 Unit } Unit)',
-            100,
-            'bootstrap1',
-        )
-
-        client.transfer(
-            1,
-            'bootstrap1',
-            'big_map_mem',
-            ['-arg', '(Pair 0 False)', '--burn-cap', '10'],
-        )
-        bake(client)
-
-        assert_transfer_failwith(
-            client,
-            0,
-            'bootstrap1',
-            'big_map_mem',
-            ['--arg', '(Pair 0 True)', '--burn-cap', '10'],
-        )
-
-        client.transfer(
-            1,
-            'bootstrap1',
-            'big_map_mem',
-            ['--arg', '(Pair 0 False)', '--burn-cap', '10'],
-        )
-        bake(client)
-        assert_transfer_failwith(
-            client,
-            1,
-            'bootstrap1',
-            'big_map_mem',
-            ['--arg', '(Pair 0 True)', '--burn-cap', '10'],
-        )
-        client.transfer(
-            1,
-            'bootstrap1',
-            'big_map_mem',
-            ['--arg', '(Pair 1 True)', '--burn-cap', '10'],
-        )
-        bake(client)
-        assert_transfer_failwith(
-            client,
-            1,
-            'bootstrap1',
-            'big_map_mem',
-            ['--arg', '(Pair 1 False)', '--burn-cap', '10'],
-        )
-        client.transfer(
-            1,
-            'bootstrap1',
-            'big_map_mem',
-            ['--arg', '(Pair 2 True)', '--burn-cap', '10'],
-        )
-        bake(client)
-        assert_transfer_failwith(
-            client,
-            1,
-            'bootstrap1',
-            'big_map_mem',
-            ['--arg', '(Pair 2 False)', '--burn-cap', '10'],
-        )
-        client.transfer(
-            1,
-            'bootstrap1',
-            'big_map_mem',
-            ['--arg', '(Pair 3 True)', '--burn-cap', '10'],
-        )
-        bake(client)
-        assert_transfer_failwith(
-            client,
-            1,
-            'bootstrap1',
-            'big_map_mem',
-            ['--arg', '(Pair 3 False)', '--burn-cap', '10'],
-        )
-        client.transfer(
-            1,
-            'bootstrap1',
-            'big_map_mem',
-            ['--arg', '(Pair 4 False)', '--burn-cap', '10'],
-        )
-        bake(client)
-        assert_transfer_failwith(
-            client,
-            1,
-            'bootstrap1',
-            'big_map_mem',
-            ['--arg', '(Pair 4 True)', '--burn-cap', '10'],
-        )
-
-
-@pytest.mark.slow
-@pytest.mark.contract
-class TestBigmapGetAdd:
-    """Tests on the big_map_get_add contract."""
-
-    def test_bigmap(self, client: Client):
-        contract = ['macros', 'big_map_get_add']
-
-        init_with_transfer(
-            client,
-            contract,
-            '(Pair { Elt 0 1 ; Elt 1 2 ; Elt 2 3 } Unit)',
-            100,
-            'bootstrap1',
-        )
-
-        client.transfer(
-            1,
-            'bootstrap1',
-            'big_map_get_add',
-            [
-                '--arg',
-                '(Pair (Pair 200 (Some 2)) (Pair 200 (Some 2)))',
-                '--burn-cap',
-                '10',
-            ],
-        )
-        bake(client)
-        client.transfer(
-            1,
-            'bootstrap1',
-            'big_map_get_add',
-            [
-                '--arg',
-                '(Pair (Pair 200 None) (Pair 200 None))',
-                '--burn-cap',
-                '10',
-            ],
-        )
-        bake(client)
-        client.transfer(
-            1,
-            'bootstrap1',
-            'big_map_get_add',
-            [
-                '--arg',
-                '(Pair (Pair 200 None) (Pair 300 None))',
-                '--burn-cap',
-                '10',
-            ],
-        )
-        bake(client)
-        client.transfer(
-            1,
-            'bootstrap1',
-            'big_map_get_add',
-            [
-                '--arg',
-                '(Pair (Pair 1 None) (Pair 200 None))',
-                '--burn-cap',
-                '10',
-            ],
-        )
-        bake(client)
-        client.transfer(
-            1,
-            'bootstrap1',
-            'big_map_get_add',
-            [
-                '--arg',
-                '(Pair (Pair 1 (Some 2)) (Pair 0 (Some 1)))',
-                '--burn-cap',
-                '10',
-            ],
-        )
-        bake(client)
-        client.transfer(
-            1,
-            'bootstrap1',
-            'big_map_get_add',
-            [
-                '--arg',
-                '(Pair (Pair 400 (Some 1232)) (Pair 400 (Some 1232)))',
-                '--burn-cap',
-                '10',
-            ],
-        )
-        bake(client)
-        client.transfer(
-            1,
-            'bootstrap1',
-            'big_map_get_add',
-            [
-                '--arg',
-                '(Pair (Pair 401 (Some 0)) (Pair 400 (Some 1232)))',
-                '--burn-cap',
-                '10',
-            ],
-        )
-        bake(client)
-
-
-@pytest.mark.regression
-class TestMacroExpansion:
-    """Test expanding macros"""
-
-    @pytest.mark.parametrize("contract", all_contracts(['macros']))
-    def test_macro_expansion(
-        self, client_regtest: ClientRegression, contract: str
-    ):
-        """This test expands macros in all macro test contracts, with
-        regression detection enabled. This test should fail if the definition
-        of any macros change.
-        """
-        client_regtest.expand_macros(find_script_by_name(contract))
diff --git a/tezt/tests/contract_macros.ml b/tezt/tests/contract_macros.ml
new file mode 100644
index 000000000000..a877d1e669ba
--- /dev/null
+++ b/tezt/tests/contract_macros.ml
@@ -0,0 +1,328 @@
+(*****************************************************************************)
+(*                                                                           *)
+(* Open Source License                                                       *)
+(* Copyright (c) 2020 Nomadic Labs <contact@nomadic-labs.com>                *)
+(*                                                                           *)
+(* 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:    Michelson
+   Invocation:   dune exec tezt/tests/main.exe -- --file contract_macros.ml
+   Subject:      Tests for contracts using macros that do not require origination.
+*)
+
+let test_macros_tests parameterization protocols =
+  Fun.flip List.iter parameterization
+  @@ fun (script, storage, input, expected) ->
+  ( Protocol.register_test
+      ~__FILE__
+      ~title:
+        (sf
+           "macros [%s--storage%d--input%d]"
+           script
+           (Hashtbl.hash storage)
+           (Hashtbl.hash input))
+      ~tags:["michelson"; "macros"]
+  @@ fun protocol ->
+    let client = Client.create_with_mode Mockup in
+    let* run_script_res_storage =
+      Client.run_script_at
+        ~protocol_hash:(Protocol.hash protocol)
+        ~storage
+        ~input
+        client
+        ["macros"; script]
+        protocol
+    in
+    let error_msg =
+      "Expected storage %R, got %L when executing"
+      ^ sf " %s with input %s and storage %s" script input storage
+    in
+    Check.((run_script_res_storage = expected) string ~__LOC__ ~error_msg) ;
+    unit )
+    protocols
+
+let test_macros_tests =
+  test_macros_tests
+    [
+      (* FORMAT: contract_file storage input expected_result *)
+      ("build_list", "{}", "0", "{ 0 }");
+      ("build_list", "{}", "3", "{ 0 ; 1 ; 2 ; 3 }");
+      ( "build_list",
+        "{}",
+        "10",
+        "{ 0 ; 1 ; 2 ; 3 ; 4 ; 5 ; 6 ; 7 ; 8 ; 9 ; 10 }" );
+      (* Find maximum int in list -- returns None if not found *)
+      ("max_in_list", "None", "{}", "None");
+      ("max_in_list", "None", "{ 1 }", "(Some 1)");
+      ("max_in_list", "None", "{ -1 }", "(Some -1)");
+      ("max_in_list", "None", "{ 10 ; -1 ; -20 ; 100 ; 0 }", "(Some 100)");
+      ("max_in_list", "None", "{ -10 ; -1 ; -20 ; -100 }", "(Some -1)");
+      (* Test comparisons on tez { EQ ; GT ; LT ; GE ; LE } *)
+      ( "compare",
+        "{}",
+        "(Pair 1000000 2000000)",
+        "{ False ; False ; True ; False ; True }" );
+      ( "compare",
+        "{}",
+        "(Pair 2000000 1000000)",
+        "{ False ; True ; False ; True ; False }" );
+      ( "compare",
+        "{}",
+        "(Pair 2370000 2370000)",
+        "{ True ; False ; False ; True ; True }" );
+      (* Test ASSERT *)
+      ("assert", "Unit", "True", "Unit");
+      (* ASSERT_{OP} *)
+      ("assert_eq", "Unit", "(Pair -1 -1)", "Unit");
+      ("assert_neq", "Unit", "(Pair 0 -1)", "Unit");
+      ("assert_lt", "Unit", "(Pair -1 0)", "Unit");
+      ("assert_le", "Unit", "(Pair 0 0)", "Unit");
+      ("assert_le", "Unit", "(Pair -1 0)", "Unit");
+      ("assert_gt", "Unit", "(Pair 0 -1)", "Unit");
+      ("assert_ge", "Unit", "(Pair 0 0)", "Unit");
+      ("assert_ge", "Unit", "(Pair 0 -1)", "Unit");
+      (* ASSERT_CMP{OP} *)
+      ("assert_cmpeq", "Unit", "(Pair -1 -1)", "Unit");
+      ("assert_cmpneq", "Unit", "(Pair 0 -1)", "Unit");
+      ("assert_cmplt", "Unit", "(Pair -1 0)", "Unit");
+      ("assert_cmple", "Unit", "(Pair -1 0)", "Unit");
+      ("assert_cmple", "Unit", "(Pair 0 0)", "Unit");
+      ("assert_cmpgt", "Unit", "(Pair 0 -1)", "Unit");
+      ("assert_cmpge", "Unit", "(Pair 0 -1)", "Unit");
+      ("assert_cmpge", "Unit", "(Pair 0 0)", "Unit");
+      (* Tests the SET_CAR and SET_CDR instructions *)
+      ( "set_caddaadr",
+        "(Pair (Pair 1 2 (Pair (Pair 3 0) 4) 5) 6)",
+        "3000000",
+        "(Pair (Pair 1 2 (Pair (Pair 3 3000000) 4) 5) 6)" );
+      ( "map_caddaadr",
+        "(Pair (Pair 1 2 (Pair (Pair 3 0) 4) 5) 6)",
+        "Unit",
+        "(Pair (Pair 1 2 (Pair (Pair 3 1000000) 4) 5) 6)" );
+      (* Test comparisons on bytes { EQ ; GT ; LT ; GE ; LE } *)
+      ( "compare_bytes",
+        "{}",
+        "(Pair 0x33 0x34)",
+        "{ False ; False ; True ; False ; True }" );
+      ( "compare_bytes",
+        "{}",
+        "(Pair 0x33 0x33aa)",
+        "{ False ; False ; True ; False ; True }" );
+      ( "compare_bytes",
+        "{}",
+        "(Pair 0x33 0x33)",
+        "{ True ; False ; False ; True ; True }" );
+      ( "compare_bytes",
+        "{}",
+        "(Pair 0x34 0x33)",
+        "{ False ; True ; False ; True ; False }" );
+    ]
+
+let check_script_failwith =
+  Process.check_error ~msg:(rex "script reached FAILWITH instruction")
+
+let test_macros_failures protocols =
+  List.iter
+    (fun (script, storage, input) ->
+      ( Protocol.register_test
+          ~__FILE__
+          ~title:
+            (sf
+               "macro failure [%s--storage%d--input%d]"
+               script
+               (Hashtbl.hash storage)
+               (Hashtbl.hash input))
+          ~tags:["michelson"; "macros"]
+      @@ fun protocol ->
+        let client = Client.create_with_mode Mockup in
+        Client.spawn_run_script_at
+          ~protocol_hash:(Protocol.hash protocol)
+          ~storage
+          ~input
+          client
+          ["macros"; script]
+          protocol
+        |> check_script_failwith )
+        protocols)
+    [
+      ("assert", "Unit", "False");
+      ("assert_eq", "Unit", "(Pair 0 -1)");
+      ("assert_neq", "Unit", "(Pair -1 -1)");
+      ("assert_lt", "Unit", "(Pair 0 -1)");
+      ("assert_lt", "Unit", "(Pair 0 0)");
+      ("assert_le", "Unit", "(Pair 0 -1)");
+      ("assert_gt", "Unit", "(Pair -1 0)");
+      ("assert_gt", "Unit", "(Pair 0 0)");
+      ("assert_ge", "Unit", "(Pair -1 0)");
+      ("assert_cmpeq", "Unit", "(Pair 0 -1)");
+      ("assert_cmpneq", "Unit", "(Pair -1 -1)");
+      ("assert_cmplt", "Unit", "(Pair 0 0)");
+      ("assert_cmplt", "Unit", "(Pair 0 -1)");
+      ("assert_cmple", "Unit", "(Pair 0 -1)");
+      ("assert_cmpgt", "Unit", "(Pair 0 0)");
+      ("assert_cmpgt", "Unit", "(Pair -1 0)");
+      ("assert_cmpge", "Unit", "(Pair -1 0)");
+    ]
+
+let transfer client ~receiver ?(giver = Constant.bootstrap1) arg =
+  {
+    value =
+      Client.spawn_transfer
+        client
+        ~burn_cap:Tez.one
+        ~giver:giver.alias
+        ~amount:Tez.zero
+        ~receiver
+        ~arg;
+    run = Process.check;
+  }
+
+let check_script_failwith {value; _} = check_script_failwith value
+
+let test_guestbook =
+  Protocol.register_test
+    ~__FILE__
+    ~title:"test guestbook.tz"
+    ~tags:["michelson"; "macros"]
+  @@ fun protocol ->
+  let* client = Client.init_mockup ~protocol () in
+  let* guestbook, _address =
+    Client.originate_contract_at
+      ~amount:(Tez.of_int 100)
+      ~src:Constant.bootstrap1.alias
+      ~init:{|{ Elt "tz1KqTpEZ7Yob7QbPE4Hy4Wo8fHG8LhKxZSx" None }|}
+      ~burn_cap:Tez.one
+      client
+      ["macros"; "guestbook"]
+      protocol
+  in
+  let transfer = transfer client ~receiver:guestbook in
+  let* () =
+    transfer ~giver:Constant.bootstrap2 {|"Pas moi"|} |> check_script_failwith
+  in
+  let*! () = transfer ~giver:Constant.bootstrap1 {|"Coucou"|} in
+  let* storage = Client.contract_storage guestbook client in
+  Check.(
+    (String.trim storage
+   = {|{ Elt "tz1KqTpEZ7Yob7QbPE4Hy4Wo8fHG8LhKxZSx" (Some "Coucou") }|})
+      string
+      ~__LOC__
+      ~error_msg:"Expected guestbook storage %R, got %L") ;
+  let* () =
+    transfer ~giver:Constant.bootstrap3 {|"Pas moi non plus"|}
+    |> check_script_failwith
+  in
+  transfer ~giver:Constant.bootstrap1 {|"Recoucou ?"|} |> check_script_failwith
+
+let test_big_map =
+  Protocol.register_test
+    ~__FILE__
+    ~title:"test big_map"
+    ~tags:["michelson"; "macros"]
+  @@ fun protocol ->
+  let* client = Client.init_mockup ~protocol () in
+  let* big_map_contract, _address =
+    Client.originate_contract_at
+      ~amount:(Tez.of_int 100)
+      ~src:Constant.bootstrap1.alias
+      ~init:"(Pair { Elt 1 Unit ; Elt 2 Unit ; Elt 3 Unit } Unit)"
+      ~burn_cap:Tez.one
+      client
+      ["macros"; "big_map_mem"]
+      protocol
+  in
+  let transfer = transfer client ~receiver:big_map_contract in
+  let*! () = transfer "(Pair 0 False)" in
+  let* () = transfer "(Pair 0 True)" |> check_script_failwith in
+  let*! () = transfer "(Pair 1 True)" in
+  let* () = transfer "(Pair 1 False)" |> check_script_failwith in
+  let*! () = transfer "(Pair 2 True)" in
+  let* () = transfer "(Pair 2 False)" |> check_script_failwith in
+  let*! () = transfer "(Pair 3 True)" in
+  let* () = transfer "(Pair 3 False)" |> check_script_failwith in
+  let*! () = transfer "(Pair 4 False)" in
+  let* () = transfer "(Pair 4 True)" |> check_script_failwith in
+  unit
+
+let test_big_map_get_add =
+  Protocol.register_test
+    ~__FILE__
+    ~title:"test big_map_get_add"
+    ~tags:["michelson"; "macros"]
+  @@ fun protocol ->
+  let* client = Client.init_mockup ~protocol () in
+  let* big_map_contract, _address =
+    Client.originate_contract_at
+      ~amount:(Tez.of_int 100)
+      ~src:Constant.bootstrap1.alias
+      ~init:"(Pair { Elt 0 1 ; Elt 1 2 ; Elt 2 3 } Unit)"
+      ~burn_cap:Tez.one
+      client
+      ["macros"; "big_map_get_add"]
+      protocol
+  in
+  Lwt_list.iter_s
+    (fun parameter ->
+      Runnable.run @@ transfer client ~receiver:big_map_contract parameter)
+    [
+      "(Pair (Pair 200 (Some 2)) (Pair 200 (Some 2)))";
+      "(Pair (Pair 200 None) (Pair 200 None))";
+      "(Pair (Pair 200 None) (Pair 300 None))";
+      "(Pair (Pair 1 None) (Pair 200 None))";
+      "(Pair (Pair 1 (Some 2)) (Pair 0 (Some 1)))";
+      "(Pair (Pair 400 (Some 1232)) (Pair 400 (Some 1232)))";
+      "(Pair (Pair 401 (Some 0)) (Pair 400 (Some 1232)))";
+    ]
+
+let test_macro_expansion protocols =
+  List.iter
+    (fun protocol ->
+      List.iter
+        (fun script ->
+          Protocol.register_regression_test
+            ~__FILE__
+            ~title:(sf "Macro expansion: %s" (Michelson_script.name_s script))
+            ~tags:["michelson"; "macros"]
+            (fun protocol ->
+              let client = Client.create_with_mode Mockup in
+              let script_path = Michelson_script.path script in
+              let* (expansion : string) =
+                Client.expand_macros
+                  ~protocol_hash:(Protocol.hash protocol)
+                  ~no_base_dir_warnings:true
+                  client
+                  script_path
+              in
+              Regression.capture expansion ;
+              unit)
+            [protocol])
+        Michelson_script.(find_all_in protocol ["macros"]))
+    protocols
+
+let register ~protocols =
+  test_macros_tests protocols ;
+  test_macros_failures protocols ;
+  test_guestbook protocols ;
+  test_big_map protocols ;
+  test_big_map_get_add protocols ;
+  test_macro_expansion protocols
diff --git a/tezt/tests/main.ml b/tezt/tests/main.ml
index 85cb6a98553f..145caa4fc8c2 100644
--- a/tezt/tests/main.ml
+++ b/tezt/tests/main.ml
@@ -126,6 +126,7 @@ let register_protocol_tests_that_use_supports_correctly () =
   Contract_opcodes.register ~protocols ;
   Contract_typecheck_contract.register ~protocols ;
   Contract_typecheck_regression.register ~protocols ;
+  Contract_macros.register ~protocols ;
   Contract_mini_scenarios.register ~protocols ;
   Create_contract.register ~protocols ;
   Deposits_limit.register ~protocols ;
-- 
GitLab


From 3b3c1a4ef025975e4bbee3fdb1f3114aae5a5309 Mon Sep 17 00:00:00 2001
From: Arvid Jakobsson <arvid.jakobsson@nomadic-labs.com>
Date: Tue, 24 Jan 2023 13:53:05 +0100
Subject: [PATCH 6/8] Tezt/tests: [test_contract_macros.py] traces for Alpha

---
 ...stMacroExpansion::test_macro_expansion[macros--fail.tz].out | 3 ---
 .../Alpha- Macro expansion- macros-assert.out                  | 3 +--
 .../Alpha- Macro expansion- macros-assert_cmpeq.out            | 3 +--
 .../Alpha- Macro expansion- macros-assert_cmpge.out            | 3 +--
 .../Alpha- Macro expansion- macros-assert_cmpgt.out            | 3 +--
 .../Alpha- Macro expansion- macros-assert_cmple.out            | 3 +--
 .../Alpha- Macro expansion- macros-assert_cmplt.out            | 3 +--
 .../Alpha- Macro expansion- macros-assert_cmpneq.out           | 3 +--
 .../Alpha- Macro expansion- macros-assert_eq.out               | 3 +--
 .../Alpha- Macro expansion- macros-assert_ge.out               | 3 +--
 .../Alpha- Macro expansion- macros-assert_gt.out               | 3 +--
 .../Alpha- Macro expansion- macros-assert_le.out               | 3 +--
 .../Alpha- Macro expansion- macros-assert_lt.out               | 3 +--
 .../Alpha- Macro expansion- macros-assert_neq.out              | 3 +--
 .../Alpha- Macro expansion- macros-big_map_get_add.out         | 3 +--
 .../Alpha- Macro expansion- macros-big_map_mem.out             | 3 +--
 .../Alpha- Macro expansion- macros-build_list.out              | 3 +--
 .../Alpha- Macro expansion- macros-carn_and_cdrn.out           | 3 +--
 .../Alpha- Macro expansion- macros-compare.out                 | 3 +--
 .../Alpha- Macro expansion- macros-compare_bytes.out           | 3 +--
 .../contract_macros.ml/Alpha- Macro expansion- macros-fail.out | 2 ++
 .../Alpha- Macro expansion- macros-guestbook.out               | 3 +--
 .../Alpha- Macro expansion- macros-macro_annotations.out       | 3 +--
 .../Alpha- Macro expansion- macros-map_caddaadr.out            | 3 +--
 .../Alpha- Macro expansion- macros-max_in_list.out             | 3 +--
 .../contract_macros.ml/Alpha- Macro expansion- macros-min.out  | 3 +--
 .../Alpha- Macro expansion- macros-pair_macro.out              | 3 +--
 .../Alpha- Macro expansion- macros-set_caddaadr.out            | 3 +--
 .../Alpha- Macro expansion- macros-take_my_money.out           | 3 +--
 .../Alpha- Macro expansion- macros-unpair_macro.out            | 3 +--
 30 files changed, 30 insertions(+), 59 deletions(-)
 delete mode 100644 tests_python/tests_alpha/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--fail.tz].out
 rename tests_python/tests_alpha/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert.tz].out => tezt/tests/expected/contract_macros.ml/Alpha- Macro expansion- macros-assert.out (61%)
 rename tests_python/tests_alpha/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_cmpeq.tz].out => tezt/tests/expected/contract_macros.ml/Alpha- Macro expansion- macros-assert_cmpeq.out (70%)
 rename tests_python/tests_alpha/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_cmpge.tz].out => tezt/tests/expected/contract_macros.ml/Alpha- Macro expansion- macros-assert_cmpge.out (70%)
 rename tests_python/tests_alpha/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_cmpgt.tz].out => tezt/tests/expected/contract_macros.ml/Alpha- Macro expansion- macros-assert_cmpgt.out (70%)
 rename tests_python/tests_alpha/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_cmple.tz].out => tezt/tests/expected/contract_macros.ml/Alpha- Macro expansion- macros-assert_cmple.out (70%)
 rename tests_python/tests_alpha/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_cmplt.tz].out => tezt/tests/expected/contract_macros.ml/Alpha- Macro expansion- macros-assert_cmplt.out (70%)
 rename tests_python/tests_alpha/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_cmpneq.tz].out => tezt/tests/expected/contract_macros.ml/Alpha- Macro expansion- macros-assert_cmpneq.out (69%)
 rename tests_python/tests_alpha/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_eq.tz].out => tezt/tests/expected/contract_macros.ml/Alpha- Macro expansion- macros-assert_eq.out (71%)
 rename tests_python/tests_alpha/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_ge.tz].out => tezt/tests/expected/contract_macros.ml/Alpha- Macro expansion- macros-assert_ge.out (71%)
 rename tests_python/tests_alpha/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_gt.tz].out => tezt/tests/expected/contract_macros.ml/Alpha- Macro expansion- macros-assert_gt.out (71%)
 rename tests_python/tests_alpha/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_le.tz].out => tezt/tests/expected/contract_macros.ml/Alpha- Macro expansion- macros-assert_le.out (71%)
 rename tests_python/tests_alpha/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_lt.tz].out => tezt/tests/expected/contract_macros.ml/Alpha- Macro expansion- macros-assert_lt.out (71%)
 rename tests_python/tests_alpha/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_neq.tz].out => tezt/tests/expected/contract_macros.ml/Alpha- Macro expansion- macros-assert_neq.out (70%)
 rename tests_python/tests_alpha/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--big_map_get_add.tz].out => tezt/tests/expected/contract_macros.ml/Alpha- Macro expansion- macros-big_map_get_add.out (86%)
 rename tests_python/tests_alpha/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--big_map_mem.tz].out => tezt/tests/expected/contract_macros.ml/Alpha- Macro expansion- macros-big_map_mem.out (77%)
 rename tests_python/tests_alpha/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--build_list.tz].out => tezt/tests/expected/contract_macros.ml/Alpha- Macro expansion- macros-build_list.out (84%)
 rename tests_python/tests_alpha/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--carn_and_cdrn.tz].out => tezt/tests/expected/contract_macros.ml/Alpha- Macro expansion- macros-carn_and_cdrn.out (87%)
 rename tests_python/tests_alpha/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--compare.tz].out => tezt/tests/expected/contract_macros.ml/Alpha- Macro expansion- macros-compare.out (85%)
 rename tests_python/tests_alpha/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--compare_bytes.tz].out => tezt/tests/expected/contract_macros.ml/Alpha- Macro expansion- macros-compare_bytes.out (84%)
 create mode 100644 tezt/tests/expected/contract_macros.ml/Alpha- Macro expansion- macros-fail.out
 rename tests_python/tests_alpha/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--guestbook.tz].out => tezt/tests/expected/contract_macros.ml/Alpha- Macro expansion- macros-guestbook.out (80%)
 rename tests_python/tests_alpha/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--macro_annotations.tz].out => tezt/tests/expected/contract_macros.ml/Alpha- Macro expansion- macros-macro_annotations.out (69%)
 rename tests_python/tests_alpha/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--map_caddaadr.tz].out => tezt/tests/expected/contract_macros.ml/Alpha- Macro expansion- macros-map_caddaadr.out (94%)
 rename tests_python/tests_alpha/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--max_in_list.tz].out => tezt/tests/expected/contract_macros.ml/Alpha- Macro expansion- macros-max_in_list.out (80%)
 rename tests_python/tests_alpha/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--min.tz].out => tezt/tests/expected/contract_macros.ml/Alpha- Macro expansion- macros-min.out (71%)
 rename tests_python/tests_alpha/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--pair_macro.tz].out => tezt/tests/expected/contract_macros.ml/Alpha- Macro expansion- macros-pair_macro.out (78%)
 rename tests_python/tests_alpha/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--set_caddaadr.tz].out => tezt/tests/expected/contract_macros.ml/Alpha- Macro expansion- macros-set_caddaadr.out (92%)
 rename tests_python/tests_alpha/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--take_my_money.tz].out => tezt/tests/expected/contract_macros.ml/Alpha- Macro expansion- macros-take_my_money.out (71%)
 rename tests_python/tests_alpha/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--unpair_macro.tz].out => tezt/tests/expected/contract_macros.ml/Alpha- Macro expansion- macros-unpair_macro.out (86%)

diff --git a/tests_python/tests_alpha/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--fail.tz].out b/tests_python/tests_alpha/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--fail.tz].out
deleted file mode 100644
index 93da32c98275..000000000000
--- a/tests_python/tests_alpha/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--fail.tz].out
+++ /dev/null
@@ -1,3 +0,0 @@
-tests_alpha/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macros/fail.tz]
-
-{ parameter unit ; storage unit ; code { { UNIT ; FAILWITH } } }
diff --git a/tests_python/tests_alpha/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert.tz].out b/tezt/tests/expected/contract_macros.ml/Alpha- Macro expansion- macros-assert.out
similarity index 61%
rename from tests_python/tests_alpha/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert.tz].out
rename to tezt/tests/expected/contract_macros.ml/Alpha- Macro expansion- macros-assert.out
index c99726527afb..5931ced0f288 100644
--- a/tests_python/tests_alpha/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert.tz].out
+++ b/tezt/tests/expected/contract_macros.ml/Alpha- Macro expansion- macros-assert.out	
@@ -1,5 +1,3 @@
-tests_alpha/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macros/assert.tz]
-
 { parameter bool ;
   storage unit ;
   code { CAR ;
@@ -7,3 +5,4 @@ tests_alpha/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[ma
          UNIT ;
          NIL operation ;
          PAIR } }
+
diff --git a/tests_python/tests_alpha/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_cmpeq.tz].out b/tezt/tests/expected/contract_macros.ml/Alpha- Macro expansion- macros-assert_cmpeq.out
similarity index 70%
rename from tests_python/tests_alpha/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_cmpeq.tz].out
rename to tezt/tests/expected/contract_macros.ml/Alpha- Macro expansion- macros-assert_cmpeq.out
index 0f10e097b54a..bbe353a76a18 100644
--- a/tests_python/tests_alpha/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_cmpeq.tz].out
+++ b/tezt/tests/expected/contract_macros.ml/Alpha- Macro expansion- macros-assert_cmpeq.out	
@@ -1,5 +1,3 @@
-tests_alpha/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macros/assert_cmpeq.tz]
-
 { parameter (pair int int) ;
   storage unit ;
   code { CAR ;
@@ -10,3 +8,4 @@ tests_alpha/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[ma
          UNIT ;
          NIL operation ;
          PAIR } }
+
diff --git a/tests_python/tests_alpha/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_cmpge.tz].out b/tezt/tests/expected/contract_macros.ml/Alpha- Macro expansion- macros-assert_cmpge.out
similarity index 70%
rename from tests_python/tests_alpha/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_cmpge.tz].out
rename to tezt/tests/expected/contract_macros.ml/Alpha- Macro expansion- macros-assert_cmpge.out
index 804048ae368b..d56c3a72c717 100644
--- a/tests_python/tests_alpha/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_cmpge.tz].out
+++ b/tezt/tests/expected/contract_macros.ml/Alpha- Macro expansion- macros-assert_cmpge.out	
@@ -1,5 +1,3 @@
-tests_alpha/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macros/assert_cmpge.tz]
-
 { parameter (pair int int) ;
   storage unit ;
   code { CAR ;
@@ -10,3 +8,4 @@ tests_alpha/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[ma
          UNIT ;
          NIL operation ;
          PAIR } }
+
diff --git a/tests_python/tests_alpha/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_cmpgt.tz].out b/tezt/tests/expected/contract_macros.ml/Alpha- Macro expansion- macros-assert_cmpgt.out
similarity index 70%
rename from tests_python/tests_alpha/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_cmpgt.tz].out
rename to tezt/tests/expected/contract_macros.ml/Alpha- Macro expansion- macros-assert_cmpgt.out
index 8b94cea30462..ad6419cc57af 100644
--- a/tests_python/tests_alpha/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_cmpgt.tz].out
+++ b/tezt/tests/expected/contract_macros.ml/Alpha- Macro expansion- macros-assert_cmpgt.out	
@@ -1,5 +1,3 @@
-tests_alpha/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macros/assert_cmpgt.tz]
-
 { parameter (pair int int) ;
   storage unit ;
   code { CAR ;
@@ -10,3 +8,4 @@ tests_alpha/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[ma
          UNIT ;
          NIL operation ;
          PAIR } }
+
diff --git a/tests_python/tests_alpha/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_cmple.tz].out b/tezt/tests/expected/contract_macros.ml/Alpha- Macro expansion- macros-assert_cmple.out
similarity index 70%
rename from tests_python/tests_alpha/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_cmple.tz].out
rename to tezt/tests/expected/contract_macros.ml/Alpha- Macro expansion- macros-assert_cmple.out
index 31c9ecdb2858..80d82ea4eb1e 100644
--- a/tests_python/tests_alpha/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_cmple.tz].out
+++ b/tezt/tests/expected/contract_macros.ml/Alpha- Macro expansion- macros-assert_cmple.out	
@@ -1,5 +1,3 @@
-tests_alpha/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macros/assert_cmple.tz]
-
 { parameter (pair int int) ;
   storage unit ;
   code { CAR ;
@@ -10,3 +8,4 @@ tests_alpha/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[ma
          UNIT ;
          NIL operation ;
          PAIR } }
+
diff --git a/tests_python/tests_alpha/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_cmplt.tz].out b/tezt/tests/expected/contract_macros.ml/Alpha- Macro expansion- macros-assert_cmplt.out
similarity index 70%
rename from tests_python/tests_alpha/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_cmplt.tz].out
rename to tezt/tests/expected/contract_macros.ml/Alpha- Macro expansion- macros-assert_cmplt.out
index 7e1dad32b27d..a0b5c69b4c90 100644
--- a/tests_python/tests_alpha/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_cmplt.tz].out
+++ b/tezt/tests/expected/contract_macros.ml/Alpha- Macro expansion- macros-assert_cmplt.out	
@@ -1,5 +1,3 @@
-tests_alpha/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macros/assert_cmplt.tz]
-
 { parameter (pair int int) ;
   storage unit ;
   code { CAR ;
@@ -10,3 +8,4 @@ tests_alpha/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[ma
          UNIT ;
          NIL operation ;
          PAIR } }
+
diff --git a/tests_python/tests_alpha/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_cmpneq.tz].out b/tezt/tests/expected/contract_macros.ml/Alpha- Macro expansion- macros-assert_cmpneq.out
similarity index 69%
rename from tests_python/tests_alpha/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_cmpneq.tz].out
rename to tezt/tests/expected/contract_macros.ml/Alpha- Macro expansion- macros-assert_cmpneq.out
index fe27ed940f3b..9ae5ea93cbd0 100644
--- a/tests_python/tests_alpha/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_cmpneq.tz].out
+++ b/tezt/tests/expected/contract_macros.ml/Alpha- Macro expansion- macros-assert_cmpneq.out	
@@ -1,5 +1,3 @@
-tests_alpha/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macros/assert_cmpneq.tz]
-
 { parameter (pair int int) ;
   storage unit ;
   code { CAR ;
@@ -10,3 +8,4 @@ tests_alpha/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[ma
          UNIT ;
          NIL operation ;
          PAIR } }
+
diff --git a/tests_python/tests_alpha/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_eq.tz].out b/tezt/tests/expected/contract_macros.ml/Alpha- Macro expansion- macros-assert_eq.out
similarity index 71%
rename from tests_python/tests_alpha/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_eq.tz].out
rename to tezt/tests/expected/contract_macros.ml/Alpha- Macro expansion- macros-assert_eq.out
index c3aa58da38e4..ddbecad17d4a 100644
--- a/tests_python/tests_alpha/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_eq.tz].out
+++ b/tezt/tests/expected/contract_macros.ml/Alpha- Macro expansion- macros-assert_eq.out	
@@ -1,5 +1,3 @@
-tests_alpha/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macros/assert_eq.tz]
-
 { parameter (pair int int) ;
   storage unit ;
   code { CAR ;
@@ -11,3 +9,4 @@ tests_alpha/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[ma
          UNIT ;
          NIL operation ;
          PAIR } }
+
diff --git a/tests_python/tests_alpha/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_ge.tz].out b/tezt/tests/expected/contract_macros.ml/Alpha- Macro expansion- macros-assert_ge.out
similarity index 71%
rename from tests_python/tests_alpha/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_ge.tz].out
rename to tezt/tests/expected/contract_macros.ml/Alpha- Macro expansion- macros-assert_ge.out
index faae7df4723c..d4c1645d0517 100644
--- a/tests_python/tests_alpha/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_ge.tz].out
+++ b/tezt/tests/expected/contract_macros.ml/Alpha- Macro expansion- macros-assert_ge.out	
@@ -1,5 +1,3 @@
-tests_alpha/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macros/assert_ge.tz]
-
 { parameter (pair int int) ;
   storage unit ;
   code { CAR ;
@@ -11,3 +9,4 @@ tests_alpha/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[ma
          UNIT ;
          NIL operation ;
          PAIR } }
+
diff --git a/tests_python/tests_alpha/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_gt.tz].out b/tezt/tests/expected/contract_macros.ml/Alpha- Macro expansion- macros-assert_gt.out
similarity index 71%
rename from tests_python/tests_alpha/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_gt.tz].out
rename to tezt/tests/expected/contract_macros.ml/Alpha- Macro expansion- macros-assert_gt.out
index 9f83af2a2d9e..6cf69f3845cf 100644
--- a/tests_python/tests_alpha/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_gt.tz].out
+++ b/tezt/tests/expected/contract_macros.ml/Alpha- Macro expansion- macros-assert_gt.out	
@@ -1,5 +1,3 @@
-tests_alpha/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macros/assert_gt.tz]
-
 { parameter (pair int int) ;
   storage unit ;
   code { CAR ;
@@ -11,3 +9,4 @@ tests_alpha/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[ma
          UNIT ;
          NIL operation ;
          PAIR } }
+
diff --git a/tests_python/tests_alpha/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_le.tz].out b/tezt/tests/expected/contract_macros.ml/Alpha- Macro expansion- macros-assert_le.out
similarity index 71%
rename from tests_python/tests_alpha/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_le.tz].out
rename to tezt/tests/expected/contract_macros.ml/Alpha- Macro expansion- macros-assert_le.out
index 7eb227f904e2..81938328c570 100644
--- a/tests_python/tests_alpha/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_le.tz].out
+++ b/tezt/tests/expected/contract_macros.ml/Alpha- Macro expansion- macros-assert_le.out	
@@ -1,5 +1,3 @@
-tests_alpha/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macros/assert_le.tz]
-
 { parameter (pair int int) ;
   storage unit ;
   code { CAR ;
@@ -11,3 +9,4 @@ tests_alpha/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[ma
          UNIT ;
          NIL operation ;
          PAIR } }
+
diff --git a/tests_python/tests_alpha/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_lt.tz].out b/tezt/tests/expected/contract_macros.ml/Alpha- Macro expansion- macros-assert_lt.out
similarity index 71%
rename from tests_python/tests_alpha/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_lt.tz].out
rename to tezt/tests/expected/contract_macros.ml/Alpha- Macro expansion- macros-assert_lt.out
index 3692548f8259..3faecebbb2be 100644
--- a/tests_python/tests_alpha/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_lt.tz].out
+++ b/tezt/tests/expected/contract_macros.ml/Alpha- Macro expansion- macros-assert_lt.out	
@@ -1,5 +1,3 @@
-tests_alpha/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macros/assert_lt.tz]
-
 { parameter (pair int int) ;
   storage unit ;
   code { CAR ;
@@ -11,3 +9,4 @@ tests_alpha/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[ma
          UNIT ;
          NIL operation ;
          PAIR } }
+
diff --git a/tests_python/tests_alpha/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_neq.tz].out b/tezt/tests/expected/contract_macros.ml/Alpha- Macro expansion- macros-assert_neq.out
similarity index 70%
rename from tests_python/tests_alpha/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_neq.tz].out
rename to tezt/tests/expected/contract_macros.ml/Alpha- Macro expansion- macros-assert_neq.out
index 34422ae6ed57..97ad56e0faf1 100644
--- a/tests_python/tests_alpha/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_neq.tz].out
+++ b/tezt/tests/expected/contract_macros.ml/Alpha- Macro expansion- macros-assert_neq.out	
@@ -1,5 +1,3 @@
-tests_alpha/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macros/assert_neq.tz]
-
 { parameter (pair int int) ;
   storage unit ;
   code { CAR ;
@@ -11,3 +9,4 @@ tests_alpha/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[ma
          UNIT ;
          NIL operation ;
          PAIR } }
+
diff --git a/tests_python/tests_alpha/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--big_map_get_add.tz].out b/tezt/tests/expected/contract_macros.ml/Alpha- Macro expansion- macros-big_map_get_add.out
similarity index 86%
rename from tests_python/tests_alpha/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--big_map_get_add.tz].out
rename to tezt/tests/expected/contract_macros.ml/Alpha- Macro expansion- macros-big_map_get_add.out
index afb71b8e493a..fd1950c5e72d 100644
--- a/tests_python/tests_alpha/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--big_map_get_add.tz].out
+++ b/tezt/tests/expected/contract_macros.ml/Alpha- Macro expansion- macros-big_map_get_add.out	
@@ -1,5 +1,3 @@
-tests_alpha/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macros/big_map_get_add.tz]
-
 { parameter (pair (pair %set_pair int (option int)) (pair %check_pair int (option int))) ;
   storage (pair (big_map int int) unit) ;
   code { DUP ;
@@ -21,3 +19,4 @@ tests_alpha/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[ma
          PAIR ;
          NIL operation ;
          PAIR } }
+
diff --git a/tests_python/tests_alpha/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--big_map_mem.tz].out b/tezt/tests/expected/contract_macros.ml/Alpha- Macro expansion- macros-big_map_mem.out
similarity index 77%
rename from tests_python/tests_alpha/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--big_map_mem.tz].out
rename to tezt/tests/expected/contract_macros.ml/Alpha- Macro expansion- macros-big_map_mem.out
index 0b525ef111fd..7f58503d9114 100644
--- a/tests_python/tests_alpha/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--big_map_mem.tz].out
+++ b/tezt/tests/expected/contract_macros.ml/Alpha- Macro expansion- macros-big_map_mem.out	
@@ -1,5 +1,3 @@
-tests_alpha/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macros/big_map_mem.tz]
-
 { parameter (pair int bool) ;
   storage (pair (big_map int unit) unit) ;
   code { DUP ;
@@ -12,3 +10,4 @@ tests_alpha/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[ma
          PAIR ;
          NIL operation ;
          PAIR } }
+
diff --git a/tests_python/tests_alpha/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--build_list.tz].out b/tezt/tests/expected/contract_macros.ml/Alpha- Macro expansion- macros-build_list.out
similarity index 84%
rename from tests_python/tests_alpha/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--build_list.tz].out
rename to tezt/tests/expected/contract_macros.ml/Alpha- Macro expansion- macros-build_list.out
index 8dd2bc81f1d8..4ef9f940b1d0 100644
--- a/tests_python/tests_alpha/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--build_list.tz].out
+++ b/tezt/tests/expected/contract_macros.ml/Alpha- Macro expansion- macros-build_list.out	
@@ -1,5 +1,3 @@
-tests_alpha/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macros/build_list.tz]
-
 { parameter nat ;
   storage (list nat) ;
   code { CAR @counter ;
@@ -22,3 +20,4 @@ tests_alpha/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[ma
          CONS ;
          NIL operation ;
          PAIR } }
+
diff --git a/tests_python/tests_alpha/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--carn_and_cdrn.tz].out b/tezt/tests/expected/contract_macros.ml/Alpha- Macro expansion- macros-carn_and_cdrn.out
similarity index 87%
rename from tests_python/tests_alpha/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--carn_and_cdrn.tz].out
rename to tezt/tests/expected/contract_macros.ml/Alpha- Macro expansion- macros-carn_and_cdrn.out
index 995928cfa119..4cda8ad36989 100644
--- a/tests_python/tests_alpha/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--carn_and_cdrn.tz].out
+++ b/tezt/tests/expected/contract_macros.ml/Alpha- Macro expansion- macros-carn_and_cdrn.out	
@@ -1,5 +1,3 @@
-tests_alpha/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macros/carn_and_cdrn.tz]
-
 { parameter (pair nat nat nat unit) ;
   storage unit ;
   code { CAR ;
@@ -27,3 +25,4 @@ tests_alpha/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[ma
          UNIT ;
          NIL operation ;
          PAIR } }
+
diff --git a/tests_python/tests_alpha/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--compare.tz].out b/tezt/tests/expected/contract_macros.ml/Alpha- Macro expansion- macros-compare.out
similarity index 85%
rename from tests_python/tests_alpha/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--compare.tz].out
rename to tezt/tests/expected/contract_macros.ml/Alpha- Macro expansion- macros-compare.out
index 0d507cf27e7f..4292f6769b91 100644
--- a/tests_python/tests_alpha/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--compare.tz].out
+++ b/tezt/tests/expected/contract_macros.ml/Alpha- Macro expansion- macros-compare.out	
@@ -1,5 +1,3 @@
-tests_alpha/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macros/compare.tz]
-
 { parameter (pair mutez mutez) ;
   storage (list bool) ;
   code { CAR ;
@@ -20,3 +18,4 @@ tests_alpha/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[ma
          CONS ;
          NIL operation ;
          PAIR } }
+
diff --git a/tests_python/tests_alpha/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--compare_bytes.tz].out b/tezt/tests/expected/contract_macros.ml/Alpha- Macro expansion- macros-compare_bytes.out
similarity index 84%
rename from tests_python/tests_alpha/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--compare_bytes.tz].out
rename to tezt/tests/expected/contract_macros.ml/Alpha- Macro expansion- macros-compare_bytes.out
index deb4163ec951..0b52eb3a3741 100644
--- a/tests_python/tests_alpha/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--compare_bytes.tz].out
+++ b/tezt/tests/expected/contract_macros.ml/Alpha- Macro expansion- macros-compare_bytes.out	
@@ -1,5 +1,3 @@
-tests_alpha/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macros/compare_bytes.tz]
-
 { parameter (pair bytes bytes) ;
   storage (list bool) ;
   code { CAR ;
@@ -20,3 +18,4 @@ tests_alpha/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[ma
          CONS ;
          NIL operation ;
          PAIR } }
+
diff --git a/tezt/tests/expected/contract_macros.ml/Alpha- Macro expansion- macros-fail.out b/tezt/tests/expected/contract_macros.ml/Alpha- Macro expansion- macros-fail.out
new file mode 100644
index 000000000000..a3007c04a48a
--- /dev/null
+++ b/tezt/tests/expected/contract_macros.ml/Alpha- Macro expansion- macros-fail.out	
@@ -0,0 +1,2 @@
+{ parameter unit ; storage unit ; code { { UNIT ; FAILWITH } } }
+
diff --git a/tests_python/tests_alpha/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--guestbook.tz].out b/tezt/tests/expected/contract_macros.ml/Alpha- Macro expansion- macros-guestbook.out
similarity index 80%
rename from tests_python/tests_alpha/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--guestbook.tz].out
rename to tezt/tests/expected/contract_macros.ml/Alpha- Macro expansion- macros-guestbook.out
index 80feac1f2dfa..007315d9f5c1 100644
--- a/tests_python/tests_alpha/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--guestbook.tz].out
+++ b/tezt/tests/expected/contract_macros.ml/Alpha- Macro expansion- macros-guestbook.out	
@@ -1,5 +1,3 @@
-tests_alpha/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macros/guestbook.tz]
-
 { parameter string ;
   storage (map address (option string)) ;
   code { UNPAIR @message @guestbook ;
@@ -16,3 +14,4 @@ tests_alpha/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[ma
          UPDATE ;
          NIL operation ;
          PAIR } }
+
diff --git a/tests_python/tests_alpha/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--macro_annotations.tz].out b/tezt/tests/expected/contract_macros.ml/Alpha- Macro expansion- macros-macro_annotations.out
similarity index 69%
rename from tests_python/tests_alpha/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--macro_annotations.tz].out
rename to tezt/tests/expected/contract_macros.ml/Alpha- Macro expansion- macros-macro_annotations.out
index e30263d775be..e0004b030af0 100644
--- a/tests_python/tests_alpha/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--macro_annotations.tz].out
+++ b/tezt/tests/expected/contract_macros.ml/Alpha- Macro expansion- macros-macro_annotations.out	
@@ -1,5 +1,3 @@
-tests_alpha/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macros/macro_annotations.tz]
-
 { parameter unit ;
   storage (pair (unit %truc) unit) ;
   code { DROP ;
@@ -11,3 +9,4 @@ tests_alpha/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[ma
          DIP { DROP ; DROP } ;
          NIL operation ;
          PAIR } }
+
diff --git a/tests_python/tests_alpha/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--map_caddaadr.tz].out b/tezt/tests/expected/contract_macros.ml/Alpha- Macro expansion- macros-map_caddaadr.out
similarity index 94%
rename from tests_python/tests_alpha/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--map_caddaadr.tz].out
rename to tezt/tests/expected/contract_macros.ml/Alpha- Macro expansion- macros-map_caddaadr.out
index 40a4c9dfd078..58b5cf2acdee 100644
--- a/tests_python/tests_alpha/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--map_caddaadr.tz].out
+++ b/tezt/tests/expected/contract_macros.ml/Alpha- Macro expansion- macros-map_caddaadr.out	
@@ -1,5 +1,3 @@
-tests_alpha/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macros/map_caddaadr.tz]
-
 { parameter unit ;
   storage (pair (pair nat (pair nat (pair (pair (pair (nat %p) (mutez %value)) nat) nat))) nat) ;
   code { { DUP ;
@@ -38,3 +36,4 @@ tests_alpha/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[ma
          NIL operation ;
          SWAP ;
          { CDR @%% ; SWAP ; PAIR % %@ } } }
+
diff --git a/tests_python/tests_alpha/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--max_in_list.tz].out b/tezt/tests/expected/contract_macros.ml/Alpha- Macro expansion- macros-max_in_list.out
similarity index 80%
rename from tests_python/tests_alpha/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--max_in_list.tz].out
rename to tezt/tests/expected/contract_macros.ml/Alpha- Macro expansion- macros-max_in_list.out
index 27bc45e440f3..73b02aecae21 100644
--- a/tests_python/tests_alpha/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--max_in_list.tz].out
+++ b/tezt/tests/expected/contract_macros.ml/Alpha- Macro expansion- macros-max_in_list.out	
@@ -1,5 +1,3 @@
-tests_alpha/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macros/max_in_list.tz]
-
 { parameter (list int) ;
   storage (option int) ;
   code { CAR ;
@@ -15,3 +13,4 @@ tests_alpha/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[ma
                     SOME } } ;
          NIL operation ;
          PAIR } }
+
diff --git a/tests_python/tests_alpha/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--min.tz].out b/tezt/tests/expected/contract_macros.ml/Alpha- Macro expansion- macros-min.out
similarity index 71%
rename from tests_python/tests_alpha/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--min.tz].out
rename to tezt/tests/expected/contract_macros.ml/Alpha- Macro expansion- macros-min.out
index 0f06a38036f8..25b53381539f 100644
--- a/tests_python/tests_alpha/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--min.tz].out
+++ b/tezt/tests/expected/contract_macros.ml/Alpha- Macro expansion- macros-min.out	
@@ -1,5 +1,3 @@
-tests_alpha/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macros/min.tz]
-
 { parameter (pair int int) ;
   storage int ;
   code { CAR ;
@@ -11,3 +9,4 @@ tests_alpha/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[ma
          IF { CAR } { CDR } ;
          NIL operation ;
          PAIR } }
+
diff --git a/tests_python/tests_alpha/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--pair_macro.tz].out b/tezt/tests/expected/contract_macros.ml/Alpha- Macro expansion- macros-pair_macro.out
similarity index 78%
rename from tests_python/tests_alpha/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--pair_macro.tz].out
rename to tezt/tests/expected/contract_macros.ml/Alpha- Macro expansion- macros-pair_macro.out
index a401a6acf10e..c690e041b539 100644
--- a/tests_python/tests_alpha/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--pair_macro.tz].out
+++ b/tezt/tests/expected/contract_macros.ml/Alpha- Macro expansion- macros-pair_macro.out	
@@ -1,5 +1,3 @@
-tests_alpha/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macros/pair_macro.tz]
-
 { parameter unit ;
   storage unit ;
   code { UNIT ;
@@ -16,3 +14,4 @@ tests_alpha/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[ma
          CDR ;
          NIL operation ;
          PAIR } }
+
diff --git a/tests_python/tests_alpha/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--set_caddaadr.tz].out b/tezt/tests/expected/contract_macros.ml/Alpha- Macro expansion- macros-set_caddaadr.out
similarity index 92%
rename from tests_python/tests_alpha/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--set_caddaadr.tz].out
rename to tezt/tests/expected/contract_macros.ml/Alpha- Macro expansion- macros-set_caddaadr.out
index 57935e9e501a..40e1f41cf5b3 100644
--- a/tests_python/tests_alpha/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--set_caddaadr.tz].out
+++ b/tezt/tests/expected/contract_macros.ml/Alpha- Macro expansion- macros-set_caddaadr.out	
@@ -1,5 +1,3 @@
-tests_alpha/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macros/set_caddaadr.tz]
-
 { parameter mutez ;
   storage (pair (pair nat (pair nat (pair (pair (pair (nat %p) (mutez %value)) nat) nat))) nat) ;
   code { DUP ;
@@ -31,3 +29,4 @@ tests_alpha/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[ma
            PAIR %@ %@ @toplevel_pair_name } ;
          NIL operation ;
          PAIR } }
+
diff --git a/tests_python/tests_alpha/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--take_my_money.tz].out b/tezt/tests/expected/contract_macros.ml/Alpha- Macro expansion- macros-take_my_money.out
similarity index 71%
rename from tests_python/tests_alpha/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--take_my_money.tz].out
rename to tezt/tests/expected/contract_macros.ml/Alpha- Macro expansion- macros-take_my_money.out
index 6121622c4952..e337e046dd67 100644
--- a/tests_python/tests_alpha/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--take_my_money.tz].out
+++ b/tezt/tests/expected/contract_macros.ml/Alpha- Macro expansion- macros-take_my_money.out	
@@ -1,5 +1,3 @@
-tests_alpha/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macros/take_my_money.tz]
-
 { parameter key_hash ;
   storage unit ;
   code { CAR ;
@@ -12,3 +10,4 @@ tests_alpha/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[ma
          SWAP ;
          CONS ;
          PAIR } }
+
diff --git a/tests_python/tests_alpha/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--unpair_macro.tz].out b/tezt/tests/expected/contract_macros.ml/Alpha- Macro expansion- macros-unpair_macro.out
similarity index 86%
rename from tests_python/tests_alpha/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--unpair_macro.tz].out
rename to tezt/tests/expected/contract_macros.ml/Alpha- Macro expansion- macros-unpair_macro.out
index 692aac72f1ea..54c838c9052c 100644
--- a/tests_python/tests_alpha/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--unpair_macro.tz].out
+++ b/tezt/tests/expected/contract_macros.ml/Alpha- Macro expansion- macros-unpair_macro.out	
@@ -1,5 +1,3 @@
-tests_alpha/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macros/unpair_macro.tz]
-
 { parameter (unit :param_unit) ;
   storage (unit :u1) ;
   code { DROP ;
@@ -18,3 +16,4 @@ tests_alpha/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[ma
          DIP { DROP ; DROP ; DROP } ;
          NIL operation ;
          PAIR } }
+
-- 
GitLab


From f60e393d27e5f2976a89b64bec72d0a5032d42a2 Mon Sep 17 00:00:00 2001
From: Arvid Jakobsson <arvid.jakobsson@nomadic-labs.com>
Date: Tue, 24 Jan 2023 13:53:26 +0100
Subject: [PATCH 7/8] Tezt/tests: [test_contract_macros.py] traces for Mumbai

---
 ...stMacroExpansion::test_macro_expansion[macros--fail.tz].out | 3 ---
 .../Mumbai- Macro expansion- macros-assert.out                 | 3 +--
 .../Mumbai- Macro expansion- macros-assert_cmpeq.out           | 3 +--
 .../Mumbai- Macro expansion- macros-assert_cmpge.out           | 3 +--
 .../Mumbai- Macro expansion- macros-assert_cmpgt.out           | 3 +--
 .../Mumbai- Macro expansion- macros-assert_cmple.out           | 3 +--
 .../Mumbai- Macro expansion- macros-assert_cmplt.out           | 3 +--
 .../Mumbai- Macro expansion- macros-assert_cmpneq.out          | 3 +--
 .../Mumbai- Macro expansion- macros-assert_eq.out              | 3 +--
 .../Mumbai- Macro expansion- macros-assert_ge.out              | 3 +--
 .../Mumbai- Macro expansion- macros-assert_gt.out              | 3 +--
 .../Mumbai- Macro expansion- macros-assert_le.out              | 3 +--
 .../Mumbai- Macro expansion- macros-assert_lt.out              | 3 +--
 .../Mumbai- Macro expansion- macros-assert_neq.out             | 3 +--
 .../Mumbai- Macro expansion- macros-big_map_get_add.out        | 3 +--
 .../Mumbai- Macro expansion- macros-big_map_mem.out            | 3 +--
 .../Mumbai- Macro expansion- macros-build_list.out             | 3 +--
 .../Mumbai- Macro expansion- macros-carn_and_cdrn.out          | 3 +--
 .../Mumbai- Macro expansion- macros-compare.out                | 3 +--
 .../Mumbai- Macro expansion- macros-compare_bytes.out          | 3 +--
 .../Mumbai- Macro expansion- macros-fail.out                   | 2 ++
 .../Mumbai- Macro expansion- macros-guestbook.out              | 3 +--
 .../Mumbai- Macro expansion- macros-macro_annotations.out      | 3 +--
 .../Mumbai- Macro expansion- macros-map_caddaadr.out           | 3 +--
 .../Mumbai- Macro expansion- macros-max_in_list.out            | 3 +--
 .../contract_macros.ml/Mumbai- Macro expansion- macros-min.out | 3 +--
 .../Mumbai- Macro expansion- macros-pair_macro.out             | 3 +--
 .../Mumbai- Macro expansion- macros-set_caddaadr.out           | 3 +--
 .../Mumbai- Macro expansion- macros-take_my_money.out          | 3 +--
 .../Mumbai- Macro expansion- macros-unpair_macro.out           | 3 +--
 30 files changed, 30 insertions(+), 59 deletions(-)
 delete mode 100644 tests_python/tests_016/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--fail.tz].out
 rename tests_python/tests_016/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert.tz].out => tezt/tests/expected/contract_macros.ml/Mumbai- Macro expansion- macros-assert.out (62%)
 rename tests_python/tests_016/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_cmpeq.tz].out => tezt/tests/expected/contract_macros.ml/Mumbai- Macro expansion- macros-assert_cmpeq.out (70%)
 rename tests_python/tests_016/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_cmpge.tz].out => tezt/tests/expected/contract_macros.ml/Mumbai- Macro expansion- macros-assert_cmpge.out (70%)
 rename tests_python/tests_016/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_cmpgt.tz].out => tezt/tests/expected/contract_macros.ml/Mumbai- Macro expansion- macros-assert_cmpgt.out (70%)
 rename tests_python/tests_016/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_cmple.tz].out => tezt/tests/expected/contract_macros.ml/Mumbai- Macro expansion- macros-assert_cmple.out (70%)
 rename tests_python/tests_016/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_cmplt.tz].out => tezt/tests/expected/contract_macros.ml/Mumbai- Macro expansion- macros-assert_cmplt.out (70%)
 rename tests_python/tests_016/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_cmpneq.tz].out => tezt/tests/expected/contract_macros.ml/Mumbai- Macro expansion- macros-assert_cmpneq.out (70%)
 rename tests_python/tests_016/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_eq.tz].out => tezt/tests/expected/contract_macros.ml/Mumbai- Macro expansion- macros-assert_eq.out (71%)
 rename tests_python/tests_016/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_ge.tz].out => tezt/tests/expected/contract_macros.ml/Mumbai- Macro expansion- macros-assert_ge.out (71%)
 rename tests_python/tests_016/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_gt.tz].out => tezt/tests/expected/contract_macros.ml/Mumbai- Macro expansion- macros-assert_gt.out (71%)
 rename tests_python/tests_016/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_le.tz].out => tezt/tests/expected/contract_macros.ml/Mumbai- Macro expansion- macros-assert_le.out (71%)
 rename tests_python/tests_016/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_lt.tz].out => tezt/tests/expected/contract_macros.ml/Mumbai- Macro expansion- macros-assert_lt.out (71%)
 rename tests_python/tests_016/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_neq.tz].out => tezt/tests/expected/contract_macros.ml/Mumbai- Macro expansion- macros-assert_neq.out (71%)
 rename tests_python/tests_016/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--big_map_get_add.tz].out => tezt/tests/expected/contract_macros.ml/Mumbai- Macro expansion- macros-big_map_get_add.out (87%)
 rename tests_python/tests_016/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--big_map_mem.tz].out => tezt/tests/expected/contract_macros.ml/Mumbai- Macro expansion- macros-big_map_mem.out (78%)
 rename tests_python/tests_016/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--build_list.tz].out => tezt/tests/expected/contract_macros.ml/Mumbai- Macro expansion- macros-build_list.out (84%)
 rename tests_python/tests_016/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--carn_and_cdrn.tz].out => tezt/tests/expected/contract_macros.ml/Mumbai- Macro expansion- macros-carn_and_cdrn.out (88%)
 rename tests_python/tests_016/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--compare.tz].out => tezt/tests/expected/contract_macros.ml/Mumbai- Macro expansion- macros-compare.out (85%)
 rename tests_python/tests_016/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--compare_bytes.tz].out => tezt/tests/expected/contract_macros.ml/Mumbai- Macro expansion- macros-compare_bytes.out (85%)
 create mode 100644 tezt/tests/expected/contract_macros.ml/Mumbai- Macro expansion- macros-fail.out
 rename tests_python/tests_016/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--guestbook.tz].out => tezt/tests/expected/contract_macros.ml/Mumbai- Macro expansion- macros-guestbook.out (80%)
 rename tests_python/tests_016/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--macro_annotations.tz].out => tezt/tests/expected/contract_macros.ml/Mumbai- Macro expansion- macros-macro_annotations.out (70%)
 rename tests_python/tests_016/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--map_caddaadr.tz].out => tezt/tests/expected/contract_macros.ml/Mumbai- Macro expansion- macros-map_caddaadr.out (94%)
 rename tests_python/tests_016/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--max_in_list.tz].out => tezt/tests/expected/contract_macros.ml/Mumbai- Macro expansion- macros-max_in_list.out (81%)
 rename tests_python/tests_016/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--min.tz].out => tezt/tests/expected/contract_macros.ml/Mumbai- Macro expansion- macros-min.out (71%)
 rename tests_python/tests_016/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--pair_macro.tz].out => tezt/tests/expected/contract_macros.ml/Mumbai- Macro expansion- macros-pair_macro.out (78%)
 rename tests_python/tests_016/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--set_caddaadr.tz].out => tezt/tests/expected/contract_macros.ml/Mumbai- Macro expansion- macros-set_caddaadr.out (92%)
 rename tests_python/tests_016/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--take_my_money.tz].out => tezt/tests/expected/contract_macros.ml/Mumbai- Macro expansion- macros-take_my_money.out (71%)
 rename tests_python/tests_016/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--unpair_macro.tz].out => tezt/tests/expected/contract_macros.ml/Mumbai- Macro expansion- macros-unpair_macro.out (86%)

diff --git a/tests_python/tests_016/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--fail.tz].out b/tests_python/tests_016/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--fail.tz].out
deleted file mode 100644
index 97baba6bf814..000000000000
--- a/tests_python/tests_016/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--fail.tz].out
+++ /dev/null
@@ -1,3 +0,0 @@
-tests_016/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macros/fail.tz]
-
-{ parameter unit ; storage unit ; code { { UNIT ; FAILWITH } } }
diff --git a/tests_python/tests_016/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert.tz].out b/tezt/tests/expected/contract_macros.ml/Mumbai- Macro expansion- macros-assert.out
similarity index 62%
rename from tests_python/tests_016/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert.tz].out
rename to tezt/tests/expected/contract_macros.ml/Mumbai- Macro expansion- macros-assert.out
index 9d25272c43d3..5931ced0f288 100644
--- a/tests_python/tests_016/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert.tz].out
+++ b/tezt/tests/expected/contract_macros.ml/Mumbai- Macro expansion- macros-assert.out	
@@ -1,5 +1,3 @@
-tests_016/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macros/assert.tz]
-
 { parameter bool ;
   storage unit ;
   code { CAR ;
@@ -7,3 +5,4 @@ tests_016/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macr
          UNIT ;
          NIL operation ;
          PAIR } }
+
diff --git a/tests_python/tests_016/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_cmpeq.tz].out b/tezt/tests/expected/contract_macros.ml/Mumbai- Macro expansion- macros-assert_cmpeq.out
similarity index 70%
rename from tests_python/tests_016/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_cmpeq.tz].out
rename to tezt/tests/expected/contract_macros.ml/Mumbai- Macro expansion- macros-assert_cmpeq.out
index 55de4e2f4c97..bbe353a76a18 100644
--- a/tests_python/tests_016/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_cmpeq.tz].out
+++ b/tezt/tests/expected/contract_macros.ml/Mumbai- Macro expansion- macros-assert_cmpeq.out	
@@ -1,5 +1,3 @@
-tests_016/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macros/assert_cmpeq.tz]
-
 { parameter (pair int int) ;
   storage unit ;
   code { CAR ;
@@ -10,3 +8,4 @@ tests_016/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macr
          UNIT ;
          NIL operation ;
          PAIR } }
+
diff --git a/tests_python/tests_016/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_cmpge.tz].out b/tezt/tests/expected/contract_macros.ml/Mumbai- Macro expansion- macros-assert_cmpge.out
similarity index 70%
rename from tests_python/tests_016/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_cmpge.tz].out
rename to tezt/tests/expected/contract_macros.ml/Mumbai- Macro expansion- macros-assert_cmpge.out
index e722ff098362..d56c3a72c717 100644
--- a/tests_python/tests_016/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_cmpge.tz].out
+++ b/tezt/tests/expected/contract_macros.ml/Mumbai- Macro expansion- macros-assert_cmpge.out	
@@ -1,5 +1,3 @@
-tests_016/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macros/assert_cmpge.tz]
-
 { parameter (pair int int) ;
   storage unit ;
   code { CAR ;
@@ -10,3 +8,4 @@ tests_016/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macr
          UNIT ;
          NIL operation ;
          PAIR } }
+
diff --git a/tests_python/tests_016/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_cmpgt.tz].out b/tezt/tests/expected/contract_macros.ml/Mumbai- Macro expansion- macros-assert_cmpgt.out
similarity index 70%
rename from tests_python/tests_016/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_cmpgt.tz].out
rename to tezt/tests/expected/contract_macros.ml/Mumbai- Macro expansion- macros-assert_cmpgt.out
index 2d05af7960b4..ad6419cc57af 100644
--- a/tests_python/tests_016/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_cmpgt.tz].out
+++ b/tezt/tests/expected/contract_macros.ml/Mumbai- Macro expansion- macros-assert_cmpgt.out	
@@ -1,5 +1,3 @@
-tests_016/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macros/assert_cmpgt.tz]
-
 { parameter (pair int int) ;
   storage unit ;
   code { CAR ;
@@ -10,3 +8,4 @@ tests_016/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macr
          UNIT ;
          NIL operation ;
          PAIR } }
+
diff --git a/tests_python/tests_016/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_cmple.tz].out b/tezt/tests/expected/contract_macros.ml/Mumbai- Macro expansion- macros-assert_cmple.out
similarity index 70%
rename from tests_python/tests_016/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_cmple.tz].out
rename to tezt/tests/expected/contract_macros.ml/Mumbai- Macro expansion- macros-assert_cmple.out
index 62dadfc741d4..80d82ea4eb1e 100644
--- a/tests_python/tests_016/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_cmple.tz].out
+++ b/tezt/tests/expected/contract_macros.ml/Mumbai- Macro expansion- macros-assert_cmple.out	
@@ -1,5 +1,3 @@
-tests_016/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macros/assert_cmple.tz]
-
 { parameter (pair int int) ;
   storage unit ;
   code { CAR ;
@@ -10,3 +8,4 @@ tests_016/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macr
          UNIT ;
          NIL operation ;
          PAIR } }
+
diff --git a/tests_python/tests_016/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_cmplt.tz].out b/tezt/tests/expected/contract_macros.ml/Mumbai- Macro expansion- macros-assert_cmplt.out
similarity index 70%
rename from tests_python/tests_016/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_cmplt.tz].out
rename to tezt/tests/expected/contract_macros.ml/Mumbai- Macro expansion- macros-assert_cmplt.out
index d178c78c16b0..a0b5c69b4c90 100644
--- a/tests_python/tests_016/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_cmplt.tz].out
+++ b/tezt/tests/expected/contract_macros.ml/Mumbai- Macro expansion- macros-assert_cmplt.out	
@@ -1,5 +1,3 @@
-tests_016/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macros/assert_cmplt.tz]
-
 { parameter (pair int int) ;
   storage unit ;
   code { CAR ;
@@ -10,3 +8,4 @@ tests_016/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macr
          UNIT ;
          NIL operation ;
          PAIR } }
+
diff --git a/tests_python/tests_016/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_cmpneq.tz].out b/tezt/tests/expected/contract_macros.ml/Mumbai- Macro expansion- macros-assert_cmpneq.out
similarity index 70%
rename from tests_python/tests_016/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_cmpneq.tz].out
rename to tezt/tests/expected/contract_macros.ml/Mumbai- Macro expansion- macros-assert_cmpneq.out
index 41288cac1bdf..9ae5ea93cbd0 100644
--- a/tests_python/tests_016/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_cmpneq.tz].out
+++ b/tezt/tests/expected/contract_macros.ml/Mumbai- Macro expansion- macros-assert_cmpneq.out	
@@ -1,5 +1,3 @@
-tests_016/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macros/assert_cmpneq.tz]
-
 { parameter (pair int int) ;
   storage unit ;
   code { CAR ;
@@ -10,3 +8,4 @@ tests_016/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macr
          UNIT ;
          NIL operation ;
          PAIR } }
+
diff --git a/tests_python/tests_016/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_eq.tz].out b/tezt/tests/expected/contract_macros.ml/Mumbai- Macro expansion- macros-assert_eq.out
similarity index 71%
rename from tests_python/tests_016/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_eq.tz].out
rename to tezt/tests/expected/contract_macros.ml/Mumbai- Macro expansion- macros-assert_eq.out
index b318d5148938..ddbecad17d4a 100644
--- a/tests_python/tests_016/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_eq.tz].out
+++ b/tezt/tests/expected/contract_macros.ml/Mumbai- Macro expansion- macros-assert_eq.out	
@@ -1,5 +1,3 @@
-tests_016/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macros/assert_eq.tz]
-
 { parameter (pair int int) ;
   storage unit ;
   code { CAR ;
@@ -11,3 +9,4 @@ tests_016/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macr
          UNIT ;
          NIL operation ;
          PAIR } }
+
diff --git a/tests_python/tests_016/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_ge.tz].out b/tezt/tests/expected/contract_macros.ml/Mumbai- Macro expansion- macros-assert_ge.out
similarity index 71%
rename from tests_python/tests_016/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_ge.tz].out
rename to tezt/tests/expected/contract_macros.ml/Mumbai- Macro expansion- macros-assert_ge.out
index b80888a2a113..d4c1645d0517 100644
--- a/tests_python/tests_016/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_ge.tz].out
+++ b/tezt/tests/expected/contract_macros.ml/Mumbai- Macro expansion- macros-assert_ge.out	
@@ -1,5 +1,3 @@
-tests_016/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macros/assert_ge.tz]
-
 { parameter (pair int int) ;
   storage unit ;
   code { CAR ;
@@ -11,3 +9,4 @@ tests_016/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macr
          UNIT ;
          NIL operation ;
          PAIR } }
+
diff --git a/tests_python/tests_016/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_gt.tz].out b/tezt/tests/expected/contract_macros.ml/Mumbai- Macro expansion- macros-assert_gt.out
similarity index 71%
rename from tests_python/tests_016/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_gt.tz].out
rename to tezt/tests/expected/contract_macros.ml/Mumbai- Macro expansion- macros-assert_gt.out
index fce53219e57d..6cf69f3845cf 100644
--- a/tests_python/tests_016/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_gt.tz].out
+++ b/tezt/tests/expected/contract_macros.ml/Mumbai- Macro expansion- macros-assert_gt.out	
@@ -1,5 +1,3 @@
-tests_016/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macros/assert_gt.tz]
-
 { parameter (pair int int) ;
   storage unit ;
   code { CAR ;
@@ -11,3 +9,4 @@ tests_016/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macr
          UNIT ;
          NIL operation ;
          PAIR } }
+
diff --git a/tests_python/tests_016/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_le.tz].out b/tezt/tests/expected/contract_macros.ml/Mumbai- Macro expansion- macros-assert_le.out
similarity index 71%
rename from tests_python/tests_016/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_le.tz].out
rename to tezt/tests/expected/contract_macros.ml/Mumbai- Macro expansion- macros-assert_le.out
index 63c86a9eb1d6..81938328c570 100644
--- a/tests_python/tests_016/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_le.tz].out
+++ b/tezt/tests/expected/contract_macros.ml/Mumbai- Macro expansion- macros-assert_le.out	
@@ -1,5 +1,3 @@
-tests_016/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macros/assert_le.tz]
-
 { parameter (pair int int) ;
   storage unit ;
   code { CAR ;
@@ -11,3 +9,4 @@ tests_016/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macr
          UNIT ;
          NIL operation ;
          PAIR } }
+
diff --git a/tests_python/tests_016/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_lt.tz].out b/tezt/tests/expected/contract_macros.ml/Mumbai- Macro expansion- macros-assert_lt.out
similarity index 71%
rename from tests_python/tests_016/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_lt.tz].out
rename to tezt/tests/expected/contract_macros.ml/Mumbai- Macro expansion- macros-assert_lt.out
index aba419d9878a..3faecebbb2be 100644
--- a/tests_python/tests_016/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_lt.tz].out
+++ b/tezt/tests/expected/contract_macros.ml/Mumbai- Macro expansion- macros-assert_lt.out	
@@ -1,5 +1,3 @@
-tests_016/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macros/assert_lt.tz]
-
 { parameter (pair int int) ;
   storage unit ;
   code { CAR ;
@@ -11,3 +9,4 @@ tests_016/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macr
          UNIT ;
          NIL operation ;
          PAIR } }
+
diff --git a/tests_python/tests_016/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_neq.tz].out b/tezt/tests/expected/contract_macros.ml/Mumbai- Macro expansion- macros-assert_neq.out
similarity index 71%
rename from tests_python/tests_016/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_neq.tz].out
rename to tezt/tests/expected/contract_macros.ml/Mumbai- Macro expansion- macros-assert_neq.out
index afb4f08ea54a..97ad56e0faf1 100644
--- a/tests_python/tests_016/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_neq.tz].out
+++ b/tezt/tests/expected/contract_macros.ml/Mumbai- Macro expansion- macros-assert_neq.out	
@@ -1,5 +1,3 @@
-tests_016/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macros/assert_neq.tz]
-
 { parameter (pair int int) ;
   storage unit ;
   code { CAR ;
@@ -11,3 +9,4 @@ tests_016/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macr
          UNIT ;
          NIL operation ;
          PAIR } }
+
diff --git a/tests_python/tests_016/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--big_map_get_add.tz].out b/tezt/tests/expected/contract_macros.ml/Mumbai- Macro expansion- macros-big_map_get_add.out
similarity index 87%
rename from tests_python/tests_016/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--big_map_get_add.tz].out
rename to tezt/tests/expected/contract_macros.ml/Mumbai- Macro expansion- macros-big_map_get_add.out
index 25451dd2ba91..fd1950c5e72d 100644
--- a/tests_python/tests_016/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--big_map_get_add.tz].out
+++ b/tezt/tests/expected/contract_macros.ml/Mumbai- Macro expansion- macros-big_map_get_add.out	
@@ -1,5 +1,3 @@
-tests_016/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macros/big_map_get_add.tz]
-
 { parameter (pair (pair %set_pair int (option int)) (pair %check_pair int (option int))) ;
   storage (pair (big_map int int) unit) ;
   code { DUP ;
@@ -21,3 +19,4 @@ tests_016/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macr
          PAIR ;
          NIL operation ;
          PAIR } }
+
diff --git a/tests_python/tests_016/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--big_map_mem.tz].out b/tezt/tests/expected/contract_macros.ml/Mumbai- Macro expansion- macros-big_map_mem.out
similarity index 78%
rename from tests_python/tests_016/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--big_map_mem.tz].out
rename to tezt/tests/expected/contract_macros.ml/Mumbai- Macro expansion- macros-big_map_mem.out
index 186af4263c26..7f58503d9114 100644
--- a/tests_python/tests_016/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--big_map_mem.tz].out
+++ b/tezt/tests/expected/contract_macros.ml/Mumbai- Macro expansion- macros-big_map_mem.out	
@@ -1,5 +1,3 @@
-tests_016/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macros/big_map_mem.tz]
-
 { parameter (pair int bool) ;
   storage (pair (big_map int unit) unit) ;
   code { DUP ;
@@ -12,3 +10,4 @@ tests_016/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macr
          PAIR ;
          NIL operation ;
          PAIR } }
+
diff --git a/tests_python/tests_016/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--build_list.tz].out b/tezt/tests/expected/contract_macros.ml/Mumbai- Macro expansion- macros-build_list.out
similarity index 84%
rename from tests_python/tests_016/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--build_list.tz].out
rename to tezt/tests/expected/contract_macros.ml/Mumbai- Macro expansion- macros-build_list.out
index 17c1c438d400..4ef9f940b1d0 100644
--- a/tests_python/tests_016/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--build_list.tz].out
+++ b/tezt/tests/expected/contract_macros.ml/Mumbai- Macro expansion- macros-build_list.out	
@@ -1,5 +1,3 @@
-tests_016/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macros/build_list.tz]
-
 { parameter nat ;
   storage (list nat) ;
   code { CAR @counter ;
@@ -22,3 +20,4 @@ tests_016/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macr
          CONS ;
          NIL operation ;
          PAIR } }
+
diff --git a/tests_python/tests_016/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--carn_and_cdrn.tz].out b/tezt/tests/expected/contract_macros.ml/Mumbai- Macro expansion- macros-carn_and_cdrn.out
similarity index 88%
rename from tests_python/tests_016/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--carn_and_cdrn.tz].out
rename to tezt/tests/expected/contract_macros.ml/Mumbai- Macro expansion- macros-carn_and_cdrn.out
index 9c232f540b64..4cda8ad36989 100644
--- a/tests_python/tests_016/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--carn_and_cdrn.tz].out
+++ b/tezt/tests/expected/contract_macros.ml/Mumbai- Macro expansion- macros-carn_and_cdrn.out	
@@ -1,5 +1,3 @@
-tests_016/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macros/carn_and_cdrn.tz]
-
 { parameter (pair nat nat nat unit) ;
   storage unit ;
   code { CAR ;
@@ -27,3 +25,4 @@ tests_016/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macr
          UNIT ;
          NIL operation ;
          PAIR } }
+
diff --git a/tests_python/tests_016/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--compare.tz].out b/tezt/tests/expected/contract_macros.ml/Mumbai- Macro expansion- macros-compare.out
similarity index 85%
rename from tests_python/tests_016/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--compare.tz].out
rename to tezt/tests/expected/contract_macros.ml/Mumbai- Macro expansion- macros-compare.out
index 864b8d2d431b..4292f6769b91 100644
--- a/tests_python/tests_016/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--compare.tz].out
+++ b/tezt/tests/expected/contract_macros.ml/Mumbai- Macro expansion- macros-compare.out	
@@ -1,5 +1,3 @@
-tests_016/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macros/compare.tz]
-
 { parameter (pair mutez mutez) ;
   storage (list bool) ;
   code { CAR ;
@@ -20,3 +18,4 @@ tests_016/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macr
          CONS ;
          NIL operation ;
          PAIR } }
+
diff --git a/tests_python/tests_016/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--compare_bytes.tz].out b/tezt/tests/expected/contract_macros.ml/Mumbai- Macro expansion- macros-compare_bytes.out
similarity index 85%
rename from tests_python/tests_016/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--compare_bytes.tz].out
rename to tezt/tests/expected/contract_macros.ml/Mumbai- Macro expansion- macros-compare_bytes.out
index 3143fc4251d5..0b52eb3a3741 100644
--- a/tests_python/tests_016/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--compare_bytes.tz].out
+++ b/tezt/tests/expected/contract_macros.ml/Mumbai- Macro expansion- macros-compare_bytes.out	
@@ -1,5 +1,3 @@
-tests_016/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macros/compare_bytes.tz]
-
 { parameter (pair bytes bytes) ;
   storage (list bool) ;
   code { CAR ;
@@ -20,3 +18,4 @@ tests_016/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macr
          CONS ;
          NIL operation ;
          PAIR } }
+
diff --git a/tezt/tests/expected/contract_macros.ml/Mumbai- Macro expansion- macros-fail.out b/tezt/tests/expected/contract_macros.ml/Mumbai- Macro expansion- macros-fail.out
new file mode 100644
index 000000000000..a3007c04a48a
--- /dev/null
+++ b/tezt/tests/expected/contract_macros.ml/Mumbai- Macro expansion- macros-fail.out	
@@ -0,0 +1,2 @@
+{ parameter unit ; storage unit ; code { { UNIT ; FAILWITH } } }
+
diff --git a/tests_python/tests_016/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--guestbook.tz].out b/tezt/tests/expected/contract_macros.ml/Mumbai- Macro expansion- macros-guestbook.out
similarity index 80%
rename from tests_python/tests_016/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--guestbook.tz].out
rename to tezt/tests/expected/contract_macros.ml/Mumbai- Macro expansion- macros-guestbook.out
index fdb6853a806f..007315d9f5c1 100644
--- a/tests_python/tests_016/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--guestbook.tz].out
+++ b/tezt/tests/expected/contract_macros.ml/Mumbai- Macro expansion- macros-guestbook.out	
@@ -1,5 +1,3 @@
-tests_016/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macros/guestbook.tz]
-
 { parameter string ;
   storage (map address (option string)) ;
   code { UNPAIR @message @guestbook ;
@@ -16,3 +14,4 @@ tests_016/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macr
          UPDATE ;
          NIL operation ;
          PAIR } }
+
diff --git a/tests_python/tests_016/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--macro_annotations.tz].out b/tezt/tests/expected/contract_macros.ml/Mumbai- Macro expansion- macros-macro_annotations.out
similarity index 70%
rename from tests_python/tests_016/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--macro_annotations.tz].out
rename to tezt/tests/expected/contract_macros.ml/Mumbai- Macro expansion- macros-macro_annotations.out
index a2bc58c76575..e0004b030af0 100644
--- a/tests_python/tests_016/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--macro_annotations.tz].out
+++ b/tezt/tests/expected/contract_macros.ml/Mumbai- Macro expansion- macros-macro_annotations.out	
@@ -1,5 +1,3 @@
-tests_016/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macros/macro_annotations.tz]
-
 { parameter unit ;
   storage (pair (unit %truc) unit) ;
   code { DROP ;
@@ -11,3 +9,4 @@ tests_016/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macr
          DIP { DROP ; DROP } ;
          NIL operation ;
          PAIR } }
+
diff --git a/tests_python/tests_016/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--map_caddaadr.tz].out b/tezt/tests/expected/contract_macros.ml/Mumbai- Macro expansion- macros-map_caddaadr.out
similarity index 94%
rename from tests_python/tests_016/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--map_caddaadr.tz].out
rename to tezt/tests/expected/contract_macros.ml/Mumbai- Macro expansion- macros-map_caddaadr.out
index 1b00beab2dc3..58b5cf2acdee 100644
--- a/tests_python/tests_016/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--map_caddaadr.tz].out
+++ b/tezt/tests/expected/contract_macros.ml/Mumbai- Macro expansion- macros-map_caddaadr.out	
@@ -1,5 +1,3 @@
-tests_016/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macros/map_caddaadr.tz]
-
 { parameter unit ;
   storage (pair (pair nat (pair nat (pair (pair (pair (nat %p) (mutez %value)) nat) nat))) nat) ;
   code { { DUP ;
@@ -38,3 +36,4 @@ tests_016/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macr
          NIL operation ;
          SWAP ;
          { CDR @%% ; SWAP ; PAIR % %@ } } }
+
diff --git a/tests_python/tests_016/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--max_in_list.tz].out b/tezt/tests/expected/contract_macros.ml/Mumbai- Macro expansion- macros-max_in_list.out
similarity index 81%
rename from tests_python/tests_016/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--max_in_list.tz].out
rename to tezt/tests/expected/contract_macros.ml/Mumbai- Macro expansion- macros-max_in_list.out
index dbcc1f87cb85..73b02aecae21 100644
--- a/tests_python/tests_016/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--max_in_list.tz].out
+++ b/tezt/tests/expected/contract_macros.ml/Mumbai- Macro expansion- macros-max_in_list.out	
@@ -1,5 +1,3 @@
-tests_016/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macros/max_in_list.tz]
-
 { parameter (list int) ;
   storage (option int) ;
   code { CAR ;
@@ -15,3 +13,4 @@ tests_016/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macr
                     SOME } } ;
          NIL operation ;
          PAIR } }
+
diff --git a/tests_python/tests_016/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--min.tz].out b/tezt/tests/expected/contract_macros.ml/Mumbai- Macro expansion- macros-min.out
similarity index 71%
rename from tests_python/tests_016/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--min.tz].out
rename to tezt/tests/expected/contract_macros.ml/Mumbai- Macro expansion- macros-min.out
index 69d91fb64904..25b53381539f 100644
--- a/tests_python/tests_016/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--min.tz].out
+++ b/tezt/tests/expected/contract_macros.ml/Mumbai- Macro expansion- macros-min.out	
@@ -1,5 +1,3 @@
-tests_016/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macros/min.tz]
-
 { parameter (pair int int) ;
   storage int ;
   code { CAR ;
@@ -11,3 +9,4 @@ tests_016/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macr
          IF { CAR } { CDR } ;
          NIL operation ;
          PAIR } }
+
diff --git a/tests_python/tests_016/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--pair_macro.tz].out b/tezt/tests/expected/contract_macros.ml/Mumbai- Macro expansion- macros-pair_macro.out
similarity index 78%
rename from tests_python/tests_016/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--pair_macro.tz].out
rename to tezt/tests/expected/contract_macros.ml/Mumbai- Macro expansion- macros-pair_macro.out
index e20c0190d19b..c690e041b539 100644
--- a/tests_python/tests_016/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--pair_macro.tz].out
+++ b/tezt/tests/expected/contract_macros.ml/Mumbai- Macro expansion- macros-pair_macro.out	
@@ -1,5 +1,3 @@
-tests_016/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macros/pair_macro.tz]
-
 { parameter unit ;
   storage unit ;
   code { UNIT ;
@@ -16,3 +14,4 @@ tests_016/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macr
          CDR ;
          NIL operation ;
          PAIR } }
+
diff --git a/tests_python/tests_016/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--set_caddaadr.tz].out b/tezt/tests/expected/contract_macros.ml/Mumbai- Macro expansion- macros-set_caddaadr.out
similarity index 92%
rename from tests_python/tests_016/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--set_caddaadr.tz].out
rename to tezt/tests/expected/contract_macros.ml/Mumbai- Macro expansion- macros-set_caddaadr.out
index 5591b4e6a082..40e1f41cf5b3 100644
--- a/tests_python/tests_016/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--set_caddaadr.tz].out
+++ b/tezt/tests/expected/contract_macros.ml/Mumbai- Macro expansion- macros-set_caddaadr.out	
@@ -1,5 +1,3 @@
-tests_016/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macros/set_caddaadr.tz]
-
 { parameter mutez ;
   storage (pair (pair nat (pair nat (pair (pair (pair (nat %p) (mutez %value)) nat) nat))) nat) ;
   code { DUP ;
@@ -31,3 +29,4 @@ tests_016/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macr
            PAIR %@ %@ @toplevel_pair_name } ;
          NIL operation ;
          PAIR } }
+
diff --git a/tests_python/tests_016/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--take_my_money.tz].out b/tezt/tests/expected/contract_macros.ml/Mumbai- Macro expansion- macros-take_my_money.out
similarity index 71%
rename from tests_python/tests_016/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--take_my_money.tz].out
rename to tezt/tests/expected/contract_macros.ml/Mumbai- Macro expansion- macros-take_my_money.out
index 65caa48a4025..e337e046dd67 100644
--- a/tests_python/tests_016/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--take_my_money.tz].out
+++ b/tezt/tests/expected/contract_macros.ml/Mumbai- Macro expansion- macros-take_my_money.out	
@@ -1,5 +1,3 @@
-tests_016/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macros/take_my_money.tz]
-
 { parameter key_hash ;
   storage unit ;
   code { CAR ;
@@ -12,3 +10,4 @@ tests_016/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macr
          SWAP ;
          CONS ;
          PAIR } }
+
diff --git a/tests_python/tests_016/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--unpair_macro.tz].out b/tezt/tests/expected/contract_macros.ml/Mumbai- Macro expansion- macros-unpair_macro.out
similarity index 86%
rename from tests_python/tests_016/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--unpair_macro.tz].out
rename to tezt/tests/expected/contract_macros.ml/Mumbai- Macro expansion- macros-unpair_macro.out
index 6ced70fa1c8d..54c838c9052c 100644
--- a/tests_python/tests_016/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--unpair_macro.tz].out
+++ b/tezt/tests/expected/contract_macros.ml/Mumbai- Macro expansion- macros-unpair_macro.out	
@@ -1,5 +1,3 @@
-tests_016/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macros/unpair_macro.tz]
-
 { parameter (unit :param_unit) ;
   storage (unit :u1) ;
   code { DROP ;
@@ -18,3 +16,4 @@ tests_016/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macr
          DIP { DROP ; DROP ; DROP } ;
          NIL operation ;
          PAIR } }
+
-- 
GitLab


From 3d86f35d641df410e08327690a6333c0833f9f2d Mon Sep 17 00:00:00 2001
From: Arvid Jakobsson <arvid.jakobsson@nomadic-labs.com>
Date: Tue, 24 Jan 2023 13:53:50 +0100
Subject: [PATCH 8/8] Tezt/tests: [test_contract_macros.py] traces for Lima

---
 ...stMacroExpansion::test_macro_expansion[macros--fail.tz].out | 3 ---
 .../Lima- Macro expansion- macros-assert.out                   | 3 +--
 .../Lima- Macro expansion- macros-assert_cmpeq.out             | 3 +--
 .../Lima- Macro expansion- macros-assert_cmpge.out             | 3 +--
 .../Lima- Macro expansion- macros-assert_cmpgt.out             | 3 +--
 .../Lima- Macro expansion- macros-assert_cmple.out             | 3 +--
 .../Lima- Macro expansion- macros-assert_cmplt.out             | 3 +--
 .../Lima- Macro expansion- macros-assert_cmpneq.out            | 3 +--
 .../Lima- Macro expansion- macros-assert_eq.out                | 3 +--
 .../Lima- Macro expansion- macros-assert_ge.out                | 3 +--
 .../Lima- Macro expansion- macros-assert_gt.out                | 3 +--
 .../Lima- Macro expansion- macros-assert_le.out                | 3 +--
 .../Lima- Macro expansion- macros-assert_lt.out                | 3 +--
 .../Lima- Macro expansion- macros-assert_neq.out               | 3 +--
 .../Lima- Macro expansion- macros-big_map_get_add.out          | 3 +--
 .../Lima- Macro expansion- macros-big_map_mem.out              | 3 +--
 .../Lima- Macro expansion- macros-build_list.out               | 3 +--
 .../Lima- Macro expansion- macros-carn_and_cdrn.out            | 3 +--
 .../Lima- Macro expansion- macros-compare.out                  | 3 +--
 .../Lima- Macro expansion- macros-compare_bytes.out            | 3 +--
 .../contract_macros.ml/Lima- Macro expansion- macros-fail.out  | 2 ++
 .../Lima- Macro expansion- macros-guestbook.out                | 3 +--
 .../Lima- Macro expansion- macros-macro_annotations.out        | 3 +--
 .../Lima- Macro expansion- macros-map_caddaadr.out             | 3 +--
 .../Lima- Macro expansion- macros-max_in_list.out              | 3 +--
 .../contract_macros.ml/Lima- Macro expansion- macros-min.out   | 3 +--
 .../Lima- Macro expansion- macros-pair_macro.out               | 3 +--
 .../Lima- Macro expansion- macros-set_caddaadr.out             | 3 +--
 .../Lima- Macro expansion- macros-take_my_money.out            | 3 +--
 .../Lima- Macro expansion- macros-unpair_macro.out             | 3 +--
 30 files changed, 30 insertions(+), 59 deletions(-)
 delete mode 100644 tests_python/tests_015/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--fail.tz].out
 rename tests_python/tests_015/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert.tz].out => tezt/tests/expected/contract_macros.ml/Lima- Macro expansion- macros-assert.out (62%)
 rename tests_python/tests_015/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_cmpeq.tz].out => tezt/tests/expected/contract_macros.ml/Lima- Macro expansion- macros-assert_cmpeq.out (70%)
 rename tests_python/tests_015/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_cmpge.tz].out => tezt/tests/expected/contract_macros.ml/Lima- Macro expansion- macros-assert_cmpge.out (70%)
 rename tests_python/tests_015/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_cmpgt.tz].out => tezt/tests/expected/contract_macros.ml/Lima- Macro expansion- macros-assert_cmpgt.out (70%)
 rename tests_python/tests_015/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_cmple.tz].out => tezt/tests/expected/contract_macros.ml/Lima- Macro expansion- macros-assert_cmple.out (70%)
 rename tests_python/tests_015/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_cmplt.tz].out => tezt/tests/expected/contract_macros.ml/Lima- Macro expansion- macros-assert_cmplt.out (70%)
 rename tests_python/tests_015/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_cmpneq.tz].out => tezt/tests/expected/contract_macros.ml/Lima- Macro expansion- macros-assert_cmpneq.out (70%)
 rename tests_python/tests_015/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_eq.tz].out => tezt/tests/expected/contract_macros.ml/Lima- Macro expansion- macros-assert_eq.out (71%)
 rename tests_python/tests_015/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_ge.tz].out => tezt/tests/expected/contract_macros.ml/Lima- Macro expansion- macros-assert_ge.out (71%)
 rename tests_python/tests_015/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_gt.tz].out => tezt/tests/expected/contract_macros.ml/Lima- Macro expansion- macros-assert_gt.out (71%)
 rename tests_python/tests_015/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_le.tz].out => tezt/tests/expected/contract_macros.ml/Lima- Macro expansion- macros-assert_le.out (71%)
 rename tests_python/tests_015/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_lt.tz].out => tezt/tests/expected/contract_macros.ml/Lima- Macro expansion- macros-assert_lt.out (71%)
 rename tests_python/tests_015/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_neq.tz].out => tezt/tests/expected/contract_macros.ml/Lima- Macro expansion- macros-assert_neq.out (71%)
 rename tests_python/tests_015/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--big_map_get_add.tz].out => tezt/tests/expected/contract_macros.ml/Lima- Macro expansion- macros-big_map_get_add.out (87%)
 rename tests_python/tests_015/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--big_map_mem.tz].out => tezt/tests/expected/contract_macros.ml/Lima- Macro expansion- macros-big_map_mem.out (78%)
 rename tests_python/tests_015/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--build_list.tz].out => tezt/tests/expected/contract_macros.ml/Lima- Macro expansion- macros-build_list.out (84%)
 rename tests_python/tests_015/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--carn_and_cdrn.tz].out => tezt/tests/expected/contract_macros.ml/Lima- Macro expansion- macros-carn_and_cdrn.out (88%)
 rename tests_python/tests_015/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--compare.tz].out => tezt/tests/expected/contract_macros.ml/Lima- Macro expansion- macros-compare.out (85%)
 rename tests_python/tests_015/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--compare_bytes.tz].out => tezt/tests/expected/contract_macros.ml/Lima- Macro expansion- macros-compare_bytes.out (85%)
 create mode 100644 tezt/tests/expected/contract_macros.ml/Lima- Macro expansion- macros-fail.out
 rename tests_python/tests_015/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--guestbook.tz].out => tezt/tests/expected/contract_macros.ml/Lima- Macro expansion- macros-guestbook.out (80%)
 rename tests_python/tests_015/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--macro_annotations.tz].out => tezt/tests/expected/contract_macros.ml/Lima- Macro expansion- macros-macro_annotations.out (70%)
 rename tests_python/tests_015/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--map_caddaadr.tz].out => tezt/tests/expected/contract_macros.ml/Lima- Macro expansion- macros-map_caddaadr.out (94%)
 rename tests_python/tests_015/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--max_in_list.tz].out => tezt/tests/expected/contract_macros.ml/Lima- Macro expansion- macros-max_in_list.out (81%)
 rename tests_python/tests_015/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--min.tz].out => tezt/tests/expected/contract_macros.ml/Lima- Macro expansion- macros-min.out (71%)
 rename tests_python/tests_015/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--pair_macro.tz].out => tezt/tests/expected/contract_macros.ml/Lima- Macro expansion- macros-pair_macro.out (78%)
 rename tests_python/tests_015/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--set_caddaadr.tz].out => tezt/tests/expected/contract_macros.ml/Lima- Macro expansion- macros-set_caddaadr.out (92%)
 rename tests_python/tests_015/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--take_my_money.tz].out => tezt/tests/expected/contract_macros.ml/Lima- Macro expansion- macros-take_my_money.out (71%)
 rename tests_python/tests_015/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--unpair_macro.tz].out => tezt/tests/expected/contract_macros.ml/Lima- Macro expansion- macros-unpair_macro.out (86%)

diff --git a/tests_python/tests_015/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--fail.tz].out b/tests_python/tests_015/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--fail.tz].out
deleted file mode 100644
index d2a717dc26a5..000000000000
--- a/tests_python/tests_015/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--fail.tz].out
+++ /dev/null
@@ -1,3 +0,0 @@
-tests_015/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macros/fail.tz]
-
-{ parameter unit ; storage unit ; code { { UNIT ; FAILWITH } } }
diff --git a/tests_python/tests_015/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert.tz].out b/tezt/tests/expected/contract_macros.ml/Lima- Macro expansion- macros-assert.out
similarity index 62%
rename from tests_python/tests_015/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert.tz].out
rename to tezt/tests/expected/contract_macros.ml/Lima- Macro expansion- macros-assert.out
index 38721472134e..5931ced0f288 100644
--- a/tests_python/tests_015/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert.tz].out
+++ b/tezt/tests/expected/contract_macros.ml/Lima- Macro expansion- macros-assert.out	
@@ -1,5 +1,3 @@
-tests_015/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macros/assert.tz]
-
 { parameter bool ;
   storage unit ;
   code { CAR ;
@@ -7,3 +5,4 @@ tests_015/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macr
          UNIT ;
          NIL operation ;
          PAIR } }
+
diff --git a/tests_python/tests_015/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_cmpeq.tz].out b/tezt/tests/expected/contract_macros.ml/Lima- Macro expansion- macros-assert_cmpeq.out
similarity index 70%
rename from tests_python/tests_015/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_cmpeq.tz].out
rename to tezt/tests/expected/contract_macros.ml/Lima- Macro expansion- macros-assert_cmpeq.out
index a466693ff604..bbe353a76a18 100644
--- a/tests_python/tests_015/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_cmpeq.tz].out
+++ b/tezt/tests/expected/contract_macros.ml/Lima- Macro expansion- macros-assert_cmpeq.out	
@@ -1,5 +1,3 @@
-tests_015/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macros/assert_cmpeq.tz]
-
 { parameter (pair int int) ;
   storage unit ;
   code { CAR ;
@@ -10,3 +8,4 @@ tests_015/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macr
          UNIT ;
          NIL operation ;
          PAIR } }
+
diff --git a/tests_python/tests_015/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_cmpge.tz].out b/tezt/tests/expected/contract_macros.ml/Lima- Macro expansion- macros-assert_cmpge.out
similarity index 70%
rename from tests_python/tests_015/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_cmpge.tz].out
rename to tezt/tests/expected/contract_macros.ml/Lima- Macro expansion- macros-assert_cmpge.out
index e2a467035092..d56c3a72c717 100644
--- a/tests_python/tests_015/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_cmpge.tz].out
+++ b/tezt/tests/expected/contract_macros.ml/Lima- Macro expansion- macros-assert_cmpge.out	
@@ -1,5 +1,3 @@
-tests_015/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macros/assert_cmpge.tz]
-
 { parameter (pair int int) ;
   storage unit ;
   code { CAR ;
@@ -10,3 +8,4 @@ tests_015/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macr
          UNIT ;
          NIL operation ;
          PAIR } }
+
diff --git a/tests_python/tests_015/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_cmpgt.tz].out b/tezt/tests/expected/contract_macros.ml/Lima- Macro expansion- macros-assert_cmpgt.out
similarity index 70%
rename from tests_python/tests_015/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_cmpgt.tz].out
rename to tezt/tests/expected/contract_macros.ml/Lima- Macro expansion- macros-assert_cmpgt.out
index 512b297bbf42..ad6419cc57af 100644
--- a/tests_python/tests_015/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_cmpgt.tz].out
+++ b/tezt/tests/expected/contract_macros.ml/Lima- Macro expansion- macros-assert_cmpgt.out	
@@ -1,5 +1,3 @@
-tests_015/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macros/assert_cmpgt.tz]
-
 { parameter (pair int int) ;
   storage unit ;
   code { CAR ;
@@ -10,3 +8,4 @@ tests_015/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macr
          UNIT ;
          NIL operation ;
          PAIR } }
+
diff --git a/tests_python/tests_015/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_cmple.tz].out b/tezt/tests/expected/contract_macros.ml/Lima- Macro expansion- macros-assert_cmple.out
similarity index 70%
rename from tests_python/tests_015/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_cmple.tz].out
rename to tezt/tests/expected/contract_macros.ml/Lima- Macro expansion- macros-assert_cmple.out
index 302a34f9892b..80d82ea4eb1e 100644
--- a/tests_python/tests_015/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_cmple.tz].out
+++ b/tezt/tests/expected/contract_macros.ml/Lima- Macro expansion- macros-assert_cmple.out	
@@ -1,5 +1,3 @@
-tests_015/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macros/assert_cmple.tz]
-
 { parameter (pair int int) ;
   storage unit ;
   code { CAR ;
@@ -10,3 +8,4 @@ tests_015/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macr
          UNIT ;
          NIL operation ;
          PAIR } }
+
diff --git a/tests_python/tests_015/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_cmplt.tz].out b/tezt/tests/expected/contract_macros.ml/Lima- Macro expansion- macros-assert_cmplt.out
similarity index 70%
rename from tests_python/tests_015/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_cmplt.tz].out
rename to tezt/tests/expected/contract_macros.ml/Lima- Macro expansion- macros-assert_cmplt.out
index 54745dd5c13a..a0b5c69b4c90 100644
--- a/tests_python/tests_015/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_cmplt.tz].out
+++ b/tezt/tests/expected/contract_macros.ml/Lima- Macro expansion- macros-assert_cmplt.out	
@@ -1,5 +1,3 @@
-tests_015/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macros/assert_cmplt.tz]
-
 { parameter (pair int int) ;
   storage unit ;
   code { CAR ;
@@ -10,3 +8,4 @@ tests_015/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macr
          UNIT ;
          NIL operation ;
          PAIR } }
+
diff --git a/tests_python/tests_015/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_cmpneq.tz].out b/tezt/tests/expected/contract_macros.ml/Lima- Macro expansion- macros-assert_cmpneq.out
similarity index 70%
rename from tests_python/tests_015/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_cmpneq.tz].out
rename to tezt/tests/expected/contract_macros.ml/Lima- Macro expansion- macros-assert_cmpneq.out
index c51bc95ac31e..9ae5ea93cbd0 100644
--- a/tests_python/tests_015/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_cmpneq.tz].out
+++ b/tezt/tests/expected/contract_macros.ml/Lima- Macro expansion- macros-assert_cmpneq.out	
@@ -1,5 +1,3 @@
-tests_015/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macros/assert_cmpneq.tz]
-
 { parameter (pair int int) ;
   storage unit ;
   code { CAR ;
@@ -10,3 +8,4 @@ tests_015/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macr
          UNIT ;
          NIL operation ;
          PAIR } }
+
diff --git a/tests_python/tests_015/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_eq.tz].out b/tezt/tests/expected/contract_macros.ml/Lima- Macro expansion- macros-assert_eq.out
similarity index 71%
rename from tests_python/tests_015/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_eq.tz].out
rename to tezt/tests/expected/contract_macros.ml/Lima- Macro expansion- macros-assert_eq.out
index 1219f0888f2a..ddbecad17d4a 100644
--- a/tests_python/tests_015/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_eq.tz].out
+++ b/tezt/tests/expected/contract_macros.ml/Lima- Macro expansion- macros-assert_eq.out	
@@ -1,5 +1,3 @@
-tests_015/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macros/assert_eq.tz]
-
 { parameter (pair int int) ;
   storage unit ;
   code { CAR ;
@@ -11,3 +9,4 @@ tests_015/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macr
          UNIT ;
          NIL operation ;
          PAIR } }
+
diff --git a/tests_python/tests_015/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_ge.tz].out b/tezt/tests/expected/contract_macros.ml/Lima- Macro expansion- macros-assert_ge.out
similarity index 71%
rename from tests_python/tests_015/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_ge.tz].out
rename to tezt/tests/expected/contract_macros.ml/Lima- Macro expansion- macros-assert_ge.out
index 4b58537d3bcc..d4c1645d0517 100644
--- a/tests_python/tests_015/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_ge.tz].out
+++ b/tezt/tests/expected/contract_macros.ml/Lima- Macro expansion- macros-assert_ge.out	
@@ -1,5 +1,3 @@
-tests_015/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macros/assert_ge.tz]
-
 { parameter (pair int int) ;
   storage unit ;
   code { CAR ;
@@ -11,3 +9,4 @@ tests_015/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macr
          UNIT ;
          NIL operation ;
          PAIR } }
+
diff --git a/tests_python/tests_015/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_gt.tz].out b/tezt/tests/expected/contract_macros.ml/Lima- Macro expansion- macros-assert_gt.out
similarity index 71%
rename from tests_python/tests_015/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_gt.tz].out
rename to tezt/tests/expected/contract_macros.ml/Lima- Macro expansion- macros-assert_gt.out
index 612c9f2f7a67..6cf69f3845cf 100644
--- a/tests_python/tests_015/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_gt.tz].out
+++ b/tezt/tests/expected/contract_macros.ml/Lima- Macro expansion- macros-assert_gt.out	
@@ -1,5 +1,3 @@
-tests_015/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macros/assert_gt.tz]
-
 { parameter (pair int int) ;
   storage unit ;
   code { CAR ;
@@ -11,3 +9,4 @@ tests_015/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macr
          UNIT ;
          NIL operation ;
          PAIR } }
+
diff --git a/tests_python/tests_015/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_le.tz].out b/tezt/tests/expected/contract_macros.ml/Lima- Macro expansion- macros-assert_le.out
similarity index 71%
rename from tests_python/tests_015/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_le.tz].out
rename to tezt/tests/expected/contract_macros.ml/Lima- Macro expansion- macros-assert_le.out
index c0830e98ac6c..81938328c570 100644
--- a/tests_python/tests_015/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_le.tz].out
+++ b/tezt/tests/expected/contract_macros.ml/Lima- Macro expansion- macros-assert_le.out	
@@ -1,5 +1,3 @@
-tests_015/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macros/assert_le.tz]
-
 { parameter (pair int int) ;
   storage unit ;
   code { CAR ;
@@ -11,3 +9,4 @@ tests_015/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macr
          UNIT ;
          NIL operation ;
          PAIR } }
+
diff --git a/tests_python/tests_015/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_lt.tz].out b/tezt/tests/expected/contract_macros.ml/Lima- Macro expansion- macros-assert_lt.out
similarity index 71%
rename from tests_python/tests_015/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_lt.tz].out
rename to tezt/tests/expected/contract_macros.ml/Lima- Macro expansion- macros-assert_lt.out
index aa0440b47c3c..3faecebbb2be 100644
--- a/tests_python/tests_015/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_lt.tz].out
+++ b/tezt/tests/expected/contract_macros.ml/Lima- Macro expansion- macros-assert_lt.out	
@@ -1,5 +1,3 @@
-tests_015/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macros/assert_lt.tz]
-
 { parameter (pair int int) ;
   storage unit ;
   code { CAR ;
@@ -11,3 +9,4 @@ tests_015/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macr
          UNIT ;
          NIL operation ;
          PAIR } }
+
diff --git a/tests_python/tests_015/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_neq.tz].out b/tezt/tests/expected/contract_macros.ml/Lima- Macro expansion- macros-assert_neq.out
similarity index 71%
rename from tests_python/tests_015/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_neq.tz].out
rename to tezt/tests/expected/contract_macros.ml/Lima- Macro expansion- macros-assert_neq.out
index 96d9a0a5de1b..97ad56e0faf1 100644
--- a/tests_python/tests_015/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_neq.tz].out
+++ b/tezt/tests/expected/contract_macros.ml/Lima- Macro expansion- macros-assert_neq.out	
@@ -1,5 +1,3 @@
-tests_015/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macros/assert_neq.tz]
-
 { parameter (pair int int) ;
   storage unit ;
   code { CAR ;
@@ -11,3 +9,4 @@ tests_015/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macr
          UNIT ;
          NIL operation ;
          PAIR } }
+
diff --git a/tests_python/tests_015/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--big_map_get_add.tz].out b/tezt/tests/expected/contract_macros.ml/Lima- Macro expansion- macros-big_map_get_add.out
similarity index 87%
rename from tests_python/tests_015/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--big_map_get_add.tz].out
rename to tezt/tests/expected/contract_macros.ml/Lima- Macro expansion- macros-big_map_get_add.out
index e892de94adb5..fd1950c5e72d 100644
--- a/tests_python/tests_015/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--big_map_get_add.tz].out
+++ b/tezt/tests/expected/contract_macros.ml/Lima- Macro expansion- macros-big_map_get_add.out	
@@ -1,5 +1,3 @@
-tests_015/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macros/big_map_get_add.tz]
-
 { parameter (pair (pair %set_pair int (option int)) (pair %check_pair int (option int))) ;
   storage (pair (big_map int int) unit) ;
   code { DUP ;
@@ -21,3 +19,4 @@ tests_015/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macr
          PAIR ;
          NIL operation ;
          PAIR } }
+
diff --git a/tests_python/tests_015/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--big_map_mem.tz].out b/tezt/tests/expected/contract_macros.ml/Lima- Macro expansion- macros-big_map_mem.out
similarity index 78%
rename from tests_python/tests_015/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--big_map_mem.tz].out
rename to tezt/tests/expected/contract_macros.ml/Lima- Macro expansion- macros-big_map_mem.out
index 0561b15ae305..7f58503d9114 100644
--- a/tests_python/tests_015/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--big_map_mem.tz].out
+++ b/tezt/tests/expected/contract_macros.ml/Lima- Macro expansion- macros-big_map_mem.out	
@@ -1,5 +1,3 @@
-tests_015/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macros/big_map_mem.tz]
-
 { parameter (pair int bool) ;
   storage (pair (big_map int unit) unit) ;
   code { DUP ;
@@ -12,3 +10,4 @@ tests_015/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macr
          PAIR ;
          NIL operation ;
          PAIR } }
+
diff --git a/tests_python/tests_015/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--build_list.tz].out b/tezt/tests/expected/contract_macros.ml/Lima- Macro expansion- macros-build_list.out
similarity index 84%
rename from tests_python/tests_015/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--build_list.tz].out
rename to tezt/tests/expected/contract_macros.ml/Lima- Macro expansion- macros-build_list.out
index 4291b8b736c8..4ef9f940b1d0 100644
--- a/tests_python/tests_015/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--build_list.tz].out
+++ b/tezt/tests/expected/contract_macros.ml/Lima- Macro expansion- macros-build_list.out	
@@ -1,5 +1,3 @@
-tests_015/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macros/build_list.tz]
-
 { parameter nat ;
   storage (list nat) ;
   code { CAR @counter ;
@@ -22,3 +20,4 @@ tests_015/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macr
          CONS ;
          NIL operation ;
          PAIR } }
+
diff --git a/tests_python/tests_015/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--carn_and_cdrn.tz].out b/tezt/tests/expected/contract_macros.ml/Lima- Macro expansion- macros-carn_and_cdrn.out
similarity index 88%
rename from tests_python/tests_015/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--carn_and_cdrn.tz].out
rename to tezt/tests/expected/contract_macros.ml/Lima- Macro expansion- macros-carn_and_cdrn.out
index a15d1455251e..4cda8ad36989 100644
--- a/tests_python/tests_015/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--carn_and_cdrn.tz].out
+++ b/tezt/tests/expected/contract_macros.ml/Lima- Macro expansion- macros-carn_and_cdrn.out	
@@ -1,5 +1,3 @@
-tests_015/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macros/carn_and_cdrn.tz]
-
 { parameter (pair nat nat nat unit) ;
   storage unit ;
   code { CAR ;
@@ -27,3 +25,4 @@ tests_015/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macr
          UNIT ;
          NIL operation ;
          PAIR } }
+
diff --git a/tests_python/tests_015/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--compare.tz].out b/tezt/tests/expected/contract_macros.ml/Lima- Macro expansion- macros-compare.out
similarity index 85%
rename from tests_python/tests_015/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--compare.tz].out
rename to tezt/tests/expected/contract_macros.ml/Lima- Macro expansion- macros-compare.out
index 36a540b39043..4292f6769b91 100644
--- a/tests_python/tests_015/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--compare.tz].out
+++ b/tezt/tests/expected/contract_macros.ml/Lima- Macro expansion- macros-compare.out	
@@ -1,5 +1,3 @@
-tests_015/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macros/compare.tz]
-
 { parameter (pair mutez mutez) ;
   storage (list bool) ;
   code { CAR ;
@@ -20,3 +18,4 @@ tests_015/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macr
          CONS ;
          NIL operation ;
          PAIR } }
+
diff --git a/tests_python/tests_015/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--compare_bytes.tz].out b/tezt/tests/expected/contract_macros.ml/Lima- Macro expansion- macros-compare_bytes.out
similarity index 85%
rename from tests_python/tests_015/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--compare_bytes.tz].out
rename to tezt/tests/expected/contract_macros.ml/Lima- Macro expansion- macros-compare_bytes.out
index 598d580825b4..0b52eb3a3741 100644
--- a/tests_python/tests_015/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--compare_bytes.tz].out
+++ b/tezt/tests/expected/contract_macros.ml/Lima- Macro expansion- macros-compare_bytes.out	
@@ -1,5 +1,3 @@
-tests_015/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macros/compare_bytes.tz]
-
 { parameter (pair bytes bytes) ;
   storage (list bool) ;
   code { CAR ;
@@ -20,3 +18,4 @@ tests_015/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macr
          CONS ;
          NIL operation ;
          PAIR } }
+
diff --git a/tezt/tests/expected/contract_macros.ml/Lima- Macro expansion- macros-fail.out b/tezt/tests/expected/contract_macros.ml/Lima- Macro expansion- macros-fail.out
new file mode 100644
index 000000000000..a3007c04a48a
--- /dev/null
+++ b/tezt/tests/expected/contract_macros.ml/Lima- Macro expansion- macros-fail.out	
@@ -0,0 +1,2 @@
+{ parameter unit ; storage unit ; code { { UNIT ; FAILWITH } } }
+
diff --git a/tests_python/tests_015/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--guestbook.tz].out b/tezt/tests/expected/contract_macros.ml/Lima- Macro expansion- macros-guestbook.out
similarity index 80%
rename from tests_python/tests_015/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--guestbook.tz].out
rename to tezt/tests/expected/contract_macros.ml/Lima- Macro expansion- macros-guestbook.out
index cafda41c8d2a..007315d9f5c1 100644
--- a/tests_python/tests_015/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--guestbook.tz].out
+++ b/tezt/tests/expected/contract_macros.ml/Lima- Macro expansion- macros-guestbook.out	
@@ -1,5 +1,3 @@
-tests_015/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macros/guestbook.tz]
-
 { parameter string ;
   storage (map address (option string)) ;
   code { UNPAIR @message @guestbook ;
@@ -16,3 +14,4 @@ tests_015/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macr
          UPDATE ;
          NIL operation ;
          PAIR } }
+
diff --git a/tests_python/tests_015/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--macro_annotations.tz].out b/tezt/tests/expected/contract_macros.ml/Lima- Macro expansion- macros-macro_annotations.out
similarity index 70%
rename from tests_python/tests_015/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--macro_annotations.tz].out
rename to tezt/tests/expected/contract_macros.ml/Lima- Macro expansion- macros-macro_annotations.out
index 8cb7ad74302e..e0004b030af0 100644
--- a/tests_python/tests_015/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--macro_annotations.tz].out
+++ b/tezt/tests/expected/contract_macros.ml/Lima- Macro expansion- macros-macro_annotations.out	
@@ -1,5 +1,3 @@
-tests_015/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macros/macro_annotations.tz]
-
 { parameter unit ;
   storage (pair (unit %truc) unit) ;
   code { DROP ;
@@ -11,3 +9,4 @@ tests_015/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macr
          DIP { DROP ; DROP } ;
          NIL operation ;
          PAIR } }
+
diff --git a/tests_python/tests_015/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--map_caddaadr.tz].out b/tezt/tests/expected/contract_macros.ml/Lima- Macro expansion- macros-map_caddaadr.out
similarity index 94%
rename from tests_python/tests_015/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--map_caddaadr.tz].out
rename to tezt/tests/expected/contract_macros.ml/Lima- Macro expansion- macros-map_caddaadr.out
index f7542e434f8f..58b5cf2acdee 100644
--- a/tests_python/tests_015/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--map_caddaadr.tz].out
+++ b/tezt/tests/expected/contract_macros.ml/Lima- Macro expansion- macros-map_caddaadr.out	
@@ -1,5 +1,3 @@
-tests_015/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macros/map_caddaadr.tz]
-
 { parameter unit ;
   storage (pair (pair nat (pair nat (pair (pair (pair (nat %p) (mutez %value)) nat) nat))) nat) ;
   code { { DUP ;
@@ -38,3 +36,4 @@ tests_015/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macr
          NIL operation ;
          SWAP ;
          { CDR @%% ; SWAP ; PAIR % %@ } } }
+
diff --git a/tests_python/tests_015/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--max_in_list.tz].out b/tezt/tests/expected/contract_macros.ml/Lima- Macro expansion- macros-max_in_list.out
similarity index 81%
rename from tests_python/tests_015/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--max_in_list.tz].out
rename to tezt/tests/expected/contract_macros.ml/Lima- Macro expansion- macros-max_in_list.out
index 2d4925fa377b..73b02aecae21 100644
--- a/tests_python/tests_015/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--max_in_list.tz].out
+++ b/tezt/tests/expected/contract_macros.ml/Lima- Macro expansion- macros-max_in_list.out	
@@ -1,5 +1,3 @@
-tests_015/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macros/max_in_list.tz]
-
 { parameter (list int) ;
   storage (option int) ;
   code { CAR ;
@@ -15,3 +13,4 @@ tests_015/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macr
                     SOME } } ;
          NIL operation ;
          PAIR } }
+
diff --git a/tests_python/tests_015/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--min.tz].out b/tezt/tests/expected/contract_macros.ml/Lima- Macro expansion- macros-min.out
similarity index 71%
rename from tests_python/tests_015/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--min.tz].out
rename to tezt/tests/expected/contract_macros.ml/Lima- Macro expansion- macros-min.out
index 8ab3b9e892e2..25b53381539f 100644
--- a/tests_python/tests_015/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--min.tz].out
+++ b/tezt/tests/expected/contract_macros.ml/Lima- Macro expansion- macros-min.out	
@@ -1,5 +1,3 @@
-tests_015/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macros/min.tz]
-
 { parameter (pair int int) ;
   storage int ;
   code { CAR ;
@@ -11,3 +9,4 @@ tests_015/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macr
          IF { CAR } { CDR } ;
          NIL operation ;
          PAIR } }
+
diff --git a/tests_python/tests_015/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--pair_macro.tz].out b/tezt/tests/expected/contract_macros.ml/Lima- Macro expansion- macros-pair_macro.out
similarity index 78%
rename from tests_python/tests_015/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--pair_macro.tz].out
rename to tezt/tests/expected/contract_macros.ml/Lima- Macro expansion- macros-pair_macro.out
index 8e61396471b6..c690e041b539 100644
--- a/tests_python/tests_015/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--pair_macro.tz].out
+++ b/tezt/tests/expected/contract_macros.ml/Lima- Macro expansion- macros-pair_macro.out	
@@ -1,5 +1,3 @@
-tests_015/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macros/pair_macro.tz]
-
 { parameter unit ;
   storage unit ;
   code { UNIT ;
@@ -16,3 +14,4 @@ tests_015/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macr
          CDR ;
          NIL operation ;
          PAIR } }
+
diff --git a/tests_python/tests_015/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--set_caddaadr.tz].out b/tezt/tests/expected/contract_macros.ml/Lima- Macro expansion- macros-set_caddaadr.out
similarity index 92%
rename from tests_python/tests_015/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--set_caddaadr.tz].out
rename to tezt/tests/expected/contract_macros.ml/Lima- Macro expansion- macros-set_caddaadr.out
index 971f9e1568d3..40e1f41cf5b3 100644
--- a/tests_python/tests_015/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--set_caddaadr.tz].out
+++ b/tezt/tests/expected/contract_macros.ml/Lima- Macro expansion- macros-set_caddaadr.out	
@@ -1,5 +1,3 @@
-tests_015/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macros/set_caddaadr.tz]
-
 { parameter mutez ;
   storage (pair (pair nat (pair nat (pair (pair (pair (nat %p) (mutez %value)) nat) nat))) nat) ;
   code { DUP ;
@@ -31,3 +29,4 @@ tests_015/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macr
            PAIR %@ %@ @toplevel_pair_name } ;
          NIL operation ;
          PAIR } }
+
diff --git a/tests_python/tests_015/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--take_my_money.tz].out b/tezt/tests/expected/contract_macros.ml/Lima- Macro expansion- macros-take_my_money.out
similarity index 71%
rename from tests_python/tests_015/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--take_my_money.tz].out
rename to tezt/tests/expected/contract_macros.ml/Lima- Macro expansion- macros-take_my_money.out
index 45456ae73375..e337e046dd67 100644
--- a/tests_python/tests_015/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--take_my_money.tz].out
+++ b/tezt/tests/expected/contract_macros.ml/Lima- Macro expansion- macros-take_my_money.out	
@@ -1,5 +1,3 @@
-tests_015/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macros/take_my_money.tz]
-
 { parameter key_hash ;
   storage unit ;
   code { CAR ;
@@ -12,3 +10,4 @@ tests_015/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macr
          SWAP ;
          CONS ;
          PAIR } }
+
diff --git a/tests_python/tests_015/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--unpair_macro.tz].out b/tezt/tests/expected/contract_macros.ml/Lima- Macro expansion- macros-unpair_macro.out
similarity index 86%
rename from tests_python/tests_015/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--unpair_macro.tz].out
rename to tezt/tests/expected/contract_macros.ml/Lima- Macro expansion- macros-unpair_macro.out
index c39ad4b3c3a3..54c838c9052c 100644
--- a/tests_python/tests_015/_regtest_outputs/test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--unpair_macro.tz].out
+++ b/tezt/tests/expected/contract_macros.ml/Lima- Macro expansion- macros-unpair_macro.out	
@@ -1,5 +1,3 @@
-tests_015/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macros/unpair_macro.tz]
-
 { parameter (unit :param_unit) ;
   storage (unit :u1) ;
   code { DROP ;
@@ -18,3 +16,4 @@ tests_015/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macr
          DIP { DROP ; DROP ; DROP } ;
          NIL operation ;
          PAIR } }
+
-- 
GitLab