feat: bump (#566)

* feat: bump

* fixed tests

Author: andrii-a8c

Cargo.lock

@@ -4,7 +4,7 @@ module 0x42::test {
         let mut y = 2;
         let mut i = 0;
 
-        while (i < 3) {
+        while (i < 3u64) {
             if (cond) {
                 x = x + 10;  // Increment x in then-block
             } else {

crates/move-stackless-bytecode/tests/conditional_merge_insertion/09_skip_simple_loop.move

@@ -9,7 +9,7 @@ fun f_axiom(x: u64): bool {
 
 // This function has a real abort, so it can't be a pure callee.
 public fun bar(): bool {
-    assert!(1 > 2);
+    assert!(1u8 > 2u8);
     true
 }
 

crates/sui-prover/tests/inputs/axioms/calling_proc.fail.move

@@ -16,5 +16,5 @@ fun foo(x: &mut Foo) {
 fun foo_spec(x: &mut Foo) {
     requires(!dynamic_field::exists_with_type<u64, u8>(&x.id, 10));
     foo(x);
-    ensures(!dynamic_field::exists_(&x.id, 11));
+    ensures(!dynamic_field::exists_(&x.id, 11u8));
 }

crates/sui-prover/tests/inputs/dynamic_field/exists_.fail.move

@@ -9,14 +9,14 @@ public struct Foo has key {
 }
 
 fun foo(x: &mut Foo) {
-    dynamic_field::add<u64, u8>(&mut x.id, 10, 0);
+    dynamic_field::add<u64, u64>(&mut x.id, 10u64, 0);
 }
 
 #[spec(prove)]
 fun foo_spec(x: &mut Foo) {
-    requires(!dynamic_field::exists_with_type<u64, u8>(&x.id, 10));
+    requires(!dynamic_field::exists_with_type<u64, u64>(&x.id, 10u64));
     foo(x);
-    ensures(dynamic_field::exists_(&x.id, 10));
-    ensures(dynamic_field::exists_with_type<u64, u8>(&x.id, 10));
-    ensures(dynamic_field::borrow<u64, u8>(&x.id, 10) == 0);
+    ensures(dynamic_field::exists_(&x.id, 10u64));
+    ensures(dynamic_field::exists_with_type<u64, u64>(&x.id, 10u64));
+    ensures(dynamic_field::borrow<u64, u64>(&x.id, 10) == 0);
 }

crates/sui-prover/tests/inputs/dynamic_field/exists_.ok.move

@@ -21,8 +21,8 @@ fun foo(x: &mut Foo) {
 fun foo_spec(x: &mut Foo) {
     requires(dynamic_object_field::exists_with_type<u64, Bar>(&x.id, 10));
     foo(x);
-    ensures(dynamic_object_field::exists_(&x.id, 10));
+    ensures(dynamic_object_field::exists_(&x.id, 10u64));
     ensures(dynamic_object_field::exists_with_type<u64, Bar>(&x.id, 10));
     ensures(dynamic_object_field::borrow<u64, Bar>(&x.id, 10).bar == 0);
-    ensures(dynamic_object_field::exists_(&x.id, 11));
+    ensures(dynamic_object_field::exists_(&x.id, 11u64));
 }

crates/sui-prover/tests/inputs/dynamic_object_field/exists_.fail.move

@@ -21,7 +21,7 @@ fun foo(x: &mut Foo) {
 fun foo_spec(x: &mut Foo) {
     requires(dynamic_object_field::exists_with_type<u64, Bar>(&x.id, 10));
     foo(x);
-    ensures(dynamic_object_field::exists_(&x.id, 10));
+    ensures(dynamic_object_field::exists_(&x.id, 10u64));
     ensures(dynamic_object_field::exists_with_type<u64, Bar>(&x.id, 10));
     ensures(dynamic_object_field::borrow<u64, Bar>(&x.id, 10).bar == 0);
 }

crates/sui-prover/tests/inputs/dynamic_object_field/exists_.ok.move

@@ -13,6 +13,6 @@ fun double_wrap_buggy(x: u64): u64 {
 #[spec(prove)]
 fun double_wrap_buggy_spec(x: u64): u64 {
     let result = double_wrap_buggy(x);
-    ensures(result == x.to_int().mul((2 as u8).to_int()).to_u64());
+    ensures(result == x.to_int().mul((2u8).to_int()).to_u64());
     result
 }

crates/sui-prover/tests/inputs/opaque/double-wrap-buggy.move

@@ -13,6 +13,6 @@ fun double_wrap(x: u64): u64 {
 #[spec(prove)]
 fun double_wrap_spec(x: u64): u64 {
     let result = double_wrap(x);
-    ensures(result == x.to_int().mul((2 as u8).to_int()).to_u64());
+    ensures(result == x.to_int().mul((2u8).to_int()).to_u64());
     result
 }

crates/sui-prover/tests/inputs/opaque/double-wrap.move

@@ -74,7 +74,7 @@ fun test_find_indices_range_valid_indices() {
     let indices = find_indices_range!<u64>(&v, 1, 4, |x| x_is_10(x));
 
     let len = vector::length(&indices);
-    let mut i = 0;
+    let mut i:u8 = 0;
 
     let idx = *vector::borrow(&indices, 0);
     ensures(idx >= 1);