[diem-transactional-tests] migrate prologue/<sequenuce number tests>

tnowacki · Dec 17, 2021 · 4dc515b · 4dc515b
1 parent fa53725
commit 4dc515b
Show file tree

Hide file tree

Showing 7 changed files with 53 additions and 28 deletions.
diff --git a/...move/diem-framework/core/transactional-tests/genesis/genesis_account_sequence_numbers.exp b/...move/diem-framework/core/transactional-tests/genesis/genesis_account_sequence_numbers.exp
@@ -0,0 +1 @@
+processed 1 task
diff --git a/...sis/genesis_account_sequence_numbers.move → ...sis/genesis_account_sequence_numbers.move b/...sis/genesis_account_sequence_numbers.move → ...sis/genesis_account_sequence_numbers.move
@@ -1,3 +1,4 @@
+//# run --admin-script --signers DiemRoot DiemRoot
 script {
 use DiemFramework::DiemAccount;
 

diff --git a/diem-move/diem-framework/core/transactional-tests/prologue/sequence_number.exp b/diem-move/diem-framework/core/transactional-tests/prologue/sequence_number.exp
@@ -0,0 +1,7 @@
+processed 8 tasks
+
+task 5 'publish'. lines 32-34:
+Error: Transaction discarded. VMStatus: status SEQUENCE_NUMBER_TOO_OLD of type Validation
+
+task 6 'publish'. lines 37-39:
+Error: Transaction discarded. VMStatus: status SEQUENCE_NUMBER_TOO_NEW of type Validation
diff --git a/diem-move/diem-framework/core/transactional-tests/prologue/sequence_number.move b/diem-move/diem-framework/core/transactional-tests/prologue/sequence_number.move
@@ -0,0 +1,44 @@
+//# init --parent-vasps Alice
+
+// Check that the initial sequence number is 0.
+//# run --admin-script --signers DiemRoot DiemRoot
+script {
+use DiemFramework::DiemAccount;
+
+fun main() {
+    assert!(DiemAccount::sequence_number(@Alice) == 0, 72);
+}
+}
+
+// Bump the sequence number twice.
+//# publish
+module Alice::M1 {}
+
+
+//# publish
+module Alice::M2 {}
+
+// Check that the initial sequence number is 2.
+//# run --admin-script --signers DiemRoot DiemRoot
+script {
+use DiemFramework::DiemAccount;
+
+fun main() {
+    assert!(DiemAccount::sequence_number(@Alice) == 2, 72);
+}
+}
+
+
+//# publish --sequence-number 1
+module Alice::M3 {}
+// Should fail since the sequence number is too old.
+
+
+//# publish --sequence-number 3
+module Alice::M4 {}
+// Should fail since the sequence number is too new.
+
+
+//# publish --sequence-number 2
+module Alice::M5 {}
+// Should succeed.
diff --git a/...move-compiler/functional-tests/tests/diem/prologue/can_run_with_good_sequence_number.move b/...move-compiler/functional-tests/tests/diem/prologue/can_run_with_good_sequence_number.move
diff --git a/...e-compiler/functional-tests/tests/diem/prologue/cant_run_with_future_sequence_number.move b/...e-compiler/functional-tests/tests/diem/prologue/cant_run_with_future_sequence_number.move
diff --git a/...ve-compiler/functional-tests/tests/diem/prologue/cant_run_with_stale_sequence_number.move b/...ve-compiler/functional-tests/tests/diem/prologue/cant_run_with_stale_sequence_number.move