From 88c22d94329eb824cbf07f3af0e8537de30fc5cf Mon Sep 17 00:00:00 2001 From: Timothy Zakian Date: Fri, 28 Jun 2024 12:35:58 -0700 Subject: [PATCH] fixup! More enums tests --- .../tests/mvcc/find_all_uids_dof_enum.exp | 8 ++++---- .../tests/mvcc/find_all_uids_dof_enum.move | 4 +++- .../tests/mvcc/find_all_uids_enums.exp | 8 ++++---- .../tests/mvcc/find_all_uids_enums.move | 4 +++- .../tests/mvcc/find_all_uids_on_child_enum.exp | 8 ++++---- .../tests/mvcc/find_all_uids_on_child_enum.move | 4 +++- 6 files changed, 21 insertions(+), 15 deletions(-) diff --git a/crates/sui-adapter-transactional-tests/tests/mvcc/find_all_uids_dof_enum.exp b/crates/sui-adapter-transactional-tests/tests/mvcc/find_all_uids_dof_enum.exp index eb5cb66ee7474..ead923a6b0924 100644 --- a/crates/sui-adapter-transactional-tests/tests/mvcc/find_all_uids_dof_enum.exp +++ b/crates/sui-adapter-transactional-tests/tests/mvcc/find_all_uids_dof_enum.exp @@ -240,18 +240,18 @@ task 9 'programmable'. lines 190-191: mutated: object(_), object(2,8) gas summary: computation_cost: 500000, storage_cost: 3967200, storage_rebate: 2949408, non_refundable_storage_fee: 29792 -task 10 'programmable'. lines 193-197: +task 10 'programmable'. lines 193-198: mutated: object(_), object(2,8) gas summary: computation_cost: 500000, storage_cost: 3967200, storage_rebate: 2949408, non_refundable_storage_fee: 29792 -task 11 'programmable'. lines 199-200: +task 11 'programmable'. lines 199-202: Error: Transaction Effects Status: MoveAbort(MoveLocation { module: ModuleId { address: test, name: Identifier("m") }, function: 14, instruction: 18, function_name: Some("check_") }, 0) in command 0 Execution Error: MoveAbort(MoveLocation { module: ModuleId { address: test, name: Identifier("m") }, function: 14, instruction: 18, function_name: Some("check_") }, 0) in command 0 -task 12 'programmable'. lines 202-203: +task 12 'programmable'. lines 203-206: Error: Transaction Effects Status: MoveAbort(MoveLocation { module: ModuleId { address: sui, name: Identifier("dynamic_field") }, function: 11, instruction: 0, function_name: Some("borrow_child_object") }, 1) in command 0 Execution Error: MoveAbort(MoveLocation { module: ModuleId { address: sui, name: Identifier("dynamic_field") }, function: 11, instruction: 0, function_name: Some("borrow_child_object") }, 1) in command 0 -task 13 'programmable'. lines 205-206: +task 13 'programmable'. lines 207-208: Error: Transaction Effects Status: MoveAbort(MoveLocation { module: ModuleId { address: test, name: Identifier("m") }, function: 14, instruction: 26, function_name: Some("check_") }, 0) in command 0 Execution Error: MoveAbort(MoveLocation { module: ModuleId { address: test, name: Identifier("m") }, function: 14, instruction: 26, function_name: Some("check_") }, 0) in command 0 diff --git a/crates/sui-adapter-transactional-tests/tests/mvcc/find_all_uids_dof_enum.move b/crates/sui-adapter-transactional-tests/tests/mvcc/find_all_uids_dof_enum.move index e0bd064110104..2bcdec602dd6b 100644 --- a/crates/sui-adapter-transactional-tests/tests/mvcc/find_all_uids_dof_enum.move +++ b/crates/sui-adapter-transactional-tests/tests/mvcc/find_all_uids_dof_enum.move @@ -193,15 +193,17 @@ module test::m { //# programmable --sender A --inputs object(2,8)@4 vector[] --dev-inspect //> test::m::check(Input(0), Input(1)) - // dev-inspect with 'check' and _incorrect_ values +// Should fail since the field exists but with a different field. //# programmable --sender A --inputs object(2,8)@3 vector[0] --dev-inspect //> test::m::check(Input(0), Input(1)) +// Should fail since the field has been deleted. //# programmable --sender A --inputs object(2,8)@4 vector[112] --dev-inspect //> test::m::check(Input(0), Input(1)) +// Should fail since at the version of the object we're passing in the field exists still //# programmable --sender A --inputs object(2,8)@2 vector[] --dev-inspect //> test::m::check(Input(0), Input(1)) diff --git a/crates/sui-adapter-transactional-tests/tests/mvcc/find_all_uids_enums.exp b/crates/sui-adapter-transactional-tests/tests/mvcc/find_all_uids_enums.exp index 570b30c1f6955..5645aa0934c71 100644 --- a/crates/sui-adapter-transactional-tests/tests/mvcc/find_all_uids_enums.exp +++ b/crates/sui-adapter-transactional-tests/tests/mvcc/find_all_uids_enums.exp @@ -216,18 +216,18 @@ task 9 'programmable'. lines 157-158: mutated: object(_), object(2,8) gas summary: computation_cost: 500000, storage_cost: 3936800, storage_rebate: 2919312, non_refundable_storage_fee: 29488 -task 10 'programmable'. lines 160-164: +task 10 'programmable'. lines 160-165: mutated: object(_), object(2,8) gas summary: computation_cost: 500000, storage_cost: 3936800, storage_rebate: 2919312, non_refundable_storage_fee: 29488 -task 11 'programmable'. lines 166-167: +task 11 'programmable'. lines 166-169: Error: Transaction Effects Status: MoveAbort(MoveLocation { module: ModuleId { address: test, name: Identifier("m") }, function: 12, instruction: 12, function_name: Some("check_") }, 0) in command 0 Execution Error: MoveAbort(MoveLocation { module: ModuleId { address: test, name: Identifier("m") }, function: 12, instruction: 12, function_name: Some("check_") }, 0) in command 0 -task 12 'programmable'. lines 169-170: +task 12 'programmable'. lines 170-173: Error: Transaction Effects Status: MoveAbort(MoveLocation { module: ModuleId { address: sui, name: Identifier("dynamic_field") }, function: 11, instruction: 0, function_name: Some("borrow_child_object") }, 1) in command 0 Execution Error: MoveAbort(MoveLocation { module: ModuleId { address: sui, name: Identifier("dynamic_field") }, function: 11, instruction: 0, function_name: Some("borrow_child_object") }, 1) in command 0 -task 13 'programmable'. lines 172-173: +task 13 'programmable'. lines 174-175: Error: Transaction Effects Status: MoveAbort(MoveLocation { module: ModuleId { address: test, name: Identifier("m") }, function: 12, instruction: 20, function_name: Some("check_") }, 0) in command 0 Execution Error: MoveAbort(MoveLocation { module: ModuleId { address: test, name: Identifier("m") }, function: 12, instruction: 20, function_name: Some("check_") }, 0) in command 0 diff --git a/crates/sui-adapter-transactional-tests/tests/mvcc/find_all_uids_enums.move b/crates/sui-adapter-transactional-tests/tests/mvcc/find_all_uids_enums.move index bc9cfaab7e43f..404e97d4582b8 100644 --- a/crates/sui-adapter-transactional-tests/tests/mvcc/find_all_uids_enums.move +++ b/crates/sui-adapter-transactional-tests/tests/mvcc/find_all_uids_enums.move @@ -160,14 +160,16 @@ module test::m { //# programmable --sender A --inputs object(2,8)@4 vector[] --dev-inspect //> test::m::check(Input(0), Input(1)) - // dev-inspect with 'check' and _incorrect_ values +// Should fail since the field exists but with a different field. //# programmable --sender A --inputs object(2,8)@3 vector[0] --dev-inspect //> test::m::check(Input(0), Input(1)) +// Should fail since the field has been deleted. //# programmable --sender A --inputs object(2,8)@4 vector[112] --dev-inspect //> test::m::check(Input(0), Input(1)) +// Should fail since at the version of the object we're passing in the field exists still //# programmable --sender A --inputs object(2,8)@2 vector[] --dev-inspect //> test::m::check(Input(0), Input(1)) diff --git a/crates/sui-adapter-transactional-tests/tests/mvcc/find_all_uids_on_child_enum.exp b/crates/sui-adapter-transactional-tests/tests/mvcc/find_all_uids_on_child_enum.exp index cfe5478a5d693..850962b579521 100644 --- a/crates/sui-adapter-transactional-tests/tests/mvcc/find_all_uids_on_child_enum.exp +++ b/crates/sui-adapter-transactional-tests/tests/mvcc/find_all_uids_on_child_enum.exp @@ -63,18 +63,18 @@ task 9 'programmable'. lines 243-244: mutated: object(_), object(2,9) gas summary: computation_cost: 500000, storage_cost: 2234400, storage_rebate: 1233936, non_refundable_storage_fee: 12464 -task 10 'programmable'. lines 246-250: +task 10 'programmable'. lines 246-251: mutated: object(_), object(2,9) gas summary: computation_cost: 500000, storage_cost: 2234400, storage_rebate: 1233936, non_refundable_storage_fee: 12464 -task 11 'programmable'. lines 252-253: +task 11 'programmable'. lines 252-255: Error: Transaction Effects Status: MoveAbort(MoveLocation { module: ModuleId { address: test, name: Identifier("m") }, function: 15, instruction: 12, function_name: Some("check_") }, 0) in command 0 Execution Error: MoveAbort(MoveLocation { module: ModuleId { address: test, name: Identifier("m") }, function: 15, instruction: 12, function_name: Some("check_") }, 0) in command 0 -task 12 'programmable'. lines 255-256: +task 12 'programmable'. lines 256-259: Error: Transaction Effects Status: MoveAbort(MoveLocation { module: ModuleId { address: sui, name: Identifier("dynamic_field") }, function: 11, instruction: 0, function_name: Some("borrow_child_object") }, 1) in command 0 Execution Error: MoveAbort(MoveLocation { module: ModuleId { address: sui, name: Identifier("dynamic_field") }, function: 11, instruction: 0, function_name: Some("borrow_child_object") }, 1) in command 0 -task 13 'programmable'. lines 258-259: +task 13 'programmable'. lines 260-261: Error: Transaction Effects Status: MoveAbort(MoveLocation { module: ModuleId { address: test, name: Identifier("m") }, function: 15, instruction: 20, function_name: Some("check_") }, 0) in command 0 Execution Error: MoveAbort(MoveLocation { module: ModuleId { address: test, name: Identifier("m") }, function: 15, instruction: 20, function_name: Some("check_") }, 0) in command 0 diff --git a/crates/sui-adapter-transactional-tests/tests/mvcc/find_all_uids_on_child_enum.move b/crates/sui-adapter-transactional-tests/tests/mvcc/find_all_uids_on_child_enum.move index ca19c8d66cfd4..6d464f16d3e28 100644 --- a/crates/sui-adapter-transactional-tests/tests/mvcc/find_all_uids_on_child_enum.move +++ b/crates/sui-adapter-transactional-tests/tests/mvcc/find_all_uids_on_child_enum.move @@ -246,14 +246,16 @@ module test::m { //# programmable --sender A --inputs object(2,9)@4 vector[] --dev-inspect //> test::m::check(Input(0), Input(1)) - // dev-inspect with 'check' and _incorrect_ values +// Should fail since the field exists but with a different field. //# programmable --sender A --inputs object(2,9)@3 vector[0] --dev-inspect //> test::m::check(Input(0), Input(1)) +// Should fail since the field has been deleted. //# programmable --sender A --inputs object(2,9)@4 vector[112] --dev-inspect //> test::m::check(Input(0), Input(1)) +// Should fail since at the version of the object we're passing in the field exists still //# programmable --sender A --inputs object(2,9)@2 vector[] --dev-inspect //> test::m::check(Input(0), Input(1))