Replace protocol version in init commands and update more baselines

crates/iota-adapter-transactional-tests/tests/init/entry_old.exp

@@ -3,11 +3,12 @@ processed 4 tasks
 init:
 A: object(0,0)
 
-task 1 'publish'. lines 8-20:
-created: object(1,0), object(1,1)
-mutated: object(0,0)
-gas summary: computation_cost: 1000000, storage_cost: 5639200,  storage_rebate: 0, non_refundable_storage_fee: 0
-
-task 3 'run'. lines 24-39:
-mutated: object(0,1)
-gas summary: computation_cost: 1000000, storage_cost: 988000,  storage_rebate: 0, non_refundable_storage_fee: 0
+task 1 'publish'. lines 9-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' cannot be 'entry'"), command: Some(0) } }
+
+task 2 'set-address'. lines 23-23:
+Error: INVALID TEST. Unknown object, object(1,0)
+
+task 3 'run'. lines 25-40:
+Error: Error checking transaction input objects: DependentPackageNotFound { package_id: 0x0000000000000000000000000000000000000000000000000000000000000000 }

crates/iota-adapter-transactional-tests/tests/init/entry_old.mvir

@@ -4,7 +4,7 @@
 
 // init with entry used to be allowed
 
-//# init --addresses test=0x0 v2=0x0 --protocol-version 6 --accounts A
+//# init --addresses test=0x0 v2=0x0 --protocol-version 1 --accounts A
 
 //# publish --sender A --upgradeable
 module 0x0.m {
@@ -25,10 +25,10 @@ module 0x0.m {
 //# run test::m::init
 
 // TODO advance protocol version
-// //# run test::m::init --protocol-version 7
+// //# run test::m::init --protocol-version 1
 
 // // m still loads
-// //# run test::m::foo --protocol-version 7
+// //# run test::m::foo --protocol-version 1
 
 // //# upgrade --package test  --sender A --upgrade-capability 1,1
 // module v2::m {

crates/iota-adapter-transactional-tests/tests/mvcc/v0/child_of_child.exp

@@ -3,60 +3,60 @@ processed 14 tasks
 init:
 A: object(0,0)
 
-task 1 'publish'. lines 8-66:
+task 1 'publish'. lines 9-67:
 created: object(1,0)
 mutated: object(0,1)
 gas summary: computation_cost: 1000000, storage_cost: 9218800,  storage_rebate: 0, non_refundable_storage_fee: 0
 
-task 2 'programmable'. lines 68-70:
+task 2 'programmable'. lines 69-71:
 created: object(2,0), object(2,1), object(2,2), object(2,3), object(2,4)
 mutated: object(0,0)
 gas summary: computation_cost: 1000000, storage_cost: 9750800,  storage_rebate: 0, non_refundable_storage_fee: 0
 
-task 3 'view-object'. lines 72-72:
+task 3 'view-object'. lines 73-73:
 Owner: Account Address ( A )
 Version: 2
 Contents: test::m::Obj {id: iota::object::UID {id: iota::object::ID {bytes: fake(2,4)}}, value: 0u64}
 
-task 4 'programmable'. lines 74-75:
+task 4 'programmable'. lines 75-76:
 mutated: object(0,0), object(2,2), object(2,3), object(2,4)
 gas summary: computation_cost: 1000000, storage_cost: 4841200,  storage_rebate: 4792788, non_refundable_storage_fee: 48412
 
-task 5 'view-object'. lines 77-77:
+task 5 'view-object'. lines 78-78:
 Owner: Account Address ( A )
 Version: 3
 Contents: test::m::Obj {id: iota::object::UID {id: iota::object::ID {bytes: fake(2,4)}}, value: 1u64}
 
-task 6 'programmable'. lines 79-80:
+task 6 'programmable'. lines 80-81:
 mutated: object(0,0), object(2,4)
-deleted: object(2,0), object(2,2)
+deleted: object(2,1), object(2,3)
 gas summary: computation_cost: 1000000, storage_cost: 2272400,  storage_rebate: 5951484, non_refundable_storage_fee: 60116
 
-task 7 'view-object'. lines 82-85:
+task 7 'view-object'. lines 83-86:
 Owner: Account Address ( A )
 Version: 4
 Contents: test::m::Obj {id: iota::object::UID {id: iota::object::ID {bytes: fake(2,4)}}, value: 1u64}
 
-task 8 'programmable'. lines 87-88:
+task 8 'programmable'. lines 88-89:
 mutated: object(_), object(2,4)
 gas summary: computation_cost: 500000, storage_cost: 2272400,  storage_rebate: 1271556, non_refundable_storage_fee: 12844
 
-task 9 'programmable'. lines 90-91:
+task 9 'programmable'. lines 91-92:
 mutated: object(_), object(2,4)
 gas summary: computation_cost: 500000, storage_cost: 2272400,  storage_rebate: 1271556, non_refundable_storage_fee: 12844
 
-task 10 'programmable'. lines 93-97:
+task 10 'programmable'. lines 94-98:
 mutated: object(_), object(2,4)
 gas summary: computation_cost: 500000, storage_cost: 2272400,  storage_rebate: 1271556, non_refundable_storage_fee: 12844
 
-task 11 'programmable'. lines 99-100:
+task 11 'programmable'. lines 100-101:
 Error: Transaction Effects Status: MoveAbort(MoveLocation { module: ModuleId { address: test, name: Identifier("m") }, function: 3, instruction: 10, function_name: Some("check") }, 0) in command 0
 Execution Error: MoveAbort(MoveLocation { module: ModuleId { address: test, name: Identifier("m") }, function: 3, instruction: 10, function_name: Some("check") }, 0) in command 0
 
-task 12 'programmable'. lines 102-103:
+task 12 'programmable'. lines 103-104:
 Error: Transaction Effects Status: MoveAbort(MoveLocation { module: ModuleId { address: iota, 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: iota, name: Identifier("dynamic_field") }, function: 11, instruction: 0, function_name: Some("borrow_child_object") }, 1) in command 0
 
-task 13 'programmable'. lines 105-106:
+task 13 'programmable'. lines 106-107:
 Error: Transaction Effects Status: MoveAbort(MoveLocation { module: ModuleId { address: test, name: Identifier("m") }, function: 3, instruction: 10, function_name: Some("check") }, 0) in command 0
 Execution Error: MoveAbort(MoveLocation { module: ModuleId { address: test, name: Identifier("m") }, function: 3, instruction: 10, function_name: Some("check") }, 0) in command 0

crates/iota-adapter-transactional-tests/tests/mvcc/v0/child_of_child.move

@@ -4,7 +4,7 @@
 
 // tests accessing the versions of a child of a child
 
-//# init --addresses test=0x0 --accounts A --protocol-version 16
+//# init --addresses test=0x0 --accounts A --protocol-version 1
 
 //# publish
 

crates/iota-adapter-transactional-tests/tests/mvcc/v0/find_all_uids.exp

@@ -3,60 +3,60 @@ processed 14 tasks
 init:
 A: object(0,0)
 
-task 1 'publish'. lines 8-117:
+task 1 'publish'. lines 9-118:
 created: object(1,0)
 mutated: object(0,1)
 gas summary: computation_cost: 1000000, storage_cost: 12205600,  storage_rebate: 0, non_refundable_storage_fee: 0
 
-task 2 'programmable'. lines 119-121:
+task 2 'programmable'. lines 120-122:
 created: object(2,0), object(2,1), object(2,2), object(2,3), object(2,4), object(2,5), object(2,6), object(2,7), object(2,8)
 mutated: object(0,0)
 gas summary: computation_cost: 1000000, storage_cost: 15640800,  storage_rebate: 0, non_refundable_storage_fee: 0
 
-task 3 'view-object'. lines 123-123:
+task 3 'view-object'. lines 124-124:
 Owner: Account Address ( A )
 Version: 2
 Contents: test::m::S {id: iota::object::UID {id: iota::object::ID {bytes: fake(2,8)}}, other: iota::object::UID {id: iota::object::ID {bytes: _}}, wrapped: test::m::Wrapped {id: iota::object::UID {id: iota::object::ID {bytes: _}}, other: iota::object::UID {id: iota::object::ID {bytes: _}}}, many: vector[test::m::Wrapped {id: iota::object::UID {id: iota::object::ID {bytes: _}}, other: iota::object::UID {id: iota::object::ID {bytes: _}}}, test::m::Wrapped {id: iota::object::UID {id: iota::object::ID {bytes: _}}, other: iota::object::UID {id: iota::object::ID {bytes: _}}}]}
 
-task 4 'programmable'. lines 125-126:
+task 4 'programmable'. lines 126-127:
 mutated: object(0,0), object(2,0), object(2,1), object(2,2), object(2,3), object(2,4), object(2,5), object(2,6), object(2,7), object(2,8)
 gas summary: computation_cost: 1000000, storage_cost: 15640800,  storage_rebate: 15484392, non_refundable_storage_fee: 156408
 
-task 5 'view-object'. lines 128-128:
+task 5 'view-object'. lines 129-129:
 Owner: Account Address ( A )
 Version: 3
 Contents: test::m::S {id: iota::object::UID {id: iota::object::ID {bytes: fake(2,8)}}, other: iota::object::UID {id: iota::object::ID {bytes: _}}, wrapped: test::m::Wrapped {id: iota::object::UID {id: iota::object::ID {bytes: _}}, other: iota::object::UID {id: iota::object::ID {bytes: _}}}, many: vector[test::m::Wrapped {id: iota::object::UID {id: iota::object::ID {bytes: _}}, other: iota::object::UID {id: iota::object::ID {bytes: _}}}, test::m::Wrapped {id: iota::object::UID {id: iota::object::ID {bytes: _}}, other: iota::object::UID {id: iota::object::ID {bytes: _}}}]}
 
-task 6 'programmable'. lines 130-131:
+task 6 'programmable'. lines 131-132:
 mutated: object(0,0), object(2,8)
 deleted: object(2,0), object(2,1), object(2,2), object(2,3), object(2,4), object(2,5), object(2,6), object(2,7)
 gas summary: computation_cost: 1000000, storage_cost: 3906400,  storage_rebate: 15484392, non_refundable_storage_fee: 156408
 
-task 7 'view-object'. lines 133-136:
+task 7 'view-object'. lines 134-137:
 Owner: Account Address ( A )
 Version: 4
 Contents: test::m::S {id: iota::object::UID {id: iota::object::ID {bytes: fake(2,8)}}, other: iota::object::UID {id: iota::object::ID {bytes: _}}, wrapped: test::m::Wrapped {id: iota::object::UID {id: iota::object::ID {bytes: _}}, other: iota::object::UID {id: iota::object::ID {bytes: _}}}, many: vector[test::m::Wrapped {id: iota::object::UID {id: iota::object::ID {bytes: _}}, other: iota::object::UID {id: iota::object::ID {bytes: _}}}, test::m::Wrapped {id: iota::object::UID {id: iota::object::ID {bytes: _}}, other: iota::object::UID {id: iota::object::ID {bytes: _}}}]}
 
-task 8 'programmable'. lines 138-139:
+task 8 'programmable'. lines 139-140:
 mutated: object(_), object(2,8)
 gas summary: computation_cost: 500000, storage_cost: 3906400,  storage_rebate: 2889216, non_refundable_storage_fee: 29184
 
-task 9 'programmable'. lines 141-142:
+task 9 'programmable'. lines 142-143:
 mutated: object(_), object(2,8)
 gas summary: computation_cost: 500000, storage_cost: 3906400,  storage_rebate: 2889216, non_refundable_storage_fee: 29184
 
-task 10 'programmable'. lines 144-148:
+task 10 'programmable'. lines 145-149:
 mutated: object(_), object(2,8)
 gas summary: computation_cost: 500000, storage_cost: 3906400,  storage_rebate: 2889216, non_refundable_storage_fee: 29184
 
-task 11 'programmable'. lines 150-151:
+task 11 'programmable'. lines 151-152:
 Error: Transaction Effects Status: MoveAbort(MoveLocation { module: ModuleId { address: test, name: Identifier("m") }, function: 10, instruction: 12, function_name: Some("check_") }, 0) in command 0
 Execution Error: MoveAbort(MoveLocation { module: ModuleId { address: test, name: Identifier("m") }, function: 10, instruction: 12, function_name: Some("check_") }, 0) in command 0
 
-task 12 'programmable'. lines 153-154:
+task 12 'programmable'. lines 154-155:
 Error: Transaction Effects Status: MoveAbort(MoveLocation { module: ModuleId { address: iota, 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: iota, name: Identifier("dynamic_field") }, function: 11, instruction: 0, function_name: Some("borrow_child_object") }, 1) in command 0
 
-task 13 'programmable'. lines 156-157:
+task 13 'programmable'. lines 157-158:
 Error: Transaction Effects Status: MoveAbort(MoveLocation { module: ModuleId { address: test, name: Identifier("m") }, function: 10, instruction: 20, function_name: Some("check_") }, 0) in command 0
 Execution Error: MoveAbort(MoveLocation { module: ModuleId { address: test, name: Identifier("m") }, function: 10, instruction: 20, function_name: Some("check_") }, 0) in command 0

crates/iota-adapter-transactional-tests/tests/mvcc/v0/find_all_uids.move

@@ -4,7 +4,7 @@
 
 // tests finding UIDs for dynamic field access
 
-//# init --addresses test=0x0 --accounts A --protocol-version 16
+//# init --addresses test=0x0 --accounts A --protocol-version 1
 
 //# publish
 

crates/iota-adapter-transactional-tests/tests/mvcc/v0/find_all_uids_dof.exp

@@ -3,60 +3,60 @@ processed 14 tasks
 init:
 A: object(0,0)
 
-task 1 'publish'. lines 8-130:
+task 1 'publish'. lines 9-131:
 created: object(1,0)
 mutated: object(0,1)
 gas summary: computation_cost: 1000000, storage_cost: 13353200,  storage_rebate: 0, non_refundable_storage_fee: 0
 
-task 2 'programmable'. lines 132-134:
+task 2 'programmable'. lines 133-135:
 created: object(2,0), object(2,1), object(2,2), object(2,3), object(2,4), object(2,5), object(2,6), object(2,7), object(2,8), object(2,9), object(2,10), object(2,11), object(2,12), object(2,13), object(2,14), object(2,15), object(2,16)
 mutated: object(0,0)
 gas summary: computation_cost: 1000000, storage_cost: 33941600,  storage_rebate: 0, non_refundable_storage_fee: 0
 
-task 3 'view-object'. lines 136-136:
+task 3 'view-object'. lines 137-137:
 Owner: Account Address ( A )
 Version: 2
 Contents: test::m::S {id: iota::object::UID {id: iota::object::ID {bytes: fake(2,8)}}, other: iota::object::UID {id: iota::object::ID {bytes: _}}, wrapped: test::m::Wrapped {id: iota::object::UID {id: iota::object::ID {bytes: _}}, other: iota::object::UID {id: iota::object::ID {bytes: _}}}, many: vector[test::m::Wrapped {id: iota::object::UID {id: iota::object::ID {bytes: _}}, other: iota::object::UID {id: iota::object::ID {bytes: _}}}, test::m::Wrapped {id: iota::object::UID {id: iota::object::ID {bytes: _}}, other: iota::object::UID {id: iota::object::ID {bytes: _}}}]}
 
-task 4 'programmable'. lines 138-139:
+task 4 'programmable'. lines 139-140:
 mutated: object(0,0), object(2,8), object(2,9), object(2,10), object(2,11), object(2,12), object(2,13), object(2,14), object(2,15), object(2,16)
 gas summary: computation_cost: 1000000, storage_cost: 14303200,  storage_rebate: 14160168, non_refundable_storage_fee: 143032
 
-task 5 'view-object'. lines 141-141:
+task 5 'view-object'. lines 142-142:
 Owner: Account Address ( A )
 Version: 3
 Contents: test::m::S {id: iota::object::UID {id: iota::object::ID {bytes: fake(2,8)}}, other: iota::object::UID {id: iota::object::ID {bytes: _}}, wrapped: test::m::Wrapped {id: iota::object::UID {id: iota::object::ID {bytes: _}}, other: iota::object::UID {id: iota::object::ID {bytes: _}}}, many: vector[test::m::Wrapped {id: iota::object::UID {id: iota::object::ID {bytes: _}}, other: iota::object::UID {id: iota::object::ID {bytes: _}}}, test::m::Wrapped {id: iota::object::UID {id: iota::object::ID {bytes: _}}, other: iota::object::UID {id: iota::object::ID {bytes: _}}}]}
 
-task 6 'programmable'. lines 143-144:
+task 6 'programmable'. lines 144-145:
 mutated: object(0,0), object(2,8)
 deleted: object(2,0), object(2,1), object(2,2), object(2,3), object(2,4), object(2,5), object(2,6), object(2,7), object(2,9), object(2,10), object(2,11), object(2,12), object(2,13), object(2,14), object(2,15), object(2,16)
 gas summary: computation_cost: 1000000, storage_cost: 3906400,  storage_rebate: 33602184, non_refundable_storage_fee: 339416
 
-task 7 'view-object'. lines 146-149:
+task 7 'view-object'. lines 147-150:
 Owner: Account Address ( A )
 Version: 4
 Contents: test::m::S {id: iota::object::UID {id: iota::object::ID {bytes: fake(2,8)}}, other: iota::object::UID {id: iota::object::ID {bytes: _}}, wrapped: test::m::Wrapped {id: iota::object::UID {id: iota::object::ID {bytes: _}}, other: iota::object::UID {id: iota::object::ID {bytes: _}}}, many: vector[test::m::Wrapped {id: iota::object::UID {id: iota::object::ID {bytes: _}}, other: iota::object::UID {id: iota::object::ID {bytes: _}}}, test::m::Wrapped {id: iota::object::UID {id: iota::object::ID {bytes: _}}, other: iota::object::UID {id: iota::object::ID {bytes: _}}}]}
 
-task 8 'programmable'. lines 151-152:
+task 8 'programmable'. lines 152-153:
 mutated: object(_), object(2,8)
 gas summary: computation_cost: 500000, storage_cost: 3906400,  storage_rebate: 2889216, non_refundable_storage_fee: 29184
 
-task 9 'programmable'. lines 154-155:
+task 9 'programmable'. lines 155-156:
 mutated: object(_), object(2,8)
 gas summary: computation_cost: 500000, storage_cost: 3906400,  storage_rebate: 2889216, non_refundable_storage_fee: 29184
 
-task 10 'programmable'. lines 157-161:
+task 10 'programmable'. lines 158-162:
 mutated: object(_), object(2,8)
 gas summary: computation_cost: 500000, storage_cost: 3906400,  storage_rebate: 2889216, non_refundable_storage_fee: 29184
 
-task 11 'programmable'. lines 163-164:
+task 11 'programmable'. lines 164-165:
 Error: Transaction Effects Status: MoveAbort(MoveLocation { module: ModuleId { address: test, name: Identifier("m") }, function: 11, instruction: 18, function_name: Some("check_") }, 0) in command 0
 Execution Error: MoveAbort(MoveLocation { module: ModuleId { address: test, name: Identifier("m") }, function: 11, instruction: 18, function_name: Some("check_") }, 0) in command 0
 
-task 12 'programmable'. lines 166-167:
+task 12 'programmable'. lines 167-168:
 Error: Transaction Effects Status: MoveAbort(MoveLocation { module: ModuleId { address: iota, 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: iota, name: Identifier("dynamic_field") }, function: 11, instruction: 0, function_name: Some("borrow_child_object") }, 1) in command 0
 
-task 13 'programmable'. lines 169-170:
+task 13 'programmable'. lines 170-171:
 Error: Transaction Effects Status: MoveAbort(MoveLocation { module: ModuleId { address: test, name: Identifier("m") }, function: 11, instruction: 26, function_name: Some("check_") }, 0) in command 0
 Execution Error: MoveAbort(MoveLocation { module: ModuleId { address: test, name: Identifier("m") }, function: 11, instruction: 26, function_name: Some("check_") }, 0) in command 0

crates/iota-adapter-transactional-tests/tests/mvcc/v0/find_all_uids_dof.move

@@ -4,7 +4,7 @@
 
 // tests finding UIDs for dynamic object field access
 
-//# init --addresses test=0x0 --accounts A --protocol-version 16
+//# init --addresses test=0x0 --accounts A --protocol-version 1
 
 //# publish