From 20481e5de30e4d86888e3faed441dc32e59ffef2 Mon Sep 17 00:00:00 2001 From: Chloe Martin Date: Tue, 2 Jul 2024 16:11:42 -0400 Subject: [PATCH] fix(CI): Update test baselines in `iota-verifier-transaction-tests` --- .../tests/entry_points/clock_mut.exp | 2 +- .../tests/entry_points/clock_ref.exp | 2 +- .../tests/entry_points/clock_val.exp | 2 +- .../generic_and_generic_object_params.exp | 2 +- .../generic_obj_mut_ref_vector.exp | 2 +- .../entry_points/generic_obj_ref_vector.exp | 2 +- .../generic_param_after_primitive.exp | 2 +- .../entry_points/generic_with_key_invalid.exp | 4 +-- .../entry_points/generic_with_key_valid.exp | 2 +- .../tests/entry_points/id.exp | 2 +- .../nested_generic_vector_param.exp | 2 +- .../nested_key_generic_vector_param.exp | 2 +- .../tests/entry_points/non_key_struct.exp | 2 +- .../entry_points/non_key_struct_generic.exp | 4 +-- .../non_key_struct_generic_valid.exp | 2 +- .../entry_points/non_key_struct_vector.exp | 2 +- .../tests/entry_points/obj_mut_ref_vector.exp | 2 +- .../tests/entry_points/obj_ref_vector.exp | 2 +- .../tests/entry_points/ok.exp | 4 +-- .../tests/entry_points/option.exp | 2 +- .../entry_points/optional_txn_context.exp | 4 +-- .../tests/entry_points/random_mut.exp | 2 +- .../tests/entry_points/random_ref.exp | 2 +- .../tests/entry_points/random_val.exp | 2 +- .../tests/entry_points/return_values.exp | 10 +++---- .../entry_points/return_values_invalid.exp | 12 ++++---- .../single_generic_vector_param.exp | 2 +- .../tests/entry_points/single_type_param.exp | 2 +- .../single_type_param_generic_object.exp | 2 +- .../entry_points/single_type_param_key.exp | 2 +- .../tests/entry_points/string.exp | 2 +- ...mut_borrow_generic_key_struct_id_field.exp | 2 +- .../mut_borrow_key_struct_id_field.exp | 2 +- .../mut_borrow_key_struct_non_id_field.exp | 2 +- .../mut_borrow_non_key_struct_id_field.exp | 2 +- .../tests/id_immutable/write_id_field.exp | 2 +- .../id_leak/direct_leak_through_call.exp | 2 +- .../id_leak/indirect_leak_through_call.exp | 4 +-- .../tests/id_leak/infinite_loop.exp | 4 +-- .../tests/id_leak/loop.exp | 2 +- .../through_call_with_borrow_field.exp | 2 +- .../tests/id_leak/through_direct_return.exp | 2 +- .../tests/id_leak/through_indirect_return.exp | 2 +- .../tests/id_leak/through_pack.exp | 4 +-- .../tests/id_leak/through_reference.exp | 2 +- .../tests/id_leak/through_vector.exp | 2 +- .../tests/id_leak/transmute.exp | 2 +- .../tests/init/cannot_call_init.exp | 2 +- .../tests/init/imm_tx_context.exp | 2 +- .../tests/init/must_have_txn_context.exp | 4 +-- .../tests/init/not_generic.exp | 2 +- .../tests/init/not_private.exp | 6 ++-- .../tests/init/not_txn_context.exp | 6 ++-- .../tests/init/ok.exp | 2 +- .../tests/init/return_values.exp | 2 +- .../tests/one_time_witness/bool_field.exp | 2 +- .../tests/one_time_witness/instantiate.exp | 2 +- .../one_time_witness/many_fields_invalid.exp | 2 +- .../one_time_witness/many_fields_valid.exp | 2 +- .../tests/one_time_witness/more_abilities.exp | 6 ++-- .../tests/one_time_witness/no_drop.exp | 2 +- .../tests/one_time_witness/no_field.exp | 2 +- .../tests/one_time_witness/no_init_arg.exp | 2 +- .../tests/one_time_witness/other_mod_def.exp | 2 +- .../tests/one_time_witness/type_param.exp | 2 +- .../one_time_witness/wrong_field_type.exp | 4 +-- .../wrong_field_type_with_init.exp | 2 +- .../one_time_witness/wrong_init_type.exp | 2 +- .../tests/one_time_witness/wrong_name.exp | 2 +- .../one_time_witness/wrong_name_format.exp | 2 +- .../private_generics/no_public_transfer.exp | 8 ++--- .../no_public_transfer_generic.exp | 8 ++--- .../no_public_transfer_store.exp | 8 ++--- .../no_public_transfer_store_generic.exp | 8 ++--- .../private_generics/private_event_emit.exp | 8 ++--- .../public_transfer_with_store.exp | 8 ++--- .../public_transfer_with_store_generic.exp | 8 ++--- .../receive_without_key_version30.exp | 10 ------- .../receive_without_key_version30.mvir | 30 ------------------- .../private_transfer/transfer_invalid.exp | 8 ++--- .../key_struct_first_field_not_id.exp | 2 +- ...ruct_id_field_incorrect_struct_address.exp | 2 +- ..._struct_id_field_incorrect_struct_name.exp | 2 +- .../key_struct_id_field_incorrect_type.exp | 2 +- .../key_struct_id_field_valid.exp | 2 +- .../key_struct_second_field_id.exp | 2 +- .../struct_with_key/key_struct_with_drop.exp | 2 +- 87 files changed, 133 insertions(+), 173 deletions(-) delete mode 100644 crates/iota-verifier-transactional-tests/tests/private_generics/receive_without_key_version30.exp delete mode 100644 crates/iota-verifier-transactional-tests/tests/private_generics/receive_without_key_version30.mvir diff --git a/crates/iota-verifier-transactional-tests/tests/entry_points/clock_mut.exp b/crates/iota-verifier-transactional-tests/tests/entry_points/clock_mut.exp index 3e20d159cd1..37e0e893f7f 100644 --- a/crates/iota-verifier-transactional-tests/tests/entry_points/clock_mut.exp +++ b/crates/iota-verifier-transactional-tests/tests/entry_points/clock_mut.exp @@ -1,5 +1,5 @@ processed 1 task -task 0 'publish'. lines 6-14: +task 0 'publish'. lines 7-15: Error: Transaction Effects Status: Iota Move Bytecode Verification Error. Please run the Iota Move Verifier for more information. Execution Error: ExecutionError: ExecutionError { inner: ExecutionErrorInner { kind: IotaMoveVerificationError, source: Some("Invalid entry point parameter type. Clock must be passed by immutable reference. got: &mut iota::clock::Clock"), command: Some(0) } } diff --git a/crates/iota-verifier-transactional-tests/tests/entry_points/clock_ref.exp b/crates/iota-verifier-transactional-tests/tests/entry_points/clock_ref.exp index d0962e6a0e3..1cf9d535b94 100644 --- a/crates/iota-verifier-transactional-tests/tests/entry_points/clock_ref.exp +++ b/crates/iota-verifier-transactional-tests/tests/entry_points/clock_ref.exp @@ -1,6 +1,6 @@ processed 1 task -task 0 'publish'. lines 6-14: +task 0 'publish'. lines 7-15: created: object(1,0) mutated: object(0,0) gas summary: computation_cost: 1000000, storage_cost: 3952000, storage_rebate: 0, non_refundable_storage_fee: 0 diff --git a/crates/iota-verifier-transactional-tests/tests/entry_points/clock_val.exp b/crates/iota-verifier-transactional-tests/tests/entry_points/clock_val.exp index 9778ca39f4e..0ce4023517b 100644 --- a/crates/iota-verifier-transactional-tests/tests/entry_points/clock_val.exp +++ b/crates/iota-verifier-transactional-tests/tests/entry_points/clock_val.exp @@ -1,5 +1,5 @@ processed 1 task -task 0 'publish'. lines 6-14: +task 0 'publish'. lines 7-15: Error: Transaction Effects Status: Iota Move Bytecode Verification Error. Please run the Iota Move Verifier for more information. Execution Error: ExecutionError: ExecutionError { inner: ExecutionErrorInner { kind: IotaMoveVerificationError, source: Some("Invalid entry point parameter type. Clock must be passed by immutable reference. got: iota::clock::Clock"), command: Some(0) } } diff --git a/crates/iota-verifier-transactional-tests/tests/entry_points/generic_and_generic_object_params.exp b/crates/iota-verifier-transactional-tests/tests/entry_points/generic_and_generic_object_params.exp index 975726cb182..1fd4f128d2b 100644 --- a/crates/iota-verifier-transactional-tests/tests/entry_points/generic_and_generic_object_params.exp +++ b/crates/iota-verifier-transactional-tests/tests/entry_points/generic_and_generic_object_params.exp @@ -1,6 +1,6 @@ processed 1 task -task 0 'publish'. lines 4-16: +task 0 'publish'. lines 5-17: created: object(1,0) mutated: object(0,0) gas summary: computation_cost: 1000000, storage_cost: 4598000, storage_rebate: 0, non_refundable_storage_fee: 0 diff --git a/crates/iota-verifier-transactional-tests/tests/entry_points/generic_obj_mut_ref_vector.exp b/crates/iota-verifier-transactional-tests/tests/entry_points/generic_obj_mut_ref_vector.exp index 13fd5f0e8b8..b2a502baac6 100644 --- a/crates/iota-verifier-transactional-tests/tests/entry_points/generic_obj_mut_ref_vector.exp +++ b/crates/iota-verifier-transactional-tests/tests/entry_points/generic_obj_mut_ref_vector.exp @@ -1,5 +1,5 @@ processed 1 task -task 0 'publish'. lines 6-15: +task 0 'publish'. lines 7-16: Error: Transaction Effects Status: Iota Move Bytecode Verification Error. Please run the Iota Move Verifier for more information. Execution Error: ExecutionError: ExecutionError { inner: ExecutionErrorInner { kind: IotaMoveVerificationError, source: Some("Invalid entry point parameter type. Expected primitive or object type. Got: &mut vector"), command: Some(0) } } diff --git a/crates/iota-verifier-transactional-tests/tests/entry_points/generic_obj_ref_vector.exp b/crates/iota-verifier-transactional-tests/tests/entry_points/generic_obj_ref_vector.exp index efd9c6462f9..28953ad58d0 100644 --- a/crates/iota-verifier-transactional-tests/tests/entry_points/generic_obj_ref_vector.exp +++ b/crates/iota-verifier-transactional-tests/tests/entry_points/generic_obj_ref_vector.exp @@ -1,5 +1,5 @@ processed 1 task -task 0 'publish'. lines 6-15: +task 0 'publish'. lines 7-16: Error: Transaction Effects Status: Iota Move Bytecode Verification Error. Please run the Iota Move Verifier for more information. Execution Error: ExecutionError: ExecutionError { inner: ExecutionErrorInner { kind: IotaMoveVerificationError, source: Some("Invalid entry point parameter type. Expected primitive or object type. Got: &vector"), command: Some(0) } } diff --git a/crates/iota-verifier-transactional-tests/tests/entry_points/generic_param_after_primitive.exp b/crates/iota-verifier-transactional-tests/tests/entry_points/generic_param_after_primitive.exp index c1e89654fa9..a1343962a82 100644 --- a/crates/iota-verifier-transactional-tests/tests/entry_points/generic_param_after_primitive.exp +++ b/crates/iota-verifier-transactional-tests/tests/entry_points/generic_param_after_primitive.exp @@ -1,6 +1,6 @@ processed 1 task -task 0 'publish'. lines 4-16: +task 0 'publish'. lines 5-17: created: object(1,0) mutated: object(0,0) gas summary: computation_cost: 1000000, storage_cost: 4560000, storage_rebate: 0, non_refundable_storage_fee: 0 diff --git a/crates/iota-verifier-transactional-tests/tests/entry_points/generic_with_key_invalid.exp b/crates/iota-verifier-transactional-tests/tests/entry_points/generic_with_key_invalid.exp index e8b5e704e30..0a5bce9a803 100644 --- a/crates/iota-verifier-transactional-tests/tests/entry_points/generic_with_key_invalid.exp +++ b/crates/iota-verifier-transactional-tests/tests/entry_points/generic_with_key_invalid.exp @@ -1,9 +1,9 @@ processed 2 tasks -task 0 'publish'. lines 6-16: +task 0 'publish'. lines 7-17: Error: Transaction Effects Status: Iota Move Bytecode Verification Error. Please run the Iota Move Verifier for more information. Execution Error: ExecutionError: ExecutionError { inner: ExecutionErrorInner { kind: IotaMoveVerificationError, source: Some("Invalid entry point parameter type. Expected primitive or object type. Got: std::option::Option"), command: Some(0) } } -task 1 'publish'. lines 18-28: +task 1 'publish'. lines 19-29: Error: Transaction Effects Status: Iota Move Bytecode Verification Error. Please run the Iota Move Verifier for more information. Execution Error: ExecutionError: ExecutionError { inner: ExecutionErrorInner { kind: IotaMoveVerificationError, source: Some("Invalid entry point parameter type. Expected primitive or object type. Got: vector>"), command: Some(0) } } diff --git a/crates/iota-verifier-transactional-tests/tests/entry_points/generic_with_key_valid.exp b/crates/iota-verifier-transactional-tests/tests/entry_points/generic_with_key_valid.exp index 13dabe34faf..35f8fb18638 100644 --- a/crates/iota-verifier-transactional-tests/tests/entry_points/generic_with_key_valid.exp +++ b/crates/iota-verifier-transactional-tests/tests/entry_points/generic_with_key_valid.exp @@ -1,6 +1,6 @@ processed 1 task -task 0 'publish'. lines 6-16: +task 0 'publish'. lines 7-17: created: object(1,0) mutated: object(0,0) gas summary: computation_cost: 1000000, storage_cost: 4332000, storage_rebate: 0, non_refundable_storage_fee: 0 diff --git a/crates/iota-verifier-transactional-tests/tests/entry_points/id.exp b/crates/iota-verifier-transactional-tests/tests/entry_points/id.exp index fc170a79903..cd67d18f35e 100644 --- a/crates/iota-verifier-transactional-tests/tests/entry_points/id.exp +++ b/crates/iota-verifier-transactional-tests/tests/entry_points/id.exp @@ -1,6 +1,6 @@ processed 1 task -task 0 'publish'. lines 6-21: +task 0 'publish'. lines 7-22: created: object(1,0) mutated: object(0,0) gas summary: computation_cost: 1000000, storage_cost: 4149600, storage_rebate: 0, non_refundable_storage_fee: 0 diff --git a/crates/iota-verifier-transactional-tests/tests/entry_points/nested_generic_vector_param.exp b/crates/iota-verifier-transactional-tests/tests/entry_points/nested_generic_vector_param.exp index 3909e81372c..b33a336ba4a 100644 --- a/crates/iota-verifier-transactional-tests/tests/entry_points/nested_generic_vector_param.exp +++ b/crates/iota-verifier-transactional-tests/tests/entry_points/nested_generic_vector_param.exp @@ -1,6 +1,6 @@ processed 1 task -task 0 'publish'. lines 4-13: +task 0 'publish'. lines 5-14: created: object(1,0) mutated: object(0,0) gas summary: computation_cost: 1000000, storage_cost: 3982400, storage_rebate: 0, non_refundable_storage_fee: 0 diff --git a/crates/iota-verifier-transactional-tests/tests/entry_points/nested_key_generic_vector_param.exp b/crates/iota-verifier-transactional-tests/tests/entry_points/nested_key_generic_vector_param.exp index 30b4b603ba1..71a7e07f028 100644 --- a/crates/iota-verifier-transactional-tests/tests/entry_points/nested_key_generic_vector_param.exp +++ b/crates/iota-verifier-transactional-tests/tests/entry_points/nested_key_generic_vector_param.exp @@ -1,5 +1,5 @@ processed 1 task -task 0 'publish'. lines 4-13: +task 0 'publish'. lines 5-14: Error: Transaction Effects Status: Iota Move Bytecode Verification Error. Please run the Iota Move Verifier for more information. Execution Error: ExecutionError: ExecutionError { inner: ExecutionErrorInner { kind: IotaMoveVerificationError, source: Some("Invalid entry point parameter type. Expected primitive or object type. Got: vector>"), command: Some(0) } } diff --git a/crates/iota-verifier-transactional-tests/tests/entry_points/non_key_struct.exp b/crates/iota-verifier-transactional-tests/tests/entry_points/non_key_struct.exp index 9f6df203bf9..e8e9f9321a6 100644 --- a/crates/iota-verifier-transactional-tests/tests/entry_points/non_key_struct.exp +++ b/crates/iota-verifier-transactional-tests/tests/entry_points/non_key_struct.exp @@ -1,5 +1,5 @@ processed 1 task -task 0 'publish'. lines 6-17: +task 0 'publish'. lines 7-18: Error: Transaction Effects Status: Iota Move Bytecode Verification Error. Please run the Iota Move Verifier for more information. Execution Error: ExecutionError: ExecutionError { inner: ExecutionErrorInner { kind: IotaMoveVerificationError, source: Some("Invalid entry point parameter type. Expected primitive or object type. Got: _::m::S"), command: Some(0) } } diff --git a/crates/iota-verifier-transactional-tests/tests/entry_points/non_key_struct_generic.exp b/crates/iota-verifier-transactional-tests/tests/entry_points/non_key_struct_generic.exp index 3eb889a462a..9a13eb5caff 100644 --- a/crates/iota-verifier-transactional-tests/tests/entry_points/non_key_struct_generic.exp +++ b/crates/iota-verifier-transactional-tests/tests/entry_points/non_key_struct_generic.exp @@ -1,9 +1,9 @@ processed 2 tasks -task 0 'publish'. lines 6-21: +task 0 'publish'. lines 7-22: Error: Transaction Effects Status: Iota Move Bytecode Verification Error. Please run the Iota Move Verifier for more information. Execution Error: ExecutionError: ExecutionError { inner: ExecutionErrorInner { kind: IotaMoveVerificationError, source: Some("Invalid entry point parameter type. Expected primitive or object type. Got: _::m::Obj<_::m::NoStore>"), command: Some(0) } } -task 1 'publish'. lines 23-35: +task 1 'publish'. lines 24-36: Error: Transaction Effects Status: Iota Move Bytecode Verification Error. Please run the Iota Move Verifier for more information. Execution Error: ExecutionError: ExecutionError { inner: ExecutionErrorInner { kind: IotaMoveVerificationError, source: Some("Invalid entry point parameter type. Expected primitive or object type. Got: _::m::Obj"), command: Some(0) } } diff --git a/crates/iota-verifier-transactional-tests/tests/entry_points/non_key_struct_generic_valid.exp b/crates/iota-verifier-transactional-tests/tests/entry_points/non_key_struct_generic_valid.exp index 2068d3e73e6..cd1e277bf2a 100644 --- a/crates/iota-verifier-transactional-tests/tests/entry_points/non_key_struct_generic_valid.exp +++ b/crates/iota-verifier-transactional-tests/tests/entry_points/non_key_struct_generic_valid.exp @@ -1,6 +1,6 @@ processed 1 task -task 0 'publish'. lines 6-18: +task 0 'publish'. lines 7-19: created: object(1,0) mutated: object(0,0) gas summary: computation_cost: 1000000, storage_cost: 4567600, storage_rebate: 0, non_refundable_storage_fee: 0 diff --git a/crates/iota-verifier-transactional-tests/tests/entry_points/non_key_struct_vector.exp b/crates/iota-verifier-transactional-tests/tests/entry_points/non_key_struct_vector.exp index 715e72e8458..cf147acf701 100644 --- a/crates/iota-verifier-transactional-tests/tests/entry_points/non_key_struct_vector.exp +++ b/crates/iota-verifier-transactional-tests/tests/entry_points/non_key_struct_vector.exp @@ -1,5 +1,5 @@ processed 1 task -task 0 'publish'. lines 6-17: +task 0 'publish'. lines 7-18: Error: Transaction Effects Status: Iota Move Bytecode Verification Error. Please run the Iota Move Verifier for more information. Execution Error: ExecutionError: ExecutionError { inner: ExecutionErrorInner { kind: IotaMoveVerificationError, source: Some("Invalid entry point parameter type. Expected primitive or object type. Got: vector<_::m::S>"), command: Some(0) } } diff --git a/crates/iota-verifier-transactional-tests/tests/entry_points/obj_mut_ref_vector.exp b/crates/iota-verifier-transactional-tests/tests/entry_points/obj_mut_ref_vector.exp index c9e3f06cb77..7fc5a3f9c00 100644 --- a/crates/iota-verifier-transactional-tests/tests/entry_points/obj_mut_ref_vector.exp +++ b/crates/iota-verifier-transactional-tests/tests/entry_points/obj_mut_ref_vector.exp @@ -1,5 +1,5 @@ processed 1 task -task 0 'publish'. lines 6-18: +task 0 'publish'. lines 7-19: Error: Transaction Effects Status: Iota Move Bytecode Verification Error. Please run the Iota Move Verifier for more information. Execution Error: ExecutionError: ExecutionError { inner: ExecutionErrorInner { kind: IotaMoveVerificationError, source: Some("Invalid entry point parameter type. Expected primitive or object type. Got: &mut vector<_::m::S>"), command: Some(0) } } diff --git a/crates/iota-verifier-transactional-tests/tests/entry_points/obj_ref_vector.exp b/crates/iota-verifier-transactional-tests/tests/entry_points/obj_ref_vector.exp index 0ec021ec7b8..e86acfb6ce6 100644 --- a/crates/iota-verifier-transactional-tests/tests/entry_points/obj_ref_vector.exp +++ b/crates/iota-verifier-transactional-tests/tests/entry_points/obj_ref_vector.exp @@ -1,5 +1,5 @@ processed 1 task -task 0 'publish'. lines 6-18: +task 0 'publish'. lines 7-19: Error: Transaction Effects Status: Iota Move Bytecode Verification Error. Please run the Iota Move Verifier for more information. Execution Error: ExecutionError: ExecutionError { inner: ExecutionErrorInner { kind: IotaMoveVerificationError, source: Some("Invalid entry point parameter type. Expected primitive or object type. Got: &vector<_::m::S>"), command: Some(0) } } diff --git a/crates/iota-verifier-transactional-tests/tests/entry_points/ok.exp b/crates/iota-verifier-transactional-tests/tests/entry_points/ok.exp index 1a1874b4f0b..c8bf9aa27d8 100644 --- a/crates/iota-verifier-transactional-tests/tests/entry_points/ok.exp +++ b/crates/iota-verifier-transactional-tests/tests/entry_points/ok.exp @@ -1,11 +1,11 @@ processed 2 tasks -task 0 'publish'. lines 4-11: +task 0 'publish'. lines 5-12: created: object(1,0) mutated: object(0,0) gas summary: computation_cost: 1000000, storage_cost: 3929200, storage_rebate: 0, non_refundable_storage_fee: 0 -task 1 'publish'. lines 13-20: +task 1 'publish'. lines 14-21: created: object(2,0) mutated: object(0,0) gas summary: computation_cost: 1000000, storage_cost: 3929200, storage_rebate: 978120, non_refundable_storage_fee: 9880 diff --git a/crates/iota-verifier-transactional-tests/tests/entry_points/option.exp b/crates/iota-verifier-transactional-tests/tests/entry_points/option.exp index 16906422536..83cbe78ed11 100644 --- a/crates/iota-verifier-transactional-tests/tests/entry_points/option.exp +++ b/crates/iota-verifier-transactional-tests/tests/entry_points/option.exp @@ -1,6 +1,6 @@ processed 1 task -task 0 'publish'. lines 6-23: +task 0 'publish'. lines 7-24: created: object(1,0) mutated: object(0,0) gas summary: computation_cost: 1000000, storage_cost: 4590400, storage_rebate: 0, non_refundable_storage_fee: 0 diff --git a/crates/iota-verifier-transactional-tests/tests/entry_points/optional_txn_context.exp b/crates/iota-verifier-transactional-tests/tests/entry_points/optional_txn_context.exp index bc7053e3106..b444e9116e8 100644 --- a/crates/iota-verifier-transactional-tests/tests/entry_points/optional_txn_context.exp +++ b/crates/iota-verifier-transactional-tests/tests/entry_points/optional_txn_context.exp @@ -1,11 +1,11 @@ processed 2 tasks -task 0 'publish'. lines 4-11: +task 0 'publish'. lines 5-12: created: object(1,0) mutated: object(0,0) gas summary: computation_cost: 1000000, storage_cost: 3769600, storage_rebate: 0, non_refundable_storage_fee: 0 -task 1 'publish'. lines 14-23: +task 1 'publish'. lines 15-24: created: object(2,0) mutated: object(0,0) gas summary: computation_cost: 1000000, storage_cost: 4392800, storage_rebate: 978120, non_refundable_storage_fee: 9880 diff --git a/crates/iota-verifier-transactional-tests/tests/entry_points/random_mut.exp b/crates/iota-verifier-transactional-tests/tests/entry_points/random_mut.exp index 2bf2a759fba..a69326b23f5 100644 --- a/crates/iota-verifier-transactional-tests/tests/entry_points/random_mut.exp +++ b/crates/iota-verifier-transactional-tests/tests/entry_points/random_mut.exp @@ -1,5 +1,5 @@ processed 1 task -task 0 'publish'. lines 6-14: +task 0 'publish'. lines 7-15: Error: Transaction Effects Status: Iota Move Bytecode Verification Error. Please run the Iota Move Verifier for more information. Execution Error: ExecutionError: ExecutionError { inner: ExecutionErrorInner { kind: IotaMoveVerificationError, source: Some("Invalid entry point parameter type. Random must be passed by immutable reference. got: &mut iota::random::Random"), command: Some(0) } } diff --git a/crates/iota-verifier-transactional-tests/tests/entry_points/random_ref.exp b/crates/iota-verifier-transactional-tests/tests/entry_points/random_ref.exp index 36ca9b363cd..fd880afb401 100644 --- a/crates/iota-verifier-transactional-tests/tests/entry_points/random_ref.exp +++ b/crates/iota-verifier-transactional-tests/tests/entry_points/random_ref.exp @@ -1,6 +1,6 @@ processed 1 task -task 0 'publish'. lines 6-14: +task 0 'publish'. lines 7-15: created: object(1,0) mutated: object(0,0) gas summary: computation_cost: 1000000, storage_cost: 3974800, storage_rebate: 0, non_refundable_storage_fee: 0 diff --git a/crates/iota-verifier-transactional-tests/tests/entry_points/random_val.exp b/crates/iota-verifier-transactional-tests/tests/entry_points/random_val.exp index fe998c07e49..b74a4a87e6a 100644 --- a/crates/iota-verifier-transactional-tests/tests/entry_points/random_val.exp +++ b/crates/iota-verifier-transactional-tests/tests/entry_points/random_val.exp @@ -1,5 +1,5 @@ processed 1 task -task 0 'publish'. lines 6-14: +task 0 'publish'. lines 7-15: Error: Transaction Effects Status: Iota Move Bytecode Verification Error. Please run the Iota Move Verifier for more information. Execution Error: ExecutionError: ExecutionError { inner: ExecutionErrorInner { kind: IotaMoveVerificationError, source: Some("Invalid entry point parameter type. Random must be passed by immutable reference. got: iota::random::Random"), command: Some(0) } } diff --git a/crates/iota-verifier-transactional-tests/tests/entry_points/return_values.exp b/crates/iota-verifier-transactional-tests/tests/entry_points/return_values.exp index febd73d4f12..db8ea8c4598 100644 --- a/crates/iota-verifier-transactional-tests/tests/entry_points/return_values.exp +++ b/crates/iota-verifier-transactional-tests/tests/entry_points/return_values.exp @@ -1,26 +1,26 @@ processed 5 tasks -task 0 'publish'. lines 6-13: +task 0 'publish'. lines 7-14: created: object(1,0) mutated: object(0,0) gas summary: computation_cost: 1000000, storage_cost: 3959600, storage_rebate: 0, non_refundable_storage_fee: 0 -task 1 'publish'. lines 15-22: +task 1 'publish'. lines 16-23: created: object(2,0) mutated: object(0,0) gas summary: computation_cost: 1000000, storage_cost: 3967200, storage_rebate: 978120, non_refundable_storage_fee: 9880 -task 2 'publish'. lines 24-31: +task 2 'publish'. lines 25-32: created: object(3,0) mutated: object(0,0) gas summary: computation_cost: 1000000, storage_cost: 3967200, storage_rebate: 978120, non_refundable_storage_fee: 9880 -task 3 'publish'. lines 33-41: +task 3 'publish'. lines 34-42: created: object(4,0) mutated: object(0,0) gas summary: computation_cost: 1000000, storage_cost: 4506800, storage_rebate: 978120, non_refundable_storage_fee: 9880 -task 4 'publish'. lines 43-51: +task 4 'publish'. lines 44-52: created: object(5,0) mutated: object(0,0) gas summary: computation_cost: 1000000, storage_cost: 4522000, storage_rebate: 978120, non_refundable_storage_fee: 9880 diff --git a/crates/iota-verifier-transactional-tests/tests/entry_points/return_values_invalid.exp b/crates/iota-verifier-transactional-tests/tests/entry_points/return_values_invalid.exp index 1ddaea699b7..efb974d8f39 100644 --- a/crates/iota-verifier-transactional-tests/tests/entry_points/return_values_invalid.exp +++ b/crates/iota-verifier-transactional-tests/tests/entry_points/return_values_invalid.exp @@ -1,25 +1,25 @@ processed 6 tasks -task 0 'publish'. lines 6-13: +task 0 'publish'. lines 7-14: Error: Transaction Effects Status: Iota Move Bytecode Verification Error. Please run the Iota Move Verifier for more information. Execution Error: ExecutionError: ExecutionError { inner: ExecutionErrorInner { kind: IotaMoveVerificationError, source: Some("Invalid entry point return type. Expected a non reference type."), command: Some(0) } } -task 1 'publish'. lines 15-22: +task 1 'publish'. lines 16-23: Error: Transaction Effects Status: Iota Move Bytecode Verification Error. Please run the Iota Move Verifier for more information. Execution Error: ExecutionError: ExecutionError { inner: ExecutionErrorInner { kind: IotaMoveVerificationError, source: Some("Invalid entry point return type. Expected a non reference type."), command: Some(0) } } -task 2 'publish'. lines 24-31: +task 2 'publish'. lines 25-32: Error: Transaction Effects Status: Iota Move Bytecode Verification Error. Please run the Iota Move Verifier for more information. Execution Error: ExecutionError: ExecutionError { inner: ExecutionErrorInner { kind: IotaMoveVerificationError, source: Some("Invalid entry point return type. Expected a non reference type."), command: Some(0) } } -task 3 'publish'. lines 33-41: +task 3 'publish'. lines 34-42: Error: Transaction Effects Status: Iota Move Bytecode Verification Error. Please run the Iota Move Verifier for more information. Execution Error: ExecutionError: ExecutionError { inner: ExecutionErrorInner { kind: IotaMoveVerificationError, source: Some("Invalid entry point return type. The specified return type does not have the 'drop' ability: _::m::Copyable"), command: Some(0) } } -task 4 'publish'. lines 43-52: +task 4 'publish'. lines 44-53: Error: Transaction Effects Status: Iota Move Bytecode Verification Error. Please run the Iota Move Verifier for more information. Execution Error: ExecutionError: ExecutionError { inner: ExecutionErrorInner { kind: IotaMoveVerificationError, source: Some("Invalid entry point return type. The specified return type does not have the 'drop' ability: _::m::Obj"), command: Some(0) } } -task 5 'publish'. lines 54-63: +task 5 'publish'. lines 55-64: Error: Transaction Effects Status: Iota Move Bytecode Verification Error. Please run the Iota Move Verifier for more information. Execution Error: ExecutionError: ExecutionError { inner: ExecutionErrorInner { kind: IotaMoveVerificationError, source: Some("Invalid entry point return type. The specified return type does not have the 'drop' ability: vector<_::m::Obj>"), command: Some(0) } } diff --git a/crates/iota-verifier-transactional-tests/tests/entry_points/single_generic_vector_param.exp b/crates/iota-verifier-transactional-tests/tests/entry_points/single_generic_vector_param.exp index 3dd7fc6ad4a..fdec5ddf120 100644 --- a/crates/iota-verifier-transactional-tests/tests/entry_points/single_generic_vector_param.exp +++ b/crates/iota-verifier-transactional-tests/tests/entry_points/single_generic_vector_param.exp @@ -1,6 +1,6 @@ processed 1 task -task 0 'publish'. lines 4-13: +task 0 'publish'. lines 5-14: created: object(1,0) mutated: object(0,0) gas summary: computation_cost: 1000000, storage_cost: 3974800, storage_rebate: 0, non_refundable_storage_fee: 0 diff --git a/crates/iota-verifier-transactional-tests/tests/entry_points/single_type_param.exp b/crates/iota-verifier-transactional-tests/tests/entry_points/single_type_param.exp index 1b546180316..21407b6aa87 100644 --- a/crates/iota-verifier-transactional-tests/tests/entry_points/single_type_param.exp +++ b/crates/iota-verifier-transactional-tests/tests/entry_points/single_type_param.exp @@ -1,6 +1,6 @@ processed 1 task -task 0 'publish'. lines 4-13: +task 0 'publish'. lines 5-14: created: object(1,0) mutated: object(0,0) gas summary: computation_cost: 1000000, storage_cost: 3967200, storage_rebate: 0, non_refundable_storage_fee: 0 diff --git a/crates/iota-verifier-transactional-tests/tests/entry_points/single_type_param_generic_object.exp b/crates/iota-verifier-transactional-tests/tests/entry_points/single_type_param_generic_object.exp index 3847627b4aa..b0f6f40e37d 100644 --- a/crates/iota-verifier-transactional-tests/tests/entry_points/single_type_param_generic_object.exp +++ b/crates/iota-verifier-transactional-tests/tests/entry_points/single_type_param_generic_object.exp @@ -1,6 +1,6 @@ processed 1 task -task 0 'publish'. lines 4-16: +task 0 'publish'. lines 5-17: created: object(1,0) mutated: object(0,0) gas summary: computation_cost: 1000000, storage_cost: 4575200, storage_rebate: 0, non_refundable_storage_fee: 0 diff --git a/crates/iota-verifier-transactional-tests/tests/entry_points/single_type_param_key.exp b/crates/iota-verifier-transactional-tests/tests/entry_points/single_type_param_key.exp index 1b546180316..21407b6aa87 100644 --- a/crates/iota-verifier-transactional-tests/tests/entry_points/single_type_param_key.exp +++ b/crates/iota-verifier-transactional-tests/tests/entry_points/single_type_param_key.exp @@ -1,6 +1,6 @@ processed 1 task -task 0 'publish'. lines 4-13: +task 0 'publish'. lines 5-14: created: object(1,0) mutated: object(0,0) gas summary: computation_cost: 1000000, storage_cost: 3967200, storage_rebate: 0, non_refundable_storage_fee: 0 diff --git a/crates/iota-verifier-transactional-tests/tests/entry_points/string.exp b/crates/iota-verifier-transactional-tests/tests/entry_points/string.exp index 9aa01517dc7..b90563d7bd8 100644 --- a/crates/iota-verifier-transactional-tests/tests/entry_points/string.exp +++ b/crates/iota-verifier-transactional-tests/tests/entry_points/string.exp @@ -1,6 +1,6 @@ processed 1 task -task 0 'publish'. lines 6-31: +task 0 'publish'. lines 7-32: created: object(1,0) mutated: object(0,0) gas summary: computation_cost: 1000000, storage_cost: 4894400, storage_rebate: 0, non_refundable_storage_fee: 0 diff --git a/crates/iota-verifier-transactional-tests/tests/id_immutable/mut_borrow_generic_key_struct_id_field.exp b/crates/iota-verifier-transactional-tests/tests/id_immutable/mut_borrow_generic_key_struct_id_field.exp index e995a7977e7..41abae350a3 100644 --- a/crates/iota-verifier-transactional-tests/tests/id_immutable/mut_borrow_generic_key_struct_id_field.exp +++ b/crates/iota-verifier-transactional-tests/tests/id_immutable/mut_borrow_generic_key_struct_id_field.exp @@ -1,6 +1,6 @@ processed 1 task -task 0 'publish'. lines 4-18: +task 0 'publish'. lines 5-19: created: object(1,0) mutated: object(0,0) gas summary: computation_cost: 1000000, storage_cost: 4461200, storage_rebate: 0, non_refundable_storage_fee: 0 diff --git a/crates/iota-verifier-transactional-tests/tests/id_immutable/mut_borrow_key_struct_id_field.exp b/crates/iota-verifier-transactional-tests/tests/id_immutable/mut_borrow_key_struct_id_field.exp index e13371a2f5c..903bd49b450 100644 --- a/crates/iota-verifier-transactional-tests/tests/id_immutable/mut_borrow_key_struct_id_field.exp +++ b/crates/iota-verifier-transactional-tests/tests/id_immutable/mut_borrow_key_struct_id_field.exp @@ -1,6 +1,6 @@ processed 1 task -task 0 'publish'. lines 4-18: +task 0 'publish'. lines 5-19: created: object(1,0) mutated: object(0,0) gas summary: computation_cost: 1000000, storage_cost: 4370000, storage_rebate: 0, non_refundable_storage_fee: 0 diff --git a/crates/iota-verifier-transactional-tests/tests/id_immutable/mut_borrow_key_struct_non_id_field.exp b/crates/iota-verifier-transactional-tests/tests/id_immutable/mut_borrow_key_struct_non_id_field.exp index b74ce851768..a4940da8e4f 100644 --- a/crates/iota-verifier-transactional-tests/tests/id_immutable/mut_borrow_key_struct_non_id_field.exp +++ b/crates/iota-verifier-transactional-tests/tests/id_immutable/mut_borrow_key_struct_non_id_field.exp @@ -1,6 +1,6 @@ processed 1 task -task 0 'publish'. lines 4-19: +task 0 'publish'. lines 5-20: created: object(1,0) mutated: object(0,0) gas summary: computation_cost: 1000000, storage_cost: 4438400, storage_rebate: 0, non_refundable_storage_fee: 0 diff --git a/crates/iota-verifier-transactional-tests/tests/id_immutable/mut_borrow_non_key_struct_id_field.exp b/crates/iota-verifier-transactional-tests/tests/id_immutable/mut_borrow_non_key_struct_id_field.exp index e13371a2f5c..903bd49b450 100644 --- a/crates/iota-verifier-transactional-tests/tests/id_immutable/mut_borrow_non_key_struct_id_field.exp +++ b/crates/iota-verifier-transactional-tests/tests/id_immutable/mut_borrow_non_key_struct_id_field.exp @@ -1,6 +1,6 @@ processed 1 task -task 0 'publish'. lines 4-18: +task 0 'publish'. lines 5-19: created: object(1,0) mutated: object(0,0) gas summary: computation_cost: 1000000, storage_cost: 4370000, storage_rebate: 0, non_refundable_storage_fee: 0 diff --git a/crates/iota-verifier-transactional-tests/tests/id_immutable/write_id_field.exp b/crates/iota-verifier-transactional-tests/tests/id_immutable/write_id_field.exp index b8636461ad4..9a225f373f3 100644 --- a/crates/iota-verifier-transactional-tests/tests/id_immutable/write_id_field.exp +++ b/crates/iota-verifier-transactional-tests/tests/id_immutable/write_id_field.exp @@ -1,5 +1,5 @@ processed 1 task -task 0 'publish'. lines 4-20: +task 0 'publish'. lines 5-21: Error: Transaction Effects Status: Move Bytecode Verification Error. Please run the Bytecode Verifier for more information. Execution Error: ExecutionError: ExecutionError { inner: ExecutionErrorInner { kind: VMVerificationOrDeserializationError, source: Some(VMError { major_status: WRITEREF_WITHOUT_DROP_ABILITY, sub_status: None, message: None, exec_state: None, location: Module(ModuleId { address: _, name: Identifier("m") }), indices: [(FunctionDefinition, 0)], offsets: [(FunctionDefinitionIndex(0), 5)] }), command: Some(0) } } diff --git a/crates/iota-verifier-transactional-tests/tests/id_leak/direct_leak_through_call.exp b/crates/iota-verifier-transactional-tests/tests/id_leak/direct_leak_through_call.exp index 28af99b7e2c..83ac237c8ef 100644 --- a/crates/iota-verifier-transactional-tests/tests/id_leak/direct_leak_through_call.exp +++ b/crates/iota-verifier-transactional-tests/tests/id_leak/direct_leak_through_call.exp @@ -1,6 +1,6 @@ processed 1 task -task 0 'publish'. lines 4-26: +task 0 'publish'. lines 5-27: created: object(1,0) mutated: object(0,0) gas summary: computation_cost: 1000000, storage_cost: 4590400, storage_rebate: 0, non_refundable_storage_fee: 0 diff --git a/crates/iota-verifier-transactional-tests/tests/id_leak/indirect_leak_through_call.exp b/crates/iota-verifier-transactional-tests/tests/id_leak/indirect_leak_through_call.exp index 0bdf098b744..2c8feec0c37 100644 --- a/crates/iota-verifier-transactional-tests/tests/id_leak/indirect_leak_through_call.exp +++ b/crates/iota-verifier-transactional-tests/tests/id_leak/indirect_leak_through_call.exp @@ -1,10 +1,10 @@ processed 2 tasks -task 0 'publish'. lines 4-26: +task 0 'publish'. lines 5-27: Error: Transaction Effects Status: Iota Move Bytecode Verification Error. Please run the Iota Move Verifier for more information. Execution Error: ExecutionError: ExecutionError { inner: ExecutionErrorInner { kind: IotaMoveVerificationError, source: Some("PartialVMError with status UNKNOWN_VERIFICATION_ERROR with sub status 1 and message Invalid object creation in _::m::foo. Object created without a newly created UID. The UID must come directly from iota::object::new. Or for tests, it can come from iota::test_scenario::new_object"), command: Some(0) } } -task 1 'publish'. lines 28-50: +task 1 'publish'. lines 29-51: created: object(2,0) mutated: object(0,0) gas summary: computation_cost: 1000000, storage_cost: 4590400, storage_rebate: 978120, non_refundable_storage_fee: 9880 diff --git a/crates/iota-verifier-transactional-tests/tests/id_leak/infinite_loop.exp b/crates/iota-verifier-transactional-tests/tests/id_leak/infinite_loop.exp index dab5c6acbb6..912e9f9963c 100644 --- a/crates/iota-verifier-transactional-tests/tests/id_leak/infinite_loop.exp +++ b/crates/iota-verifier-transactional-tests/tests/id_leak/infinite_loop.exp @@ -1,11 +1,11 @@ processed 2 tasks -task 0 'publish'. lines 6-28: +task 0 'publish'. lines 7-29: created: object(1,0) mutated: object(0,0) gas summary: computation_cost: 1000000, storage_cost: 4970400, storage_rebate: 0, non_refundable_storage_fee: 0 -task 1 'publish'. lines 30-59: +task 1 'publish'. lines 31-60: created: object(2,0) mutated: object(0,0) gas summary: computation_cost: 1000000, storage_cost: 5168000, storage_rebate: 978120, non_refundable_storage_fee: 9880 diff --git a/crates/iota-verifier-transactional-tests/tests/id_leak/loop.exp b/crates/iota-verifier-transactional-tests/tests/id_leak/loop.exp index 83210eafe77..265a9d5b04a 100644 --- a/crates/iota-verifier-transactional-tests/tests/id_leak/loop.exp +++ b/crates/iota-verifier-transactional-tests/tests/id_leak/loop.exp @@ -1,6 +1,6 @@ processed 1 task -task 0 'publish'. lines 4-34: +task 0 'publish'. lines 5-35: created: object(1,0) mutated: object(0,0) gas summary: computation_cost: 1000000, storage_cost: 5631600, storage_rebate: 0, non_refundable_storage_fee: 0 diff --git a/crates/iota-verifier-transactional-tests/tests/id_leak/through_call_with_borrow_field.exp b/crates/iota-verifier-transactional-tests/tests/id_leak/through_call_with_borrow_field.exp index c40b602cc47..43c8ed31561 100644 --- a/crates/iota-verifier-transactional-tests/tests/id_leak/through_call_with_borrow_field.exp +++ b/crates/iota-verifier-transactional-tests/tests/id_leak/through_call_with_borrow_field.exp @@ -1,5 +1,5 @@ processed 1 task -task 0 'publish'. lines 4-34: +task 0 'publish'. lines 5-35: Error: Transaction Effects Status: Iota Move Bytecode Verification Error. Please run the Iota Move Verifier for more information. Execution Error: ExecutionError: ExecutionError { inner: ExecutionErrorInner { kind: IotaMoveVerificationError, source: Some("PartialVMError with status UNKNOWN_VERIFICATION_ERROR with sub status 1 and message Invalid object creation in _::m::new. Object created without a newly created UID. The UID must come directly from iota::object::new. Or for tests, it can come from iota::test_scenario::new_object"), command: Some(0) } } diff --git a/crates/iota-verifier-transactional-tests/tests/id_leak/through_direct_return.exp b/crates/iota-verifier-transactional-tests/tests/id_leak/through_direct_return.exp index c873982603d..3c00334c0bf 100644 --- a/crates/iota-verifier-transactional-tests/tests/id_leak/through_direct_return.exp +++ b/crates/iota-verifier-transactional-tests/tests/id_leak/through_direct_return.exp @@ -1,6 +1,6 @@ processed 1 task -task 0 'publish'. lines 4-20: +task 0 'publish'. lines 5-21: created: object(1,0) mutated: object(0,0) gas summary: computation_cost: 1000000, storage_cost: 4294000, storage_rebate: 0, non_refundable_storage_fee: 0 diff --git a/crates/iota-verifier-transactional-tests/tests/id_leak/through_indirect_return.exp b/crates/iota-verifier-transactional-tests/tests/id_leak/through_indirect_return.exp index 72279e071fb..803dc7b8c23 100644 --- a/crates/iota-verifier-transactional-tests/tests/id_leak/through_indirect_return.exp +++ b/crates/iota-verifier-transactional-tests/tests/id_leak/through_indirect_return.exp @@ -1,5 +1,5 @@ processed 1 task -task 0 'publish'. lines 4-20: +task 0 'publish'. lines 5-21: Error: Transaction Effects Status: Iota Move Bytecode Verification Error. Please run the Iota Move Verifier for more information. Execution Error: ExecutionError: ExecutionError { inner: ExecutionErrorInner { kind: IotaMoveVerificationError, source: Some("PartialVMError with status UNKNOWN_VERIFICATION_ERROR with sub status 1 and message Invalid object creation in _::m::foo. Object created without a newly created UID. The UID must come directly from iota::object::new. Or for tests, it can come from iota::test_scenario::new_object"), command: Some(0) } } diff --git a/crates/iota-verifier-transactional-tests/tests/id_leak/through_pack.exp b/crates/iota-verifier-transactional-tests/tests/id_leak/through_pack.exp index fec9f3bc852..007e8397830 100644 --- a/crates/iota-verifier-transactional-tests/tests/id_leak/through_pack.exp +++ b/crates/iota-verifier-transactional-tests/tests/id_leak/through_pack.exp @@ -1,10 +1,10 @@ processed 2 tasks -task 0 'publish'. lines 4-37: +task 0 'publish'. lines 5-38: Error: Transaction Effects Status: Iota Move Bytecode Verification Error. Please run the Iota Move Verifier for more information. Execution Error: ExecutionError: ExecutionError { inner: ExecutionErrorInner { kind: IotaMoveVerificationError, source: Some("PartialVMError with status UNKNOWN_VERIFICATION_ERROR with sub status 1 and message Invalid object creation in _::test::test. Object created without a newly created UID. The UID must come directly from iota::object::new. Or for tests, it can come from iota::test_scenario::new_object"), command: Some(0) } } -task 1 'publish'. lines 39-62: +task 1 'publish'. lines 40-63: created: object(2,0) mutated: object(0,0) gas summary: computation_cost: 1000000, storage_cost: 4902000, storage_rebate: 978120, non_refundable_storage_fee: 9880 diff --git a/crates/iota-verifier-transactional-tests/tests/id_leak/through_reference.exp b/crates/iota-verifier-transactional-tests/tests/id_leak/through_reference.exp index b8636461ad4..9a225f373f3 100644 --- a/crates/iota-verifier-transactional-tests/tests/id_leak/through_reference.exp +++ b/crates/iota-verifier-transactional-tests/tests/id_leak/through_reference.exp @@ -1,5 +1,5 @@ processed 1 task -task 0 'publish'. lines 4-20: +task 0 'publish'. lines 5-21: Error: Transaction Effects Status: Move Bytecode Verification Error. Please run the Bytecode Verifier for more information. Execution Error: ExecutionError: ExecutionError { inner: ExecutionErrorInner { kind: VMVerificationOrDeserializationError, source: Some(VMError { major_status: WRITEREF_WITHOUT_DROP_ABILITY, sub_status: None, message: None, exec_state: None, location: Module(ModuleId { address: _, name: Identifier("m") }), indices: [(FunctionDefinition, 0)], offsets: [(FunctionDefinitionIndex(0), 5)] }), command: Some(0) } } diff --git a/crates/iota-verifier-transactional-tests/tests/id_leak/through_vector.exp b/crates/iota-verifier-transactional-tests/tests/id_leak/through_vector.exp index 51d864e4511..bee9cb1c8db 100644 --- a/crates/iota-verifier-transactional-tests/tests/id_leak/through_vector.exp +++ b/crates/iota-verifier-transactional-tests/tests/id_leak/through_vector.exp @@ -1,6 +1,6 @@ processed 1 task -task 0 'publish'. lines 4-21: +task 0 'publish'. lines 5-22: created: object(1,0) mutated: object(0,0) gas summary: computation_cost: 1000000, storage_cost: 4362400, storage_rebate: 0, non_refundable_storage_fee: 0 diff --git a/crates/iota-verifier-transactional-tests/tests/id_leak/transmute.exp b/crates/iota-verifier-transactional-tests/tests/id_leak/transmute.exp index 687cc7e8844..67805bb893a 100644 --- a/crates/iota-verifier-transactional-tests/tests/id_leak/transmute.exp +++ b/crates/iota-verifier-transactional-tests/tests/id_leak/transmute.exp @@ -1,5 +1,5 @@ processed 1 task -task 0 'publish'. lines 4-28: +task 0 'publish'. lines 5-29: Error: Transaction Effects Status: Iota Move Bytecode Verification Error. Please run the Iota Move Verifier for more information. Execution Error: ExecutionError: ExecutionError { inner: ExecutionErrorInner { kind: IotaMoveVerificationError, source: Some("PartialVMError with status UNKNOWN_VERIFICATION_ERROR with sub status 1 and message Invalid object creation in _::m::transmute. Object created without a newly created UID. The UID must come directly from iota::object::new. Or for tests, it can come from iota::test_scenario::new_object"), command: Some(0) } } diff --git a/crates/iota-verifier-transactional-tests/tests/init/cannot_call_init.exp b/crates/iota-verifier-transactional-tests/tests/init/cannot_call_init.exp index e2eb7abd1cd..64e35f341c0 100644 --- a/crates/iota-verifier-transactional-tests/tests/init/cannot_call_init.exp +++ b/crates/iota-verifier-transactional-tests/tests/init/cannot_call_init.exp @@ -1,5 +1,5 @@ processed 1 task -task 0 'publish'. lines 4-17: +task 0 'publish'. lines 5-18: Error: Transaction Effects Status: Iota Move Bytecode Verification Error. Please run the Iota Move Verifier for more information. Execution Error: ExecutionError: ExecutionError { inner: ExecutionErrorInner { kind: IotaMoveVerificationError, source: Some("_::m::init at offset 1. Cannot call a module's 'init' function from another Move function"), command: Some(0) } } diff --git a/crates/iota-verifier-transactional-tests/tests/init/imm_tx_context.exp b/crates/iota-verifier-transactional-tests/tests/init/imm_tx_context.exp index 57f4dd5908a..0d6b85280a9 100644 --- a/crates/iota-verifier-transactional-tests/tests/init/imm_tx_context.exp +++ b/crates/iota-verifier-transactional-tests/tests/init/imm_tx_context.exp @@ -1,5 +1,5 @@ processed 1 task -task 0 'publish'. lines 6-13: +task 0 'publish'. lines 7-14: Error: Transaction Effects Status: Move Runtime Abort. Location: _::m::init (function index 0) at offset 1, Abort Code: 0 Execution Error: ExecutionError: ExecutionError { inner: ExecutionErrorInner { kind: MoveAbort(MoveLocation { module: ModuleId { address: _, name: Identifier("m") }, function: 0, instruction: 1, function_name: Some("init") }, 0), source: Some(VMError { major_status: ABORTED, sub_status: Some(0), message: Some("_::m::init at offset 1"), exec_state: None, location: Module(ModuleId { address: _, name: Identifier("m") }), indices: [], offsets: [(FunctionDefinitionIndex(0), 1)] }), command: Some(0) } } diff --git a/crates/iota-verifier-transactional-tests/tests/init/must_have_txn_context.exp b/crates/iota-verifier-transactional-tests/tests/init/must_have_txn_context.exp index 9fc2c5b6396..067e70b771a 100644 --- a/crates/iota-verifier-transactional-tests/tests/init/must_have_txn_context.exp +++ b/crates/iota-verifier-transactional-tests/tests/init/must_have_txn_context.exp @@ -1,9 +1,9 @@ processed 2 tasks -task 0 'publish'. lines 4-11: +task 0 'publish'. lines 5-12: Error: Transaction Effects Status: Iota Move Bytecode Verification Error. Please run the Iota Move Verifier for more information. Execution Error: ExecutionError: ExecutionError { inner: ExecutionErrorInner { kind: IotaMoveVerificationError, source: Some("Expected at least one and at most two parameters for _::m::init"), command: Some(0) } } -task 1 'publish'. lines 14-21: +task 1 'publish'. lines 15-22: Error: Transaction Effects Status: Iota Move Bytecode Verification Error. Please run the Iota Move Verifier for more information. Execution Error: ExecutionError: ExecutionError { inner: ExecutionErrorInner { kind: IotaMoveVerificationError, source: Some("Expected last (and at most second) parameter for _::m::init to be &mut iota::tx_context::TxContext or &iota::tx_context::TxContext; optional first parameter must be of one-time witness type whose name is the same as the capitalized module name (_::m::M) and which has no fields or a single field of type bool"), command: Some(0) } } diff --git a/crates/iota-verifier-transactional-tests/tests/init/not_generic.exp b/crates/iota-verifier-transactional-tests/tests/init/not_generic.exp index f8b6dc82742..f78adda23e8 100644 --- a/crates/iota-verifier-transactional-tests/tests/init/not_generic.exp +++ b/crates/iota-verifier-transactional-tests/tests/init/not_generic.exp @@ -1,5 +1,5 @@ processed 1 task -task 0 'publish'. lines 4-11: +task 0 'publish'. lines 5-12: Error: Transaction Effects Status: Iota Move Bytecode Verification Error. Please run the Iota Move Verifier for more information. Execution Error: ExecutionError: ExecutionError { inner: ExecutionErrorInner { kind: IotaMoveVerificationError, source: Some("_::m. 'init' function cannot have type parameters"), command: Some(0) } } diff --git a/crates/iota-verifier-transactional-tests/tests/init/not_private.exp b/crates/iota-verifier-transactional-tests/tests/init/not_private.exp index 689a7a7e1f3..eaf5932b43f 100644 --- a/crates/iota-verifier-transactional-tests/tests/init/not_private.exp +++ b/crates/iota-verifier-transactional-tests/tests/init/not_private.exp @@ -1,13 +1,13 @@ processed 3 tasks -task 0 'publish'. lines 4-11: +task 0 'publish'. lines 5-12: Error: Transaction Effects Status: Iota Move Bytecode Verification Error. Please run the Iota Move Verifier for more information. Execution Error: ExecutionError: ExecutionError { inner: ExecutionErrorInner { kind: IotaMoveVerificationError, source: Some("_::m. 'init' function must be private"), command: Some(0) } } -task 1 'publish'. lines 13-20: +task 1 'publish'. lines 14-21: Error: Transaction Effects Status: Iota Move Bytecode Verification Error. Please run the Iota Move Verifier for more information. Execution Error: ExecutionError: ExecutionError { inner: ExecutionErrorInner { kind: IotaMoveVerificationError, source: Some("_::m. 'init' function must be private"), command: Some(0) } } -task 2 'publish'. lines 22-29: +task 2 'publish'. lines 23-30: Error: Transaction Effects Status: Iota Move Bytecode Verification Error. Please run the Iota Move Verifier for more information. Execution Error: ExecutionError: ExecutionError { inner: ExecutionErrorInner { kind: IotaMoveVerificationError, source: Some("_::m. 'init' function must be private"), command: Some(0) } } diff --git a/crates/iota-verifier-transactional-tests/tests/init/not_txn_context.exp b/crates/iota-verifier-transactional-tests/tests/init/not_txn_context.exp index 1b07a77b5c3..5205212b791 100644 --- a/crates/iota-verifier-transactional-tests/tests/init/not_txn_context.exp +++ b/crates/iota-verifier-transactional-tests/tests/init/not_txn_context.exp @@ -1,13 +1,13 @@ processed 3 tasks -task 0 'publish'. lines 4-11: +task 0 'publish'. lines 5-12: Error: Transaction Effects Status: Iota Move Bytecode Verification Error. Please run the Iota Move Verifier for more information. Execution Error: ExecutionError: ExecutionError { inner: ExecutionErrorInner { kind: IotaMoveVerificationError, source: Some("Expected last parameter for _::m::init to be &mut iota::tx_context::TxContext or &iota::tx_context::TxContext, but found u64"), command: Some(0) } } -task 1 'publish'. lines 13-20: +task 1 'publish'. lines 14-21: Error: Transaction Effects Status: Iota Move Bytecode Verification Error. Please run the Iota Move Verifier for more information. Execution Error: ExecutionError: ExecutionError { inner: ExecutionErrorInner { kind: IotaMoveVerificationError, source: Some("Expected last parameter for _::tx_context::init to be &mut iota::tx_context::TxContext or &iota::tx_context::TxContext, but found _::tx_context::TxContext"), command: Some(0) } } -task 2 'publish'. lines 22-29: +task 2 'publish'. lines 23-30: Error: Transaction Effects Status: Iota Move Bytecode Verification Error. Please run the Iota Move Verifier for more information. Execution Error: ExecutionError: ExecutionError { inner: ExecutionErrorInner { kind: IotaMoveVerificationError, source: Some("Expected last parameter for _::m::init to be &mut iota::tx_context::TxContext or &iota::tx_context::TxContext, but found iota::tx_context::TxContext"), command: Some(0) } } diff --git a/crates/iota-verifier-transactional-tests/tests/init/ok.exp b/crates/iota-verifier-transactional-tests/tests/init/ok.exp index 0b109b9aad8..c3a90cc2949 100644 --- a/crates/iota-verifier-transactional-tests/tests/init/ok.exp +++ b/crates/iota-verifier-transactional-tests/tests/init/ok.exp @@ -1,5 +1,5 @@ processed 1 task -task 0 'publish'. lines 4-11: +task 0 'publish'. lines 5-12: Error: Transaction Effects Status: Move Runtime Abort. Location: _::m::init (function index 0) at offset 1, Abort Code: 0 Execution Error: ExecutionError: ExecutionError { inner: ExecutionErrorInner { kind: MoveAbort(MoveLocation { module: ModuleId { address: _, name: Identifier("m") }, function: 0, instruction: 1, function_name: Some("init") }, 0), source: Some(VMError { major_status: ABORTED, sub_status: Some(0), message: Some("_::m::init at offset 1"), exec_state: None, location: Module(ModuleId { address: _, name: Identifier("m") }), indices: [], offsets: [(FunctionDefinitionIndex(0), 1)] }), command: Some(0) } } diff --git a/crates/iota-verifier-transactional-tests/tests/init/return_values.exp b/crates/iota-verifier-transactional-tests/tests/init/return_values.exp index 35eebd67d92..952e4082942 100644 --- a/crates/iota-verifier-transactional-tests/tests/init/return_values.exp +++ b/crates/iota-verifier-transactional-tests/tests/init/return_values.exp @@ -1,5 +1,5 @@ processed 1 task -task 0 'publish'. lines 4-11: +task 0 'publish'. lines 5-12: Error: Transaction Effects Status: Iota Move Bytecode Verification Error. Please run the Iota Move Verifier for more information. Execution Error: ExecutionError: ExecutionError { inner: ExecutionErrorInner { kind: IotaMoveVerificationError, source: Some("_::m, 'init' function cannot have return values"), command: Some(0) } } diff --git a/crates/iota-verifier-transactional-tests/tests/one_time_witness/bool_field.exp b/crates/iota-verifier-transactional-tests/tests/one_time_witness/bool_field.exp index 8a642f034a7..e21af7792e7 100644 --- a/crates/iota-verifier-transactional-tests/tests/one_time_witness/bool_field.exp +++ b/crates/iota-verifier-transactional-tests/tests/one_time_witness/bool_field.exp @@ -1,6 +1,6 @@ processed 1 task -task 0 'publish'. lines 6-16: +task 0 'publish'. lines 7-17: created: object(1,0) mutated: object(0,0) gas summary: computation_cost: 1000000, storage_cost: 4362400, storage_rebate: 0, non_refundable_storage_fee: 0 diff --git a/crates/iota-verifier-transactional-tests/tests/one_time_witness/instantiate.exp b/crates/iota-verifier-transactional-tests/tests/one_time_witness/instantiate.exp index ca85d375f7c..6b21e7addec 100644 --- a/crates/iota-verifier-transactional-tests/tests/one_time_witness/instantiate.exp +++ b/crates/iota-verifier-transactional-tests/tests/one_time_witness/instantiate.exp @@ -1,5 +1,5 @@ processed 1 task -task 0 'publish'. lines 6-24: +task 0 'publish'. lines 7-25: Error: Transaction Effects Status: Iota Move Bytecode Verification Error. Please run the Iota Move Verifier for more information. Execution Error: ExecutionError: ExecutionError { inner: ExecutionErrorInner { kind: IotaMoveVerificationError, source: Some("one-time witness type _::m::M is instantiated in the _::m::pack function and must never be"), command: Some(0) } } diff --git a/crates/iota-verifier-transactional-tests/tests/one_time_witness/many_fields_invalid.exp b/crates/iota-verifier-transactional-tests/tests/one_time_witness/many_fields_invalid.exp index 4184bd771c8..d2b31828a1f 100644 --- a/crates/iota-verifier-transactional-tests/tests/one_time_witness/many_fields_invalid.exp +++ b/crates/iota-verifier-transactional-tests/tests/one_time_witness/many_fields_invalid.exp @@ -1,5 +1,5 @@ processed 1 task -task 0 'publish'. lines 6-16: +task 0 'publish'. lines 7-17: Error: Transaction Effects Status: Iota Move Bytecode Verification Error. Please run the Iota Move Verifier for more information. Execution Error: ExecutionError: ExecutionError { inner: ExecutionErrorInner { kind: IotaMoveVerificationError, source: Some("Expected last (and at most second) parameter for _::m::init to be &mut iota::tx_context::TxContext or &iota::tx_context::TxContext; optional first parameter must be of one-time witness type whose name is the same as the capitalized module name (_::m::M) and which has no fields or a single field of type bool"), command: Some(0) } } diff --git a/crates/iota-verifier-transactional-tests/tests/one_time_witness/many_fields_valid.exp b/crates/iota-verifier-transactional-tests/tests/one_time_witness/many_fields_valid.exp index e4ffc74896d..6a5be18f587 100644 --- a/crates/iota-verifier-transactional-tests/tests/one_time_witness/many_fields_valid.exp +++ b/crates/iota-verifier-transactional-tests/tests/one_time_witness/many_fields_valid.exp @@ -1,6 +1,6 @@ processed 1 task -task 0 'publish'. lines 6-14: +task 0 'publish'. lines 7-15: created: object(1,0) mutated: object(0,0) gas summary: computation_cost: 1000000, storage_cost: 4005200, storage_rebate: 0, non_refundable_storage_fee: 0 diff --git a/crates/iota-verifier-transactional-tests/tests/one_time_witness/more_abilities.exp b/crates/iota-verifier-transactional-tests/tests/one_time_witness/more_abilities.exp index e0227122370..962b79c6af0 100644 --- a/crates/iota-verifier-transactional-tests/tests/one_time_witness/more_abilities.exp +++ b/crates/iota-verifier-transactional-tests/tests/one_time_witness/more_abilities.exp @@ -1,13 +1,13 @@ processed 4 tasks -task 1 'publish'. lines 8-19: +task 1 'publish'. lines 9-20: Error: Transaction Effects Status: Iota Move Bytecode Verification Error. Please run the Iota Move Verifier for more information. Execution Error: ExecutionError: ExecutionError { inner: ExecutionErrorInner { kind: IotaMoveVerificationError, source: Some("one-time witness type candidate _::m::M must have a single ability: drop"), command: Some(0) } } -task 2 'publish'. lines 21-32: +task 2 'publish'. lines 22-33: Error: Transaction Effects Status: Iota Move Bytecode Verification Error. Please run the Iota Move Verifier for more information. Execution Error: ExecutionError: ExecutionError { inner: ExecutionErrorInner { kind: IotaMoveVerificationError, source: Some("one-time witness type candidate _::m::M must have a single ability: drop"), command: Some(0) } } -task 3 'publish'. lines 34-45: +task 3 'publish'. lines 35-46: Error: Transaction Effects Status: Iota Move Bytecode Verification Error. Please run the Iota Move Verifier for more information. Execution Error: ExecutionError: ExecutionError { inner: ExecutionErrorInner { kind: IotaMoveVerificationError, source: Some("one-time witness type candidate _::m::M must have a single ability: drop"), command: Some(0) } } diff --git a/crates/iota-verifier-transactional-tests/tests/one_time_witness/no_drop.exp b/crates/iota-verifier-transactional-tests/tests/one_time_witness/no_drop.exp index 18418fe38f9..4d16cea4e12 100644 --- a/crates/iota-verifier-transactional-tests/tests/one_time_witness/no_drop.exp +++ b/crates/iota-verifier-transactional-tests/tests/one_time_witness/no_drop.exp @@ -1,5 +1,5 @@ processed 1 task -task 0 'publish'. lines 6-18: +task 0 'publish'. lines 7-19: Error: Transaction Effects Status: Iota Move Bytecode Verification Error. Please run the Iota Move Verifier for more information. Execution Error: ExecutionError: ExecutionError { inner: ExecutionErrorInner { kind: IotaMoveVerificationError, source: Some("one-time witness type candidate _::m::M must have a single ability: drop"), command: Some(0) } } diff --git a/crates/iota-verifier-transactional-tests/tests/one_time_witness/no_field.exp b/crates/iota-verifier-transactional-tests/tests/one_time_witness/no_field.exp index 26038cca0c1..abb6d9ba75f 100644 --- a/crates/iota-verifier-transactional-tests/tests/one_time_witness/no_field.exp +++ b/crates/iota-verifier-transactional-tests/tests/one_time_witness/no_field.exp @@ -1,5 +1,5 @@ processed 1 task -task 0 'publish'. lines 6-17: +task 0 'publish'. lines 7-18: Error: Transaction Effects Status: Move Bytecode Verification Error. Please run the Bytecode Verifier for more information. Execution Error: ExecutionError: ExecutionError { inner: ExecutionErrorInner { kind: VMVerificationOrDeserializationError, source: Some(VMError { major_status: ZERO_SIZED_STRUCT, sub_status: None, message: None, exec_state: None, location: Module(ModuleId { address: _, name: Identifier("m") }), indices: [(StructDefinition, 0)], offsets: [] }), command: Some(0) } } diff --git a/crates/iota-verifier-transactional-tests/tests/one_time_witness/no_init_arg.exp b/crates/iota-verifier-transactional-tests/tests/one_time_witness/no_init_arg.exp index 4a02dc8e6fc..cf72718472a 100644 --- a/crates/iota-verifier-transactional-tests/tests/one_time_witness/no_init_arg.exp +++ b/crates/iota-verifier-transactional-tests/tests/one_time_witness/no_init_arg.exp @@ -1,5 +1,5 @@ processed 1 task -task 0 'publish'. lines 6-16: +task 0 'publish'. lines 7-17: Error: Transaction Effects Status: Iota Move Bytecode Verification Error. Please run the Iota Move Verifier for more information. Execution Error: ExecutionError: ExecutionError { inner: ExecutionErrorInner { kind: IotaMoveVerificationError, source: Some("init function of a module containing one-time witness type candidate must have _::m::M as the first parameter (a struct which has no fields or a single field of type bool)"), command: Some(0) } } diff --git a/crates/iota-verifier-transactional-tests/tests/one_time_witness/other_mod_def.exp b/crates/iota-verifier-transactional-tests/tests/one_time_witness/other_mod_def.exp index b8f329ccc00..75827b37814 100644 --- a/crates/iota-verifier-transactional-tests/tests/one_time_witness/other_mod_def.exp +++ b/crates/iota-verifier-transactional-tests/tests/one_time_witness/other_mod_def.exp @@ -1,5 +1,5 @@ processed 1 task -task 0 'publish'. lines 6-16: +task 0 'publish'. lines 7-17: Error: Transaction Effects Status: Iota Move Bytecode Verification Error. Please run the Iota Move Verifier for more information. Execution Error: ExecutionError: ExecutionError { inner: ExecutionErrorInner { kind: IotaMoveVerificationError, source: Some("Expected last (and at most second) parameter for _::n::init to be &mut iota::tx_context::TxContext or &iota::tx_context::TxContext; optional first parameter must be of one-time witness type whose name is the same as the capitalized module name (_::n::N) and which has no fields or a single field of type bool"), command: Some(0) } } diff --git a/crates/iota-verifier-transactional-tests/tests/one_time_witness/type_param.exp b/crates/iota-verifier-transactional-tests/tests/one_time_witness/type_param.exp index e58326f3d23..af008b9ca5b 100644 --- a/crates/iota-verifier-transactional-tests/tests/one_time_witness/type_param.exp +++ b/crates/iota-verifier-transactional-tests/tests/one_time_witness/type_param.exp @@ -1,5 +1,5 @@ processed 1 task -task 0 'publish'. lines 6-16: +task 0 'publish'. lines 7-17: Error: Transaction Effects Status: Iota Move Bytecode Verification Error. Please run the Iota Move Verifier for more information. Execution Error: ExecutionError: ExecutionError { inner: ExecutionErrorInner { kind: IotaMoveVerificationError, source: Some("_::m. 'init' function cannot have type parameters"), command: Some(0) } } diff --git a/crates/iota-verifier-transactional-tests/tests/one_time_witness/wrong_field_type.exp b/crates/iota-verifier-transactional-tests/tests/one_time_witness/wrong_field_type.exp index 80386a4a8bf..3b51010a709 100644 --- a/crates/iota-verifier-transactional-tests/tests/one_time_witness/wrong_field_type.exp +++ b/crates/iota-verifier-transactional-tests/tests/one_time_witness/wrong_field_type.exp @@ -1,11 +1,11 @@ processed 2 tasks -task 0 'publish'. lines 6-23: +task 0 'publish'. lines 7-24: created: object(1,0) mutated: object(0,0) gas summary: computation_cost: 1000000, storage_cost: 4613200, storage_rebate: 0, non_refundable_storage_fee: 0 -task 1 'publish'. lines 25-43: +task 1 'publish'. lines 26-44: created: object(2,0) mutated: object(0,0) gas summary: computation_cost: 1000000, storage_cost: 4932400, storage_rebate: 978120, non_refundable_storage_fee: 9880 diff --git a/crates/iota-verifier-transactional-tests/tests/one_time_witness/wrong_field_type_with_init.exp b/crates/iota-verifier-transactional-tests/tests/one_time_witness/wrong_field_type_with_init.exp index 4184bd771c8..d2b31828a1f 100644 --- a/crates/iota-verifier-transactional-tests/tests/one_time_witness/wrong_field_type_with_init.exp +++ b/crates/iota-verifier-transactional-tests/tests/one_time_witness/wrong_field_type_with_init.exp @@ -1,5 +1,5 @@ processed 1 task -task 0 'publish'. lines 6-16: +task 0 'publish'. lines 7-17: Error: Transaction Effects Status: Iota Move Bytecode Verification Error. Please run the Iota Move Verifier for more information. Execution Error: ExecutionError: ExecutionError { inner: ExecutionErrorInner { kind: IotaMoveVerificationError, source: Some("Expected last (and at most second) parameter for _::m::init to be &mut iota::tx_context::TxContext or &iota::tx_context::TxContext; optional first parameter must be of one-time witness type whose name is the same as the capitalized module name (_::m::M) and which has no fields or a single field of type bool"), command: Some(0) } } diff --git a/crates/iota-verifier-transactional-tests/tests/one_time_witness/wrong_init_type.exp b/crates/iota-verifier-transactional-tests/tests/one_time_witness/wrong_init_type.exp index 92dbfabaccb..4c7764c66c1 100644 --- a/crates/iota-verifier-transactional-tests/tests/one_time_witness/wrong_init_type.exp +++ b/crates/iota-verifier-transactional-tests/tests/one_time_witness/wrong_init_type.exp @@ -1,5 +1,5 @@ processed 1 task -task 0 'publish'. lines 6-17: +task 0 'publish'. lines 7-18: Error: Transaction Effects Status: Iota Move Bytecode Verification Error. Please run the Iota Move Verifier for more information. Execution Error: ExecutionError: ExecutionError { inner: ExecutionErrorInner { kind: IotaMoveVerificationError, source: Some("init function of a module containing one-time witness type candidate must have _::m::M as the first parameter (a struct which has no fields or a single field of type bool)"), command: Some(0) } } diff --git a/crates/iota-verifier-transactional-tests/tests/one_time_witness/wrong_name.exp b/crates/iota-verifier-transactional-tests/tests/one_time_witness/wrong_name.exp index 4184bd771c8..d2b31828a1f 100644 --- a/crates/iota-verifier-transactional-tests/tests/one_time_witness/wrong_name.exp +++ b/crates/iota-verifier-transactional-tests/tests/one_time_witness/wrong_name.exp @@ -1,5 +1,5 @@ processed 1 task -task 0 'publish'. lines 6-16: +task 0 'publish'. lines 7-17: Error: Transaction Effects Status: Iota Move Bytecode Verification Error. Please run the Iota Move Verifier for more information. Execution Error: ExecutionError: ExecutionError { inner: ExecutionErrorInner { kind: IotaMoveVerificationError, source: Some("Expected last (and at most second) parameter for _::m::init to be &mut iota::tx_context::TxContext or &iota::tx_context::TxContext; optional first parameter must be of one-time witness type whose name is the same as the capitalized module name (_::m::M) and which has no fields or a single field of type bool"), command: Some(0) } } diff --git a/crates/iota-verifier-transactional-tests/tests/one_time_witness/wrong_name_format.exp b/crates/iota-verifier-transactional-tests/tests/one_time_witness/wrong_name_format.exp index a2081c54fcf..8a7e15ded6c 100644 --- a/crates/iota-verifier-transactional-tests/tests/one_time_witness/wrong_name_format.exp +++ b/crates/iota-verifier-transactional-tests/tests/one_time_witness/wrong_name_format.exp @@ -1,5 +1,5 @@ processed 1 task -task 0 'publish'. lines 6-16: +task 0 'publish'. lines 7-17: Error: Transaction Effects Status: Iota Move Bytecode Verification Error. Please run the Iota Move Verifier for more information. Execution Error: ExecutionError: ExecutionError { inner: ExecutionErrorInner { kind: IotaMoveVerificationError, source: Some("Expected last (and at most second) parameter for _::mod::init to be &mut iota::tx_context::TxContext or &iota::tx_context::TxContext; optional first parameter must be of one-time witness type whose name is the same as the capitalized module name (_::mod::MOD) and which has no fields or a single field of type bool"), command: Some(0) } } diff --git a/crates/iota-verifier-transactional-tests/tests/private_generics/no_public_transfer.exp b/crates/iota-verifier-transactional-tests/tests/private_generics/no_public_transfer.exp index b779e372e8e..350e762b71d 100644 --- a/crates/iota-verifier-transactional-tests/tests/private_generics/no_public_transfer.exp +++ b/crates/iota-verifier-transactional-tests/tests/private_generics/no_public_transfer.exp @@ -1,17 +1,17 @@ processed 4 tasks -task 0 'publish'. lines 6-16: +task 0 'publish'. lines 7-17: Error: Transaction Effects Status: Iota Move Bytecode Verification Error. Please run the Iota Move Verifier for more information. Execution Error: ExecutionError: ExecutionError { inner: ExecutionErrorInner { kind: IotaMoveVerificationError, source: Some("_::m::t. Invalid call to 'iota::transfer::transfer' on an object of type 'iota::coin::Coin'. The transferred object's type must be defined in the current module. If the object has the 'store' type ability, you can use the non-internal variant instead, i.e. 'iota::transfer::public_transfer'"), command: Some(0) } } -task 1 'publish'. lines 18-28: +task 1 'publish'. lines 19-29: Error: Transaction Effects Status: Iota Move Bytecode Verification Error. Please run the Iota Move Verifier for more information. Execution Error: ExecutionError: ExecutionError { inner: ExecutionErrorInner { kind: IotaMoveVerificationError, source: Some("_::m::t. Invalid call to 'iota::transfer::freeze_object' on an object of type 'iota::coin::Coin'. The transferred object's type must be defined in the current module. If the object has the 'store' type ability, you can use the non-internal variant instead, i.e. 'iota::transfer::public_freeze_object'"), command: Some(0) } } -task 2 'publish'. lines 30-40: +task 2 'publish'. lines 31-41: Error: Transaction Effects Status: Iota Move Bytecode Verification Error. Please run the Iota Move Verifier for more information. Execution Error: ExecutionError: ExecutionError { inner: ExecutionErrorInner { kind: IotaMoveVerificationError, source: Some("_::m::t. Invalid call to 'iota::transfer::share_object' on an object of type 'iota::coin::Coin'. The transferred object's type must be defined in the current module. If the object has the 'store' type ability, you can use the non-internal variant instead, i.e. 'iota::transfer::public_share_object'"), command: Some(0) } } -task 3 'publish'. lines 42-54: +task 3 'publish'. lines 43-55: Error: Transaction Effects Status: Iota Move Bytecode Verification Error. Please run the Iota Move Verifier for more information. Execution Error: ExecutionError: ExecutionError { inner: ExecutionErrorInner { kind: IotaMoveVerificationError, source: Some("_::m::t. Invalid call to 'iota::transfer::receive' on an object of type 'iota::coin::Coin'. The transferred object's type must be defined in the current module. If the object has the 'store' type ability, you can use the non-internal variant instead, i.e. 'iota::transfer::public_receive'"), command: Some(0) } } diff --git a/crates/iota-verifier-transactional-tests/tests/private_generics/no_public_transfer_generic.exp b/crates/iota-verifier-transactional-tests/tests/private_generics/no_public_transfer_generic.exp index 05f21055948..717a86c9a89 100644 --- a/crates/iota-verifier-transactional-tests/tests/private_generics/no_public_transfer_generic.exp +++ b/crates/iota-verifier-transactional-tests/tests/private_generics/no_public_transfer_generic.exp @@ -1,17 +1,17 @@ processed 4 tasks -task 0 'publish'. lines 8-17: +task 0 'publish'. lines 9-18: Error: Transaction Effects Status: Iota Move Bytecode Verification Error. Please run the Iota Move Verifier for more information. Execution Error: ExecutionError: ExecutionError { inner: ExecutionErrorInner { kind: IotaMoveVerificationError, source: Some("_::m::t. Invalid call to 'iota::transfer::transfer' on an object of type 'T0'. The transferred object's type must be defined in the current module. If the object has the 'store' type ability, you can use the non-internal variant instead, i.e. 'iota::transfer::public_transfer'"), command: Some(0) } } -task 1 'publish'. lines 19-28: +task 1 'publish'. lines 20-29: Error: Transaction Effects Status: Iota Move Bytecode Verification Error. Please run the Iota Move Verifier for more information. Execution Error: ExecutionError: ExecutionError { inner: ExecutionErrorInner { kind: IotaMoveVerificationError, source: Some("_::m::t. Invalid call to 'iota::transfer::freeze_object' on an object of type 'T0'. The transferred object's type must be defined in the current module. If the object has the 'store' type ability, you can use the non-internal variant instead, i.e. 'iota::transfer::public_freeze_object'"), command: Some(0) } } -task 2 'publish'. lines 30-39: +task 2 'publish'. lines 31-40: Error: Transaction Effects Status: Iota Move Bytecode Verification Error. Please run the Iota Move Verifier for more information. Execution Error: ExecutionError: ExecutionError { inner: ExecutionErrorInner { kind: IotaMoveVerificationError, source: Some("_::m::t. Invalid call to 'iota::transfer::share_object' on an object of type 'T0'. The transferred object's type must be defined in the current module. If the object has the 'store' type ability, you can use the non-internal variant instead, i.e. 'iota::transfer::public_share_object'"), command: Some(0) } } -task 3 'publish'. lines 41-52: +task 3 'publish'. lines 42-53: Error: Transaction Effects Status: Iota Move Bytecode Verification Error. Please run the Iota Move Verifier for more information. Execution Error: ExecutionError: ExecutionError { inner: ExecutionErrorInner { kind: IotaMoveVerificationError, source: Some("_::m::t. Invalid call to 'iota::transfer::receive' on an object of type 'T0'. The transferred object's type must be defined in the current module. If the object has the 'store' type ability, you can use the non-internal variant instead, i.e. 'iota::transfer::public_receive'"), command: Some(0) } } diff --git a/crates/iota-verifier-transactional-tests/tests/private_generics/no_public_transfer_store.exp b/crates/iota-verifier-transactional-tests/tests/private_generics/no_public_transfer_store.exp index b779e372e8e..350e762b71d 100644 --- a/crates/iota-verifier-transactional-tests/tests/private_generics/no_public_transfer_store.exp +++ b/crates/iota-verifier-transactional-tests/tests/private_generics/no_public_transfer_store.exp @@ -1,17 +1,17 @@ processed 4 tasks -task 0 'publish'. lines 6-16: +task 0 'publish'. lines 7-17: Error: Transaction Effects Status: Iota Move Bytecode Verification Error. Please run the Iota Move Verifier for more information. Execution Error: ExecutionError: ExecutionError { inner: ExecutionErrorInner { kind: IotaMoveVerificationError, source: Some("_::m::t. Invalid call to 'iota::transfer::transfer' on an object of type 'iota::coin::Coin'. The transferred object's type must be defined in the current module. If the object has the 'store' type ability, you can use the non-internal variant instead, i.e. 'iota::transfer::public_transfer'"), command: Some(0) } } -task 1 'publish'. lines 18-28: +task 1 'publish'. lines 19-29: Error: Transaction Effects Status: Iota Move Bytecode Verification Error. Please run the Iota Move Verifier for more information. Execution Error: ExecutionError: ExecutionError { inner: ExecutionErrorInner { kind: IotaMoveVerificationError, source: Some("_::m::t. Invalid call to 'iota::transfer::freeze_object' on an object of type 'iota::coin::Coin'. The transferred object's type must be defined in the current module. If the object has the 'store' type ability, you can use the non-internal variant instead, i.e. 'iota::transfer::public_freeze_object'"), command: Some(0) } } -task 2 'publish'. lines 30-40: +task 2 'publish'. lines 31-41: Error: Transaction Effects Status: Iota Move Bytecode Verification Error. Please run the Iota Move Verifier for more information. Execution Error: ExecutionError: ExecutionError { inner: ExecutionErrorInner { kind: IotaMoveVerificationError, source: Some("_::m::t. Invalid call to 'iota::transfer::share_object' on an object of type 'iota::coin::Coin'. The transferred object's type must be defined in the current module. If the object has the 'store' type ability, you can use the non-internal variant instead, i.e. 'iota::transfer::public_share_object'"), command: Some(0) } } -task 3 'publish'. lines 42-54: +task 3 'publish'. lines 43-55: Error: Transaction Effects Status: Iota Move Bytecode Verification Error. Please run the Iota Move Verifier for more information. Execution Error: ExecutionError: ExecutionError { inner: ExecutionErrorInner { kind: IotaMoveVerificationError, source: Some("_::m::t. Invalid call to 'iota::transfer::receive' on an object of type 'iota::coin::Coin'. The transferred object's type must be defined in the current module. If the object has the 'store' type ability, you can use the non-internal variant instead, i.e. 'iota::transfer::public_receive'"), command: Some(0) } } diff --git a/crates/iota-verifier-transactional-tests/tests/private_generics/no_public_transfer_store_generic.exp b/crates/iota-verifier-transactional-tests/tests/private_generics/no_public_transfer_store_generic.exp index 1f220473bd4..2c3ef814138 100644 --- a/crates/iota-verifier-transactional-tests/tests/private_generics/no_public_transfer_store_generic.exp +++ b/crates/iota-verifier-transactional-tests/tests/private_generics/no_public_transfer_store_generic.exp @@ -1,17 +1,17 @@ processed 5 tasks -task 1 'publish'. lines 10-19: +task 1 'publish'. lines 11-20: Error: Transaction Effects Status: Iota Move Bytecode Verification Error. Please run the Iota Move Verifier for more information. Execution Error: ExecutionError: ExecutionError { inner: ExecutionErrorInner { kind: IotaMoveVerificationError, source: Some("_::m::t. Invalid call to 'iota::transfer::transfer' on an object of type 'T0'. The transferred object's type must be defined in the current module. If the object has the 'store' type ability, you can use the non-internal variant instead, i.e. 'iota::transfer::public_transfer'"), command: Some(0) } } -task 2 'publish'. lines 21-30: +task 2 'publish'. lines 22-31: Error: Transaction Effects Status: Iota Move Bytecode Verification Error. Please run the Iota Move Verifier for more information. Execution Error: ExecutionError: ExecutionError { inner: ExecutionErrorInner { kind: IotaMoveVerificationError, source: Some("_::m::t. Invalid call to 'iota::transfer::freeze_object' on an object of type 'T0'. The transferred object's type must be defined in the current module. If the object has the 'store' type ability, you can use the non-internal variant instead, i.e. 'iota::transfer::public_freeze_object'"), command: Some(0) } } -task 3 'publish'. lines 32-41: +task 3 'publish'. lines 33-42: Error: Transaction Effects Status: Iota Move Bytecode Verification Error. Please run the Iota Move Verifier for more information. Execution Error: ExecutionError: ExecutionError { inner: ExecutionErrorInner { kind: IotaMoveVerificationError, source: Some("_::m::t. Invalid call to 'iota::transfer::share_object' on an object of type 'T0'. The transferred object's type must be defined in the current module. If the object has the 'store' type ability, you can use the non-internal variant instead, i.e. 'iota::transfer::public_share_object'"), command: Some(0) } } -task 4 'publish'. lines 43-54: +task 4 'publish'. lines 44-55: Error: Transaction Effects Status: Iota Move Bytecode Verification Error. Please run the Iota Move Verifier for more information. Execution Error: ExecutionError: ExecutionError { inner: ExecutionErrorInner { kind: IotaMoveVerificationError, source: Some("_::m::t. Invalid call to 'iota::transfer::receive' on an object of type 'T0'. The transferred object's type must be defined in the current module. If the object has the 'store' type ability, you can use the non-internal variant instead, i.e. 'iota::transfer::public_receive'"), command: Some(0) } } diff --git a/crates/iota-verifier-transactional-tests/tests/private_generics/private_event_emit.exp b/crates/iota-verifier-transactional-tests/tests/private_generics/private_event_emit.exp index 2b71216ff42..61e1dfe33d6 100644 --- a/crates/iota-verifier-transactional-tests/tests/private_generics/private_event_emit.exp +++ b/crates/iota-verifier-transactional-tests/tests/private_generics/private_event_emit.exp @@ -1,17 +1,17 @@ processed 4 tasks -task 0 'publish'. lines 6-16: +task 0 'publish'. lines 7-17: Error: Transaction Effects Status: Iota Move Bytecode Verification Error. Please run the Iota Move Verifier for more information. Execution Error: ExecutionError: ExecutionError { inner: ExecutionErrorInner { kind: IotaMoveVerificationError, source: Some("_::m::t. Invalid call to 'iota::event::emit' with an event type 'iota::coin::CurrencyCreated'. The event's type must be defined in the current module"), command: Some(0) } } -task 1 'publish'. lines 18-27: +task 1 'publish'. lines 19-28: Error: Transaction Effects Status: Iota Move Bytecode Verification Error. Please run the Iota Move Verifier for more information. Execution Error: ExecutionError: ExecutionError { inner: ExecutionErrorInner { kind: IotaMoveVerificationError, source: Some("_::m::t. Invalid call to 'iota::event::emit' with an event type 'T0'. The event's type must be defined in the current module"), command: Some(0) } } -task 2 'publish'. lines 29-38: +task 2 'publish'. lines 30-39: Error: Transaction Effects Status: Iota Move Bytecode Verification Error. Please run the Iota Move Verifier for more information. Execution Error: ExecutionError: ExecutionError { inner: ExecutionErrorInner { kind: IotaMoveVerificationError, source: Some("_::m::t. Invalid call to 'iota::event::emit' with an event type 'u64'. The event's type must be defined in the current module"), command: Some(0) } } -task 3 'publish'. lines 40-53: +task 3 'publish'. lines 41-54: Error: Transaction Effects Status: Iota Move Bytecode Verification Error. Please run the Iota Move Verifier for more information. Execution Error: ExecutionError: ExecutionError { inner: ExecutionErrorInner { kind: IotaMoveVerificationError, source: Some("_::m::t. Invalid call to 'iota::event::emit' with an event type 'vector<_::m::X>'. The event's type must be defined in the current module"), command: Some(0) } } diff --git a/crates/iota-verifier-transactional-tests/tests/private_generics/public_transfer_with_store.exp b/crates/iota-verifier-transactional-tests/tests/private_generics/public_transfer_with_store.exp index 63786fe22f7..ecaec56b112 100644 --- a/crates/iota-verifier-transactional-tests/tests/private_generics/public_transfer_with_store.exp +++ b/crates/iota-verifier-transactional-tests/tests/private_generics/public_transfer_with_store.exp @@ -1,21 +1,21 @@ processed 4 tasks -task 0 'publish'. lines 7-17: +task 0 'publish'. lines 8-18: created: object(1,0) mutated: object(0,0) gas summary: computation_cost: 1000000, storage_cost: 4461200, storage_rebate: 0, non_refundable_storage_fee: 0 -task 1 'publish'. lines 19-29: +task 1 'publish'. lines 20-30: created: object(2,0) mutated: object(0,0) gas summary: computation_cost: 1000000, storage_cost: 4187600, storage_rebate: 978120, non_refundable_storage_fee: 9880 -task 2 'publish'. lines 31-41: +task 2 'publish'. lines 32-42: created: object(3,0) mutated: object(0,0) gas summary: computation_cost: 1000000, storage_cost: 4180000, storage_rebate: 978120, non_refundable_storage_fee: 9880 -task 3 'publish'. lines 43-55: +task 3 'publish'. lines 44-56: created: object(4,0) mutated: object(0,0) gas summary: computation_cost: 1000000, storage_cost: 4582800, storage_rebate: 978120, non_refundable_storage_fee: 9880 diff --git a/crates/iota-verifier-transactional-tests/tests/private_generics/public_transfer_with_store_generic.exp b/crates/iota-verifier-transactional-tests/tests/private_generics/public_transfer_with_store_generic.exp index 8b7caaa1f61..87cdbd0c6da 100644 --- a/crates/iota-verifier-transactional-tests/tests/private_generics/public_transfer_with_store_generic.exp +++ b/crates/iota-verifier-transactional-tests/tests/private_generics/public_transfer_with_store_generic.exp @@ -1,21 +1,21 @@ processed 4 tasks -task 0 'publish'. lines 7-22: +task 0 'publish'. lines 8-23: created: object(1,0) mutated: object(0,0) gas summary: computation_cost: 1000000, storage_cost: 4689200, storage_rebate: 0, non_refundable_storage_fee: 0 -task 1 'publish'. lines 24-39: +task 1 'publish'. lines 25-40: created: object(2,0) mutated: object(0,0) gas summary: computation_cost: 1000000, storage_cost: 4377600, storage_rebate: 978120, non_refundable_storage_fee: 9880 -task 2 'publish'. lines 41-56: +task 2 'publish'. lines 42-57: created: object(3,0) mutated: object(0,0) gas summary: computation_cost: 1000000, storage_cost: 4370000, storage_rebate: 978120, non_refundable_storage_fee: 9880 -task 3 'publish'. lines 58-76: +task 3 'publish'. lines 59-77: created: object(4,0) mutated: object(0,0) gas summary: computation_cost: 1000000, storage_cost: 4826000, storage_rebate: 978120, non_refundable_storage_fee: 9880 diff --git a/crates/iota-verifier-transactional-tests/tests/private_generics/receive_without_key_version30.exp b/crates/iota-verifier-transactional-tests/tests/private_generics/receive_without_key_version30.exp deleted file mode 100644 index b4279ca29fd..00000000000 --- a/crates/iota-verifier-transactional-tests/tests/private_generics/receive_without_key_version30.exp +++ /dev/null @@ -1,10 +0,0 @@ -processed 3 tasks - -task 1 'publish'. lines 3-18: -Error: Transaction Effects Status: Move Bytecode Verification Error. Please run the Bytecode Verifier for more information. -Execution Error: ExecutionError: ExecutionError { inner: ExecutionErrorInner { kind: VMVerificationOrDeserializationError, source: Some(VMError { major_status: CONSTRAINT_NOT_SATISFIED, sub_status: None, message: Some("expected type with abilities [Key, ] got type actual TypeParameter(0) with incompatible abilities []"), exec_state: None, location: Module(ModuleId { address: _, name: Identifier("m2") }), indices: [(Signature, 0), (FunctionHandle, 0)], offsets: [] }), command: Some(0) } } - -task 2 'publish'. lines 19-30: -created: object(2,0) -mutated: object(0,0) -gas summary: computation_cost: 1000000, storage_cost: 4377600, storage_rebate: 978120, non_refundable_storage_fee: 9880 diff --git a/crates/iota-verifier-transactional-tests/tests/private_generics/receive_without_key_version30.mvir b/crates/iota-verifier-transactional-tests/tests/private_generics/receive_without_key_version30.mvir deleted file mode 100644 index 79a514a3b5a..00000000000 --- a/crates/iota-verifier-transactional-tests/tests/private_generics/receive_without_key_version30.mvir +++ /dev/null @@ -1,30 +0,0 @@ -//# init --protocol-version 30 - -//# publish -module 0x0.m2 { - import 0x2.transfer; - import 0x2.object; - - receive_bad(m: &mut object.UID, r: transfer.Receiving): T { - let x: T; - label l0: - x = transfer.receive(move(m), move(r)); - return move(x); - } -} - -// Up to version 31 this was a valid program, but it is not anymore since the -// restriction that `receive` with `key` only constraint can only be called to -// receive a type defined in the module that defined the type. -//# publish -module 0x0.m2 { - import 0x2.transfer; - import 0x2.object; - - receive_good(m: &mut object.UID, r: transfer.Receiving): T { - let x: T; - label l0: - x = transfer.receive(move(m), move(r)); - return move(x); - } -} diff --git a/crates/iota-verifier-transactional-tests/tests/private_transfer/transfer_invalid.exp b/crates/iota-verifier-transactional-tests/tests/private_transfer/transfer_invalid.exp index 00eccaa8aa6..5c21b186534 100644 --- a/crates/iota-verifier-transactional-tests/tests/private_transfer/transfer_invalid.exp +++ b/crates/iota-verifier-transactional-tests/tests/private_transfer/transfer_invalid.exp @@ -1,17 +1,17 @@ processed 4 tasks -task 0 'publish'. lines 6-16: +task 0 'publish'. lines 7-17: Error: Transaction Effects Status: Iota Move Bytecode Verification Error. Please run the Iota Move Verifier for more information. Execution Error: ExecutionError: ExecutionError { inner: ExecutionErrorInner { kind: IotaMoveVerificationError, source: Some("_::m::t. Invalid call to 'iota::transfer::transfer' on an object of type 'iota::clock::Clock'. The transferred object's type must be defined in the current module. If the object has the 'store' type ability, you can use the non-internal variant instead, i.e. 'iota::transfer::public_transfer'"), command: Some(0) } } -task 1 'publish'. lines 18-28: +task 1 'publish'. lines 19-29: Error: Transaction Effects Status: Iota Move Bytecode Verification Error. Please run the Iota Move Verifier for more information. Execution Error: ExecutionError: ExecutionError { inner: ExecutionErrorInner { kind: IotaMoveVerificationError, source: Some("_::m::t. Invalid call to 'iota::transfer::share_object' on an object of type 'iota::clock::Clock'. The transferred object's type must be defined in the current module. If the object has the 'store' type ability, you can use the non-internal variant instead, i.e. 'iota::transfer::public_share_object'"), command: Some(0) } } -task 2 'publish'. lines 30-40: +task 2 'publish'. lines 31-41: Error: Transaction Effects Status: Iota Move Bytecode Verification Error. Please run the Iota Move Verifier for more information. Execution Error: ExecutionError: ExecutionError { inner: ExecutionErrorInner { kind: IotaMoveVerificationError, source: Some("_::m::t. Invalid call to 'iota::transfer::freeze_object' on an object of type 'iota::clock::Clock'. The transferred object's type must be defined in the current module. If the object has the 'store' type ability, you can use the non-internal variant instead, i.e. 'iota::transfer::public_freeze_object'"), command: Some(0) } } -task 3 'publish'. lines 42-54: +task 3 'publish'. lines 43-55: Error: Transaction Effects Status: Iota Move Bytecode Verification Error. Please run the Iota Move Verifier for more information. Execution Error: ExecutionError: ExecutionError { inner: ExecutionErrorInner { kind: IotaMoveVerificationError, source: Some("_::m::t. Invalid call to 'iota::transfer::receive' on an object of type 'iota::clock::Clock'. The transferred object's type must be defined in the current module. If the object has the 'store' type ability, you can use the non-internal variant instead, i.e. 'iota::transfer::public_receive'"), command: Some(0) } } diff --git a/crates/iota-verifier-transactional-tests/tests/struct_with_key/key_struct_first_field_not_id.exp b/crates/iota-verifier-transactional-tests/tests/struct_with_key/key_struct_first_field_not_id.exp index c8d00dc9f4d..fe16d19d299 100644 --- a/crates/iota-verifier-transactional-tests/tests/struct_with_key/key_struct_first_field_not_id.exp +++ b/crates/iota-verifier-transactional-tests/tests/struct_with_key/key_struct_first_field_not_id.exp @@ -1,5 +1,5 @@ processed 1 task -task 0 'publish'. lines 4-10: +task 0 'publish'. lines 5-11: Error: Transaction Effects Status: Iota Move Bytecode Verification Error. Please run the Iota Move Verifier for more information. Execution Error: ExecutionError: ExecutionError { inner: ExecutionErrorInner { kind: IotaMoveVerificationError, source: Some("First field of struct S must be 'id', flag found"), command: Some(0) } } diff --git a/crates/iota-verifier-transactional-tests/tests/struct_with_key/key_struct_id_field_incorrect_struct_address.exp b/crates/iota-verifier-transactional-tests/tests/struct_with_key/key_struct_id_field_incorrect_struct_address.exp index 47511bb11b5..4ab8b94a696 100644 --- a/crates/iota-verifier-transactional-tests/tests/struct_with_key/key_struct_id_field_incorrect_struct_address.exp +++ b/crates/iota-verifier-transactional-tests/tests/struct_with_key/key_struct_id_field_incorrect_struct_address.exp @@ -1,5 +1,5 @@ processed 1 task -task 0 'publish'. lines 4-11: +task 0 'publish'. lines 5-12: Error: Transaction Effects Status: Iota Move Bytecode Verification Error. Please run the Iota Move Verifier for more information. Execution Error: ExecutionError: ExecutionError { inner: ExecutionErrorInner { kind: IotaMoveVerificationError, source: Some("First field of struct S must be of type iota::object::UID, _::object::UID type found"), command: Some(0) } } diff --git a/crates/iota-verifier-transactional-tests/tests/struct_with_key/key_struct_id_field_incorrect_struct_name.exp b/crates/iota-verifier-transactional-tests/tests/struct_with_key/key_struct_id_field_incorrect_struct_name.exp index 83817b2d0bb..c3753631621 100644 --- a/crates/iota-verifier-transactional-tests/tests/struct_with_key/key_struct_id_field_incorrect_struct_name.exp +++ b/crates/iota-verifier-transactional-tests/tests/struct_with_key/key_struct_id_field_incorrect_struct_name.exp @@ -1,5 +1,5 @@ processed 1 task -task 0 'publish'. lines 4-10: +task 0 'publish'. lines 5-11: Error: Transaction Effects Status: Iota Move Bytecode Verification Error. Please run the Iota Move Verifier for more information. Execution Error: ExecutionError: ExecutionError { inner: ExecutionErrorInner { kind: IotaMoveVerificationError, source: Some("First field of struct S must be of type iota::object::UID, iota::object::ID type found"), command: Some(0) } } diff --git a/crates/iota-verifier-transactional-tests/tests/struct_with_key/key_struct_id_field_incorrect_type.exp b/crates/iota-verifier-transactional-tests/tests/struct_with_key/key_struct_id_field_incorrect_type.exp index f8d65b119e3..2130a3b8916 100644 --- a/crates/iota-verifier-transactional-tests/tests/struct_with_key/key_struct_id_field_incorrect_type.exp +++ b/crates/iota-verifier-transactional-tests/tests/struct_with_key/key_struct_id_field_incorrect_type.exp @@ -1,5 +1,5 @@ processed 1 task -task 0 'publish'. lines 4-10: +task 0 'publish'. lines 5-11: Error: Transaction Effects Status: Iota Move Bytecode Verification Error. Please run the Iota Move Verifier for more information. Execution Error: ExecutionError: ExecutionError { inner: ExecutionErrorInner { kind: IotaMoveVerificationError, source: Some("First field of struct S must be of type iota::object::UID, Bool type found"), command: Some(0) } } diff --git a/crates/iota-verifier-transactional-tests/tests/struct_with_key/key_struct_id_field_valid.exp b/crates/iota-verifier-transactional-tests/tests/struct_with_key/key_struct_id_field_valid.exp index 0d33ff9f066..674af317f4e 100644 --- a/crates/iota-verifier-transactional-tests/tests/struct_with_key/key_struct_id_field_valid.exp +++ b/crates/iota-verifier-transactional-tests/tests/struct_with_key/key_struct_id_field_valid.exp @@ -1,6 +1,6 @@ processed 1 task -task 0 'publish'. lines 4-10: +task 0 'publish'. lines 5-11: created: object(1,0) mutated: object(0,0) gas summary: computation_cost: 1000000, storage_cost: 3967200, storage_rebate: 0, non_refundable_storage_fee: 0 diff --git a/crates/iota-verifier-transactional-tests/tests/struct_with_key/key_struct_second_field_id.exp b/crates/iota-verifier-transactional-tests/tests/struct_with_key/key_struct_second_field_id.exp index 0055712b2fe..2543f4bcf8f 100644 --- a/crates/iota-verifier-transactional-tests/tests/struct_with_key/key_struct_second_field_id.exp +++ b/crates/iota-verifier-transactional-tests/tests/struct_with_key/key_struct_second_field_id.exp @@ -1,5 +1,5 @@ processed 1 task -task 0 'publish'. lines 4-11: +task 0 'publish'. lines 5-12: Error: Transaction Effects Status: Iota Move Bytecode Verification Error. Please run the Iota Move Verifier for more information. Execution Error: ExecutionError: ExecutionError { inner: ExecutionErrorInner { kind: IotaMoveVerificationError, source: Some("First field of struct S must be 'id', flag found"), command: Some(0) } } diff --git a/crates/iota-verifier-transactional-tests/tests/struct_with_key/key_struct_with_drop.exp b/crates/iota-verifier-transactional-tests/tests/struct_with_key/key_struct_with_drop.exp index ce08d3a54af..cf358f8c292 100644 --- a/crates/iota-verifier-transactional-tests/tests/struct_with_key/key_struct_with_drop.exp +++ b/crates/iota-verifier-transactional-tests/tests/struct_with_key/key_struct_with_drop.exp @@ -1,5 +1,5 @@ processed 1 task -task 0 'publish'. lines 4-11: +task 0 'publish'. lines 5-12: Error: Transaction Effects Status: Move Bytecode Verification Error. Please run the Bytecode Verifier for more information. Execution Error: ExecutionError: ExecutionError { inner: ExecutionErrorInner { kind: VMVerificationOrDeserializationError, source: Some(VMError { major_status: FIELD_MISSING_TYPE_ABILITY, sub_status: None, message: None, exec_state: None, location: Module(ModuleId { address: _, name: Identifier("m") }), indices: [(StructDefinition, 0)], offsets: [] }), command: Some(0) } }