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
|
;;; TOOL: run-interp-spec
;;; STDIN_FILE: third_party/testsuite/table_grow.wast
(;; STDOUT ;;;
out/test/spec/table_grow.wast:17: assert_trap passed: out of bounds table access: table.set at 0 >= max value 0
out/test/spec/table_grow.wast:18: assert_trap passed: out of bounds table access: table.get at 0 >= max value 0
out/test/spec/table_grow.wast:25: assert_trap passed: out of bounds table access: table.set at 1 >= max value 1
out/test/spec/table_grow.wast:26: assert_trap passed: out of bounds table access: table.get at 1 >= max value 1
out/test/spec/table_grow.wast:37: assert_trap passed: out of bounds table access: table.set at 5 >= max value 5
out/test/spec/table_grow.wast:38: assert_trap passed: out of bounds table access: table.get at 5 >= max value 5
out/test/spec/table_grow.wast:114: assert_invalid passed:
out/test/spec/table_grow/table_grow.5.wasm:0000021: error: type mismatch in table.grow, expected [externref, i32] but got []
0000021: error: OnTableGrowExpr callback failed
out/test/spec/table_grow.wast:123: assert_invalid passed:
out/test/spec/table_grow/table_grow.6.wasm:0000023: error: type mismatch in table.grow, expected [externref, i32] but got [externref]
0000023: error: OnTableGrowExpr callback failed
out/test/spec/table_grow.wast:132: assert_invalid passed:
out/test/spec/table_grow/table_grow.7.wasm:0000023: error: type mismatch in table.grow, expected [externref, i32] but got [i32]
0000023: error: OnTableGrowExpr callback failed
out/test/spec/table_grow.wast:141: assert_invalid passed:
out/test/spec/table_grow/table_grow.8.wasm:0000028: error: type mismatch in table.grow, expected [externref, i32] but got [externref, f32]
0000028: error: OnTableGrowExpr callback failed
out/test/spec/table_grow.wast:150: assert_invalid passed:
out/test/spec/table_grow/table_grow.9.wasm:0000026: error: type mismatch in table.grow, expected [funcref, i32] but got [externref, i32]
0000026: error: OnTableGrowExpr callback failed
out/test/spec/table_grow.wast:160: assert_invalid passed:
out/test/spec/table_grow/table_grow.10.wasm:0000025: error: type mismatch at end of function, expected [] but got [i32]
0000025: error: EndFunctionBody callback failed
out/test/spec/table_grow.wast:169: assert_invalid passed:
out/test/spec/table_grow/table_grow.11.wasm:0000026: error: type mismatch in implicit return, expected [f32] but got [i32]
0000026: error: EndFunctionBody callback failed
50/50 tests passed.
;;; STDOUT ;;)
|
