1{"source_filename": "./imports.wast",
2 "commands": [
3 {"type": "module", "line": 3, "filename": "imports.0.wasm"},
4 {"type": "register", "line": 19, "as": "test"},
5 {"type": "module", "line": 24, "filename": "imports.1.wasm"},
6 {"type": "assert_return", "line": 87, "action": {"type": "invoke", "field": "print32", "args": [{"type": "i32", "value": "13"}]}, "expected": []},
7 {"type": "assert_return", "line": 88, "action": {"type": "invoke", "field": "print64", "args": [{"type": "i64", "value": "24"}]}, "expected": []},
8 {"type": "assert_invalid", "line": 91, "filename": "imports.2.wasm", "text": "unknown type", "module_type": "binary"},
9 {"type": "module", "line": 98, "filename": "imports.3.wasm"},
10 {"type": "module", "line": 99, "filename": "imports.4.wasm"},
11 {"type": "module", "line": 100, "filename": "imports.5.wasm"},
12 {"type": "module", "line": 101, "filename": "imports.6.wasm"},
13 {"type": "module", "line": 102, "filename": "imports.7.wasm"},
14 {"type": "module", "line": 103, "filename": "imports.8.wasm"},
15 {"type": "module", "line": 104, "filename": "imports.9.wasm"},
16 {"type": "assert_unlinkable", "line": 107, "filename": "imports.10.wasm", "text": "unknown import", "module_type": "binary"},
17 {"type": "assert_unlinkable", "line": 111, "filename": "imports.11.wasm", "text": "unknown import", "module_type": "binary"},
18 {"type": "assert_unlinkable", "line": 116, "filename": "imports.12.wasm", "text": "incompatible import type", "module_type": "binary"},
19 {"type": "assert_unlinkable", "line": 120, "filename": "imports.13.wasm", "text": "incompatible import type", "module_type": "binary"},
20 {"type": "assert_unlinkable", "line": 124, "filename": "imports.14.wasm", "text": "incompatible import type", "module_type": "binary"},
21 {"type": "assert_unlinkable", "line": 128, "filename": "imports.15.wasm", "text": "incompatible import type", "module_type": "binary"},
22 {"type": "assert_unlinkable", "line": 132, "filename": "imports.16.wasm", "text": "incompatible import type", "module_type": "binary"},
23 {"type": "assert_unlinkable", "line": 136, "filename": "imports.17.wasm", "text": "incompatible import type", "module_type": "binary"},
24 {"type": "assert_unlinkable", "line": 140, "filename": "imports.18.wasm", "text": "incompatible import type", "module_type": "binary"},
25 {"type": "assert_unlinkable", "line": 144, "filename": "imports.19.wasm", "text": "incompatible import type", "module_type": "binary"},
26 {"type": "assert_unlinkable", "line": 148, "filename": "imports.20.wasm", "text": "incompatible import type", "module_type": "binary"},
27 {"type": "assert_unlinkable", "line": 152, "filename": "imports.21.wasm", "text": "incompatible import type", "module_type": "binary"},
28 {"type": "assert_unlinkable", "line": 156, "filename": "imports.22.wasm", "text": "incompatible import type", "module_type": "binary"},
29 {"type": "assert_unlinkable", "line": 160, "filename": "imports.23.wasm", "text": "incompatible import type", "module_type": "binary"},
30 {"type": "assert_unlinkable", "line": 164, "filename": "imports.24.wasm", "text": "incompatible import type", "module_type": "binary"},
31 {"type": "assert_unlinkable", "line": 168, "filename": "imports.25.wasm", "text": "incompatible import type", "module_type": "binary"},
32 {"type": "assert_unlinkable", "line": 172, "filename": "imports.26.wasm", "text": "incompatible import type", "module_type": "binary"},
33 {"type": "assert_unlinkable", "line": 176, "filename": "imports.27.wasm", "text": "incompatible import type", "module_type": "binary"},
34 {"type": "assert_unlinkable", "line": 181, "filename": "imports.28.wasm", "text": "incompatible import type", "module_type": "binary"},
35 {"type": "assert_unlinkable", "line": 185, "filename": "imports.29.wasm", "text": "incompatible import type", "module_type": "binary"},
36 {"type": "assert_unlinkable", "line": 189, "filename": "imports.30.wasm", "text": "incompatible import type", "module_type": "binary"},
37 {"type": "assert_unlinkable", "line": 193, "filename": "imports.31.wasm", "text": "incompatible import type", "module_type": "binary"},
38 {"type": "assert_unlinkable", "line": 197, "filename": "imports.32.wasm", "text": "incompatible import type", "module_type": "binary"},
39 {"type": "assert_unlinkable", "line": 201, "filename": "imports.33.wasm", "text": "incompatible import type", "module_type": "binary"},
40 {"type": "module", "line": 208, "filename": "imports.34.wasm"},
41 {"type": "assert_return", "line": 226, "action": {"type": "invoke", "field": "get-0", "args": []}, "expected": [{"type": "i32", "value": "666"}]},
42 {"type": "assert_return", "line": 227, "action": {"type": "invoke", "field": "get-1", "args": []}, "expected": [{"type": "i32", "value": "666"}]},
43 {"type": "assert_return", "line": 228, "action": {"type": "invoke", "field": "get-x", "args": []}, "expected": [{"type": "i32", "value": "666"}]},
44 {"type": "assert_return", "line": 229, "action": {"type": "invoke", "field": "get-y", "args": []}, "expected": [{"type": "i32", "value": "666"}]},
45 {"type": "module", "line": 231, "filename": "imports.35.wasm"},
46 {"type": "module", "line": 232, "filename": "imports.36.wasm"},
47 {"type": "assert_unlinkable", "line": 235, "filename": "imports.37.wasm", "text": "unknown import", "module_type": "binary"},
48 {"type": "assert_unlinkable", "line": 239, "filename": "imports.38.wasm", "text": "unknown import", "module_type": "binary"},
49 {"type": "assert_unlinkable", "line": 244, "filename": "imports.39.wasm", "text": "incompatible import type", "module_type": "binary"},
50 {"type": "assert_unlinkable", "line": 248, "filename": "imports.40.wasm", "text": "incompatible import type", "module_type": "binary"},
51 {"type": "assert_unlinkable", "line": 252, "filename": "imports.41.wasm", "text": "incompatible import type", "module_type": "binary"},
52 {"type": "assert_unlinkable", "line": 256, "filename": "imports.42.wasm", "text": "incompatible import type", "module_type": "binary"},
53 {"type": "assert_unlinkable", "line": 260, "filename": "imports.43.wasm", "text": "incompatible import type", "module_type": "binary"},
54 {"type": "assert_unlinkable", "line": 264, "filename": "imports.44.wasm", "text": "incompatible import type", "module_type": "binary"},
55 {"type": "module", "line": 271, "filename": "imports.45.wasm"},
56 {"type": "assert_trap", "line": 283, "action": {"type": "invoke", "field": "call", "args": [{"type": "i32", "value": "0"}]}, "text": "uninitialized element", "expected": [{"type": "i32"}]},
57 {"type": "assert_return", "line": 284, "action": {"type": "invoke", "field": "call", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "11"}]},
58 {"type": "assert_return", "line": 285, "action": {"type": "invoke", "field": "call", "args": [{"type": "i32", "value": "2"}]}, "expected": [{"type": "i32", "value": "22"}]},
59 {"type": "assert_trap", "line": 286, "action": {"type": "invoke", "field": "call", "args": [{"type": "i32", "value": "3"}]}, "text": "uninitialized element", "expected": [{"type": "i32"}]},
60 {"type": "assert_trap", "line": 287, "action": {"type": "invoke", "field": "call", "args": [{"type": "i32", "value": "100"}]}, "text": "undefined element", "expected": [{"type": "i32"}]},
61 {"type": "module", "line": 290, "filename": "imports.46.wasm"},
62 {"type": "assert_trap", "line": 302, "action": {"type": "invoke", "field": "call", "args": [{"type": "i32", "value": "0"}]}, "text": "uninitialized element", "expected": [{"type": "i32"}]},
63 {"type": "assert_return", "line": 303, "action": {"type": "invoke", "field": "call", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "11"}]},
64 {"type": "assert_return", "line": 304, "action": {"type": "invoke", "field": "call", "args": [{"type": "i32", "value": "2"}]}, "expected": [{"type": "i32", "value": "22"}]},
65 {"type": "assert_trap", "line": 305, "action": {"type": "invoke", "field": "call", "args": [{"type": "i32", "value": "3"}]}, "text": "uninitialized element", "expected": [{"type": "i32"}]},
66 {"type": "assert_trap", "line": 306, "action": {"type": "invoke", "field": "call", "args": [{"type": "i32", "value": "100"}]}, "text": "undefined element", "expected": [{"type": "i32"}]},
67 {"type": "assert_invalid", "line": 310, "filename": "imports.47.wasm", "text": "multiple tables", "module_type": "binary"},
68 {"type": "assert_invalid", "line": 314, "filename": "imports.48.wasm", "text": "multiple tables", "module_type": "binary"},
69 {"type": "assert_invalid", "line": 318, "filename": "imports.49.wasm", "text": "multiple tables", "module_type": "binary"},
70 {"type": "module", "line": 322, "filename": "imports.50.wasm"},
71 {"type": "module", "line": 323, "filename": "imports.51.wasm"},
72 {"type": "module", "line": 324, "filename": "imports.52.wasm"},
73 {"type": "module", "line": 325, "filename": "imports.53.wasm"},
74 {"type": "module", "line": 326, "filename": "imports.54.wasm"},
75 {"type": "module", "line": 327, "filename": "imports.55.wasm"},
76 {"type": "module", "line": 328, "filename": "imports.56.wasm"},
77 {"type": "module", "line": 329, "filename": "imports.57.wasm"},
78 {"type": "module", "line": 330, "filename": "imports.58.wasm"},
79 {"type": "module", "line": 331, "filename": "imports.59.wasm"},
80 {"type": "module", "line": 332, "filename": "imports.60.wasm"},
81 {"type": "assert_unlinkable", "line": 335, "filename": "imports.61.wasm", "text": "unknown import", "module_type": "binary"},
82 {"type": "assert_unlinkable", "line": 339, "filename": "imports.62.wasm", "text": "unknown import", "module_type": "binary"},
83 {"type": "assert_unlinkable", "line": 344, "filename": "imports.63.wasm", "text": "incompatible import type", "module_type": "binary"},
84 {"type": "assert_unlinkable", "line": 348, "filename": "imports.64.wasm", "text": "incompatible import type", "module_type": "binary"},
85 {"type": "assert_unlinkable", "line": 352, "filename": "imports.65.wasm", "text": "incompatible import type", "module_type": "binary"},
86 {"type": "assert_unlinkable", "line": 356, "filename": "imports.66.wasm", "text": "incompatible import type", "module_type": "binary"},
87 {"type": "assert_unlinkable", "line": 361, "filename": "imports.67.wasm", "text": "incompatible import type", "module_type": "binary"},
88 {"type": "assert_unlinkable", "line": 365, "filename": "imports.68.wasm", "text": "incompatible import type", "module_type": "binary"},
89 {"type": "assert_unlinkable", "line": 369, "filename": "imports.69.wasm", "text": "incompatible import type", "module_type": "binary"},
90 {"type": "assert_unlinkable", "line": 373, "filename": "imports.70.wasm", "text": "incompatible import type", "module_type": "binary"},
91 {"type": "module", "line": 381, "filename": "imports.71.wasm"},
92 {"type": "assert_return", "line": 388, "action": {"type": "invoke", "field": "load", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "0"}]},
93 {"type": "assert_return", "line": 389, "action": {"type": "invoke", "field": "load", "args": [{"type": "i32", "value": "10"}]}, "expected": [{"type": "i32", "value": "16"}]},
94 {"type": "assert_return", "line": 390, "action": {"type": "invoke", "field": "load", "args": [{"type": "i32", "value": "8"}]}, "expected": [{"type": "i32", "value": "1048576"}]},
95 {"type": "assert_trap", "line": 391, "action": {"type": "invoke", "field": "load", "args": [{"type": "i32", "value": "1000000"}]}, "text": "out of bounds memory access", "expected": [{"type": "i32"}]},
96 {"type": "module", "line": 393, "filename": "imports.72.wasm"},
97 {"type": "assert_return", "line": 399, "action": {"type": "invoke", "field": "load", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "0"}]},
98 {"type": "assert_return", "line": 400, "action": {"type": "invoke", "field": "load", "args": [{"type": "i32", "value": "10"}]}, "expected": [{"type": "i32", "value": "16"}]},
99 {"type": "assert_return", "line": 401, "action": {"type": "invoke", "field": "load", "args": [{"type": "i32", "value": "8"}]}, "expected": [{"type": "i32", "value": "1048576"}]},
100 {"type": "assert_trap", "line": 402, "action": {"type": "invoke", "field": "load", "args": [{"type": "i32", "value": "1000000"}]}, "text": "out of bounds memory access", "expected": [{"type": "i32"}]},
101 {"type": "assert_invalid", "line": 405, "filename": "imports.73.wasm", "text": "multiple memories", "module_type": "binary"},
102 {"type": "assert_invalid", "line": 409, "filename": "imports.74.wasm", "text": "multiple memories", "module_type": "binary"},
103 {"type": "assert_invalid", "line": 413, "filename": "imports.75.wasm", "text": "multiple memories", "module_type": "binary"},
104 {"type": "module", "line": 417, "filename": "imports.76.wasm"},
105 {"type": "module", "line": 418, "filename": "imports.77.wasm"},
106 {"type": "module", "line": 419, "filename": "imports.78.wasm"},
107 {"type": "module", "line": 420, "filename": "imports.79.wasm"},
108 {"type": "module", "line": 421, "filename": "imports.80.wasm"},
109 {"type": "module", "line": 422, "filename": "imports.81.wasm"},
110 {"type": "module", "line": 423, "filename": "imports.82.wasm"},
111 {"type": "module", "line": 424, "filename": "imports.83.wasm"},
112 {"type": "module", "line": 425, "filename": "imports.84.wasm"},
113 {"type": "assert_unlinkable", "line": 428, "filename": "imports.85.wasm", "text": "unknown import", "module_type": "binary"},
114 {"type": "assert_unlinkable", "line": 432, "filename": "imports.86.wasm", "text": "unknown import", "module_type": "binary"},
115 {"type": "assert_unlinkable", "line": 437, "filename": "imports.87.wasm", "text": "incompatible import type", "module_type": "binary"},
116 {"type": "assert_unlinkable", "line": 441, "filename": "imports.88.wasm", "text": "incompatible import type", "module_type": "binary"},
117 {"type": "assert_unlinkable", "line": 445, "filename": "imports.89.wasm", "text": "incompatible import type", "module_type": "binary"},
118 {"type": "assert_unlinkable", "line": 449, "filename": "imports.90.wasm", "text": "incompatible import type", "module_type": "binary"},
119 {"type": "assert_unlinkable", "line": 454, "filename": "imports.91.wasm", "text": "incompatible import type", "module_type": "binary"},
120 {"type": "assert_unlinkable", "line": 458, "filename": "imports.92.wasm", "text": "incompatible import type", "module_type": "binary"},
121 {"type": "assert_unlinkable", "line": 462, "filename": "imports.93.wasm", "text": "incompatible import type", "module_type": "binary"},
122 {"type": "assert_unlinkable", "line": 466, "filename": "imports.94.wasm", "text": "incompatible import type", "module_type": "binary"},
123 {"type": "assert_unlinkable", "line": 470, "filename": "imports.95.wasm", "text": "incompatible import type", "module_type": "binary"},
124 {"type": "assert_unlinkable", "line": 474, "filename": "imports.96.wasm", "text": "incompatible import type", "module_type": "binary"},
125 {"type": "assert_unlinkable", "line": 479, "filename": "imports.97.wasm", "text": "incompatible import type", "module_type": "binary"},
126 {"type": "assert_unlinkable", "line": 483, "filename": "imports.98.wasm", "text": "incompatible import type", "module_type": "binary"},
127 {"type": "module", "line": 487, "filename": "imports.99.wasm"},
128 {"type": "assert_return", "line": 491, "action": {"type": "invoke", "field": "grow", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "1"}]},
129 {"type": "assert_return", "line": 492, "action": {"type": "invoke", "field": "grow", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "1"}]},
130 {"type": "assert_return", "line": 493, "action": {"type": "invoke", "field": "grow", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "2"}]},
131 {"type": "assert_return", "line": 494, "action": {"type": "invoke", "field": "grow", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "4294967295"}]},
132 {"type": "assert_return", "line": 495, "action": {"type": "invoke", "field": "grow", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "2"}]},
133 {"type": "assert_malformed", "line": 501, "filename": "imports.100.wat", "text": "import after function", "module_type": "text"},
134 {"type": "assert_malformed", "line": 505, "filename": "imports.101.wat", "text": "import after function", "module_type": "text"},
135 {"type": "assert_malformed", "line": 509, "filename": "imports.102.wat", "text": "import after function", "module_type": "text"},
136 {"type": "assert_malformed", "line": 513, "filename": "imports.103.wat", "text": "import after function", "module_type": "text"},
137 {"type": "assert_malformed", "line": 518, "filename": "imports.104.wat", "text": "import after global", "module_type": "text"},
138 {"type": "assert_malformed", "line": 522, "filename": "imports.105.wat", "text": "import after global", "module_type": "text"},
139 {"type": "assert_malformed", "line": 526, "filename": "imports.106.wat", "text": "import after global", "module_type": "text"},
140 {"type": "assert_malformed", "line": 530, "filename": "imports.107.wat", "text": "import after global", "module_type": "text"},
141 {"type": "assert_malformed", "line": 535, "filename": "imports.108.wat", "text": "import after table", "module_type": "text"},
142 {"type": "assert_malformed", "line": 539, "filename": "imports.109.wat", "text": "import after table", "module_type": "text"},
143 {"type": "assert_malformed", "line": 543, "filename": "imports.110.wat", "text": "import after table", "module_type": "text"},
144 {"type": "assert_malformed", "line": 547, "filename": "imports.111.wat", "text": "import after table", "module_type": "text"},
145 {"type": "assert_malformed", "line": 552, "filename": "imports.112.wat", "text": "import after memory", "module_type": "text"},
146 {"type": "assert_malformed", "line": 556, "filename": "imports.113.wat", "text": "import after memory", "module_type": "text"},
147 {"type": "assert_malformed", "line": 560, "filename": "imports.114.wat", "text": "import after memory", "module_type": "text"},
148 {"type": "assert_malformed", "line": 564, "filename": "imports.115.wat", "text": "import after memory", "module_type": "text"},
149 {"type": "module", "line": 571, "filename": "imports.116.wasm"},
150 {"type": "register", "line": 572, "as": "not wasm"},
151 {"type": "assert_unlinkable", "line": 574, "filename": "imports.117.wasm", "text": "unknown import", "module_type": "binary"}]}
View as plain text