Skip to content

Commit

Permalink
Test cases fix: move non abort cases before the aborting one. (aptos-…
Browse files Browse the repository at this point in the history
  • Loading branch information
vineethk authored Mar 20, 2024
1 parent 19ba3c1 commit e7031c9
Show file tree
Hide file tree
Showing 4 changed files with 20 additions and 20 deletions.
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
processed 4 tasks

task 0 'run'. lines 1-14:
task 3 'run'. lines 40-53:
Error: Script execution failed with VMError: {
major_status: ARITHMETIC_ERROR,
sub_status: None,
Expand Down
Original file line number Diff line number Diff line change
@@ -1,12 +1,10 @@
//# run
script {
// should fail
// Checks that default integers will always be u64 otherwise existing impls might fail
// We're going above u64 max
fun main() {
let i = 1;
let j = 1;
while (j < 65) {
while (j < 64) {
i = 2 * i;
j = j + 1;
};
Expand All @@ -17,9 +15,9 @@ script {
script {
// Checks that default integers will always be u64 otherwise existing impls might fail
fun main() {
let i = 1;
let i = 256;
let j = 1;
while (j < 64) {
while (j < (64 - 8)) {
i = 2 * i;
j = j + 1;
};
Expand All @@ -30,9 +28,9 @@ script {
script {
// Checks that default integers will always be u64 otherwise existing impls might fail
fun main() {
let i = 256;
let i = 65536;
let j = 1;
while (j < (64 - 8)) {
while (j < (64 - 16)) {
i = 2 * i;
j = j + 1;
};
Expand All @@ -41,11 +39,13 @@ script {

//# run
script {
// should fail
// Checks that default integers will always be u64 otherwise existing impls might fail
// We're going above u64 max
fun main() {
let i = 65536;
let i = 1;
let j = 1;
while (j < (64 - 16)) {
while (j < 65) {
i = 2 * i;
j = j + 1;
};
Expand Down
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
processed 4 tasks

task 0 'run'. lines 1-14:
task 3 'run'. lines 40-53:
Error: Script execution failed with VMError: {
major_status: ARITHMETIC_ERROR,
sub_status: None,
Expand Down
Original file line number Diff line number Diff line change
@@ -1,12 +1,10 @@
//# run
script {
// should fail
// Checks that default integers will always be u64 otherwise existing impls might fail
// We're going above u64 max
fun main() {
let i = 1;
let j = 1;
while (j < 65) {
while (j < 64) {
i = 2 * i;
j = j + 1;
};
Expand All @@ -17,9 +15,9 @@ script {
script {
// Checks that default integers will always be u64 otherwise existing impls might fail
fun main() {
let i = 1;
let i = 256;
let j = 1;
while (j < 64) {
while (j < (64 - 8)) {
i = 2 * i;
j = j + 1;
};
Expand All @@ -30,9 +28,9 @@ script {
script {
// Checks that default integers will always be u64 otherwise existing impls might fail
fun main() {
let i = 256;
let i = 65536;
let j = 1;
while (j < (64 - 8)) {
while (j < (64 - 16)) {
i = 2 * i;
j = j + 1;
};
Expand All @@ -41,11 +39,13 @@ script {

//# run
script {
// should fail
// Checks that default integers will always be u64 otherwise existing impls might fail
// We're going above u64 max
fun main() {
let i = 65536;
let i = 1;
let j = 1;
while (j < (64 - 16)) {
while (j < 65) {
i = 2 * i;
j = j + 1;
};
Expand Down

0 comments on commit e7031c9

Please sign in to comment.