Skip to content

Commit

Permalink
Update tests/run-make/wasm-builtins-import/main.rs
Browse files Browse the repository at this point in the history
placate tidy (hopefully)
  • Loading branch information
pnkfelix authored Oct 17, 2023
1 parent 7d06751 commit 665da1e
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion tests/run-make/wasm-builtins-import/main.rs
Original file line number Diff line number Diff line change
Expand Up @@ -9,6 +9,7 @@ fn my_panic(_info: &core::panic::PanicInfo) -> ! {
#[no_mangle]
pub fn multer(a: i128, b: i128) -> i128 {
// Trigger usage of the __multi3 compiler intrinsic which then leads to an imported function
// such as panic or __multi3 (externally defined) in case of a bug. We verify that no imports exist in our verifier.
// such as panic or __multi3 (externally defined) in case of a bug. We verify that
// no imports exist in our verifier.
a * b
}

0 comments on commit 665da1e

Please sign in to comment.