wasm: update to non-panicking core API

anoma · May 2, 2024 · 871ae3c · 871ae3c
1 parent 62635fa
commit 871ae3c
Show file tree

Hide file tree

Showing 4 changed files with 16 additions and 2 deletions.
diff --git a/wasm/Cargo.lock b/wasm/Cargo.lock
diff --git a/wasm/vp_implicit/src/lib.rs b/wasm/vp_implicit/src/lib.rs
@@ -151,7 +151,8 @@ fn validate_tx(
                         ctx.read_pre(key).into_vp_error()?.unwrap_or_default();
                     let post: token::Amount =
                         ctx.read_post(key).into_vp_error()?.unwrap_or_default();
-                    let change = post.change() - pre.change();
+                    let change =
+                        post.change().checked_sub(pre.change()).unwrap();
                     gadget.verify_signatures_when(
                         // NB: debit has to signed, credit doesn't
                         || change.is_negative(),

diff --git a/wasm/vp_user/src/lib.rs b/wasm/vp_user/src/lib.rs
@@ -112,7 +112,8 @@ fn validate_tx(
                         ctx.read_pre(key).into_vp_error()?.unwrap_or_default();
                     let post: token::Amount =
                         ctx.read_post(key).into_vp_error()?.unwrap_or_default();
-                    let change = post.change() - pre.change();
+                    let change =
+                        post.change().checked_sub(pre.change()).unwrap();
                     gadget.verify_signatures_when(
                         // NB: debit has to signed, credit doesn't
                         || change.is_negative(),

diff --git a/wasm_for_tests/Cargo.lock b/wasm_for_tests/Cargo.lock