diable u256 prove for now

starcoinorg · Nov 24, 2021 · 77e1d41 · 77e1d41
1 parent 5d2153b
commit 77e1d41
Show file tree

Hide file tree

Showing 2 changed files with 14 additions and 0 deletions.
diff --git a/vm/stdlib/modules/U256.move b/vm/stdlib/modules/U256.move
@@ -54,6 +54,10 @@ module U256 {
         bits: vector<u64>,
     }
 
+    spec module {
+        pragma verify = false;
+    }
+
     public fun zero(): U256 {
         from_u128(0u128)
     }

diff --git a/vm/stdlib/modules/doc/U256.md b/vm/stdlib/modules/doc/U256.md
@@ -30,6 +30,7 @@ Implementation u256.
 -  [Function `native_div`](#0x1_U256_native_div)
 -  [Function `native_rem`](#0x1_U256_native_rem)
 -  [Function `native_pow`](#0x1_U256_native_pow)
+-  [Specification](#@Specification_1)
 
 
 <pre><code><b>use</b> <a href="U256.md#0x1_Arith">0x1::Arith</a>;
@@ -698,3 +699,12 @@ move implementation of native_sub.
 
 
 </details>
+
+<a name="@Specification_1"></a>
+
+## Specification
+
+
+
+<pre><code><b>pragma</b> verify = <b>false</b>;
+</code></pre>