Skip to content

Commit

Permalink
Update baseline file for loops
Browse files Browse the repository at this point in the history
  • Loading branch information
wrwg committed Oct 4, 2024
1 parent 2848c6d commit 18b921d
Showing 1 changed file with 3 additions and 8 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -485,19 +485,14 @@ module 0x815::m {
fun while_2(c: u64): u64 {
while (c > 0) {
if (!(c >= 10)) continue;
c = c - 10;
continue
c = c - 10
};
c + 1
}
fun while_3(c: u64): u64 {
while (c > 0) {
while (c > 10) {
c = c - 10;
continue
};
c = c - 1;
continue
while (c > 10) c = c - 10;
c = c - 1
};
c
}
Expand Down

0 comments on commit 18b921d

Please sign in to comment.