wasm-tools 1.251.0

CLI tools for interoperating with WebAssembly files
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42

;; RUN: wast --assert default --snapshot tests/snapshots %

;;; --enable-multi-value
(module
(func (param i32)
    (local i32)
    i32.const -64
    loop (param i32)
        local.set 0
        i32.const 0
        local.get 0
        br_if 0
        drop
    end))

(assert_invalid
    (module
    (func (param i32)
        (local i32)
        i32.const -64
        loop (param i32)
            local.set 0
            local.get 0
            br_if 0
        end))
    "type mismatch"
)

(assert_invalid
    (module
    (func (param i32)
        (local i32)
        i32.const -64
        loop (param i32)
            local.set 0
            i64.const 0
            local.get 0
            br_if 0
            drop
        end))
    "type mismatch"
)