diff options
Diffstat (limited to 'test/spec/multi-memory')
| -rw-r--r-- | test/spec/multi-memory/align.txt | 311 | ||||
| -rw-r--r-- | test/spec/multi-memory/binary.txt | 122 | ||||
| -rw-r--r-- | test/spec/multi-memory/imports.txt | 124 | ||||
| -rw-r--r-- | test/spec/multi-memory/memory.txt | 2 | ||||
| -rw-r--r-- | test/spec/multi-memory/memory_grow.txt | 38 |
5 files changed, 477 insertions, 120 deletions
diff --git a/test/spec/multi-memory/align.txt b/test/spec/multi-memory/align.txt new file mode 100644 index 00000000..803b6077 --- /dev/null +++ b/test/spec/multi-memory/align.txt @@ -0,0 +1,311 @@ +;;; TOOL: run-interp-spec +;;; STDIN_FILE: third_party/testsuite/proposals/multi-memory/align.wast +;;; ARGS*: --enable-multi-memory +(;; STDOUT ;;; +out/test/spec/multi-memory/align.wast:28: assert_malformed passed: + out/test/spec/multi-memory/align/align.23.wat:1:45: error: alignment must be power-of-two + (module (memory 0) (func (drop (i32.load8_s align=0 (i32.const 0))))) + ^^^^^^^ +out/test/spec/multi-memory/align.wast:34: assert_malformed passed: + out/test/spec/multi-memory/align/align.24.wat:1:45: error: alignment must be power-of-two + (module (memory 0) (func (drop (i32.load8_s align=7 (i32.const 0))))) + ^^^^^^^ +out/test/spec/multi-memory/align.wast:40: assert_malformed passed: + out/test/spec/multi-memory/align/align.25.wat:1:45: error: alignment must be power-of-two + (module (memory 0) (func (drop (i32.load8_u align=0 (i32.const 0))))) + ^^^^^^^ +out/test/spec/multi-memory/align.wast:46: assert_malformed passed: + out/test/spec/multi-memory/align/align.26.wat:1:45: error: alignment must be power-of-two + (module (memory 0) (func (drop (i32.load8_u align=7 (i32.const 0))))) + ^^^^^^^ +out/test/spec/multi-memory/align.wast:52: assert_malformed passed: + out/test/spec/multi-memory/align/align.27.wat:1:46: error: alignment must be power-of-two + (module (memory 0) (func (drop (i32.load16_s align=0 (i32.const 0))))) + ^^^^^^^ +out/test/spec/multi-memory/align.wast:58: assert_malformed passed: + out/test/spec/multi-memory/align/align.28.wat:1:46: error: alignment must be power-of-two + (module (memory 0) (func (drop (i32.load16_s align=7 (i32.const 0))))) + ^^^^^^^ +out/test/spec/multi-memory/align.wast:64: assert_malformed passed: + out/test/spec/multi-memory/align/align.29.wat:1:46: error: alignment must be power-of-two + (module (memory 0) (func (drop (i32.load16_u align=0 (i32.const 0))))) + ^^^^^^^ +out/test/spec/multi-memory/align.wast:70: assert_malformed passed: + out/test/spec/multi-memory/align/align.30.wat:1:46: error: alignment must be power-of-two + (module (memory 0) (func (drop (i32.load16_u align=7 (i32.const 0))))) + ^^^^^^^ +out/test/spec/multi-memory/align.wast:76: assert_malformed passed: + out/test/spec/multi-memory/align/align.31.wat:1:42: error: alignment must be power-of-two + (module (memory 0) (func (drop (i32.load align=0 (i32.const 0))))) + ^^^^^^^ +out/test/spec/multi-memory/align.wast:82: assert_malformed passed: + out/test/spec/multi-memory/align/align.32.wat:1:42: error: alignment must be power-of-two + (module (memory 0) (func (drop (i32.load align=7 (i32.const 0))))) + ^^^^^^^ +out/test/spec/multi-memory/align.wast:88: assert_malformed passed: + out/test/spec/multi-memory/align/align.33.wat:1:45: error: alignment must be power-of-two + (module (memory 0) (func (drop (i64.load8_s align=0 (i32.const 0))))) + ^^^^^^^ +out/test/spec/multi-memory/align.wast:94: assert_malformed passed: + out/test/spec/multi-memory/align/align.34.wat:1:45: error: alignment must be power-of-two + (module (memory 0) (func (drop (i64.load8_s align=7 (i32.const 0))))) + ^^^^^^^ +out/test/spec/multi-memory/align.wast:100: assert_malformed passed: + out/test/spec/multi-memory/align/align.35.wat:1:45: error: alignment must be power-of-two + (module (memory 0) (func (drop (i64.load8_u align=0 (i32.const 0))))) + ^^^^^^^ +out/test/spec/multi-memory/align.wast:106: assert_malformed passed: + out/test/spec/multi-memory/align/align.36.wat:1:45: error: alignment must be power-of-two + (module (memory 0) (func (drop (i64.load8_u align=7 (i32.const 0))))) + ^^^^^^^ +out/test/spec/multi-memory/align.wast:112: assert_malformed passed: + out/test/spec/multi-memory/align/align.37.wat:1:46: error: alignment must be power-of-two + (module (memory 0) (func (drop (i64.load16_s align=0 (i32.const 0))))) + ^^^^^^^ +out/test/spec/multi-memory/align.wast:118: assert_malformed passed: + out/test/spec/multi-memory/align/align.38.wat:1:46: error: alignment must be power-of-two + (module (memory 0) (func (drop (i64.load16_s align=7 (i32.const 0))))) + ^^^^^^^ +out/test/spec/multi-memory/align.wast:124: assert_malformed passed: + out/test/spec/multi-memory/align/align.39.wat:1:46: error: alignment must be power-of-two + (module (memory 0) (func (drop (i64.load16_u align=0 (i32.const 0))))) + ^^^^^^^ +out/test/spec/multi-memory/align.wast:130: assert_malformed passed: + out/test/spec/multi-memory/align/align.40.wat:1:46: error: alignment must be power-of-two + (module (memory 0) (func (drop (i64.load16_u align=7 (i32.const 0))))) + ^^^^^^^ +out/test/spec/multi-memory/align.wast:136: assert_malformed passed: + out/test/spec/multi-memory/align/align.41.wat:1:46: error: alignment must be power-of-two + (module (memory 0) (func (drop (i64.load32_s align=0 (i32.const 0))))) + ^^^^^^^ +out/test/spec/multi-memory/align.wast:142: assert_malformed passed: + out/test/spec/multi-memory/align/align.42.wat:1:46: error: alignment must be power-of-two + (module (memory 0) (func (drop (i64.load32_s align=7 (i32.const 0))))) + ^^^^^^^ +out/test/spec/multi-memory/align.wast:148: assert_malformed passed: + out/test/spec/multi-memory/align/align.43.wat:1:46: error: alignment must be power-of-two + (module (memory 0) (func (drop (i64.load32_u align=0 (i32.const 0))))) + ^^^^^^^ +out/test/spec/multi-memory/align.wast:154: assert_malformed passed: + out/test/spec/multi-memory/align/align.44.wat:1:46: error: alignment must be power-of-two + (module (memory 0) (func (drop (i64.load32_u align=7 (i32.const 0))))) + ^^^^^^^ +out/test/spec/multi-memory/align.wast:160: assert_malformed passed: + out/test/spec/multi-memory/align/align.45.wat:1:42: error: alignment must be power-of-two + (module (memory 0) (func (drop (i64.load align=0 (i32.const 0))))) + ^^^^^^^ +out/test/spec/multi-memory/align.wast:166: assert_malformed passed: + out/test/spec/multi-memory/align/align.46.wat:1:42: error: alignment must be power-of-two + (module (memory 0) (func (drop (i64.load align=7 (i32.const 0))))) + ^^^^^^^ +out/test/spec/multi-memory/align.wast:172: assert_malformed passed: + out/test/spec/multi-memory/align/align.47.wat:1:42: error: alignment must be power-of-two + (module (memory 0) (func (drop (f32.load align=0 (i32.const 0))))) + ^^^^^^^ +out/test/spec/multi-memory/align.wast:178: assert_malformed passed: + out/test/spec/multi-memory/align/align.48.wat:1:42: error: alignment must be power-of-two + (module (memory 0) (func (drop (f32.load align=7 (i32.const 0))))) + ^^^^^^^ +out/test/spec/multi-memory/align.wast:184: assert_malformed passed: + out/test/spec/multi-memory/align/align.49.wat:1:42: error: alignment must be power-of-two + (module (memory 0) (func (drop (f64.load align=0 (i32.const 0))))) + ^^^^^^^ +out/test/spec/multi-memory/align.wast:190: assert_malformed passed: + out/test/spec/multi-memory/align/align.50.wat:1:42: error: alignment must be power-of-two + (module (memory 0) (func (drop (f64.load align=7 (i32.const 0))))) + ^^^^^^^ +out/test/spec/multi-memory/align.wast:197: assert_malformed passed: + out/test/spec/multi-memory/align/align.51.wat:1:38: error: alignment must be power-of-two + (module (memory 0) (func (i32.store8 align=0 (i32.const 0) (i32.const 0)))) + ^^^^^^^ +out/test/spec/multi-memory/align.wast:203: assert_malformed passed: + out/test/spec/multi-memory/align/align.52.wat:1:38: error: alignment must be power-of-two + (module (memory 0) (func (i32.store8 align=7 (i32.const 0) (i32.const 0)))) + ^^^^^^^ +out/test/spec/multi-memory/align.wast:209: assert_malformed passed: + out/test/spec/multi-memory/align/align.53.wat:1:39: error: alignment must be power-of-two + (module (memory 0) (func (i32.store16 align=0 (i32.const 0) (i32.const 0)))) + ^^^^^^^ +out/test/spec/multi-memory/align.wast:215: assert_malformed passed: + out/test/spec/multi-memory/align/align.54.wat:1:39: error: alignment must be power-of-two + (module (memory 0) (func (i32.store16 align=7 (i32.const 0) (i32.const 0)))) + ^^^^^^^ +out/test/spec/multi-memory/align.wast:221: assert_malformed passed: + out/test/spec/multi-memory/align/align.55.wat:1:37: error: alignment must be power-of-two + (module (memory 0) (func (i32.store align=0 (i32.const 0) (i32.const 0)))) + ^^^^^^^ +out/test/spec/multi-memory/align.wast:227: assert_malformed passed: + out/test/spec/multi-memory/align/align.56.wat:1:37: error: alignment must be power-of-two + (module (memory 0) (func (i32.store align=7 (i32.const 0) (i32.const 0)))) + ^^^^^^^ +out/test/spec/multi-memory/align.wast:233: assert_malformed passed: + out/test/spec/multi-memory/align/align.57.wat:1:38: error: alignment must be power-of-two + (module (memory 0) (func (i64.store8 align=0 (i32.const 0) (i64.const 0)))) + ^^^^^^^ +out/test/spec/multi-memory/align.wast:239: assert_malformed passed: + out/test/spec/multi-memory/align/align.58.wat:1:38: error: alignment must be power-of-two + (module (memory 0) (func (i64.store8 align=7 (i32.const 0) (i64.const 0)))) + ^^^^^^^ +out/test/spec/multi-memory/align.wast:245: assert_malformed passed: + out/test/spec/multi-memory/align/align.59.wat:1:39: error: alignment must be power-of-two + (module (memory 0) (func (i64.store16 align=0 (i32.const 0) (i64.const 0)))) + ^^^^^^^ +out/test/spec/multi-memory/align.wast:251: assert_malformed passed: + out/test/spec/multi-memory/align/align.60.wat:1:39: error: alignment must be power-of-two + (module (memory 0) (func (i64.store16 align=7 (i32.const 0) (i64.const 0)))) + ^^^^^^^ +out/test/spec/multi-memory/align.wast:257: assert_malformed passed: + out/test/spec/multi-memory/align/align.61.wat:1:39: error: alignment must be power-of-two + (module (memory 0) (func (i64.store32 align=0 (i32.const 0) (i64.const 0)))) + ^^^^^^^ +out/test/spec/multi-memory/align.wast:263: assert_malformed passed: + out/test/spec/multi-memory/align/align.62.wat:1:39: error: alignment must be power-of-two + (module (memory 0) (func (i64.store32 align=7 (i32.const 0) (i64.const 0)))) + ^^^^^^^ +out/test/spec/multi-memory/align.wast:269: assert_malformed passed: + out/test/spec/multi-memory/align/align.63.wat:1:37: error: alignment must be power-of-two + (module (memory 0) (func (i64.store align=0 (i32.const 0) (i64.const 0)))) + ^^^^^^^ +out/test/spec/multi-memory/align.wast:275: assert_malformed passed: + out/test/spec/multi-memory/align/align.64.wat:1:37: error: alignment must be power-of-two + (module (memory 0) (func (i64.store align=7 (i32.const 0) (i64.const 0)))) + ^^^^^^^ +out/test/spec/multi-memory/align.wast:281: assert_malformed passed: + out/test/spec/multi-memory/align/align.65.wat:1:37: error: alignment must be power-of-two + (module (memory 0) (func (f32.store align=0 (i32.const 0) (f32.const 0)))) + ^^^^^^^ +out/test/spec/multi-memory/align.wast:287: assert_malformed passed: + out/test/spec/multi-memory/align/align.66.wat:1:37: error: alignment must be power-of-two + (module (memory 0) (func (f32.store align=7 (i32.const 0) (f32.const 0)))) + ^^^^^^^ +out/test/spec/multi-memory/align.wast:293: assert_malformed passed: + out/test/spec/multi-memory/align/align.67.wat:1:37: error: alignment must be power-of-two + (module (memory 0) (func (f64.store align=0 (i32.const 0) (f32.const 0)))) + ^^^^^^^ +out/test/spec/multi-memory/align.wast:299: assert_malformed passed: + out/test/spec/multi-memory/align/align.68.wat:1:37: error: alignment must be power-of-two + (module (memory 0) (func (f64.store align=7 (i32.const 0) (f32.const 0)))) + ^^^^^^^ +out/test/spec/multi-memory/align.wast:306: assert_invalid passed: + out/test/spec/multi-memory/align/align.69.wasm:0000021: error: alignment must not be larger than natural alignment (1) + 0000021: error: OnLoadExpr callback failed +out/test/spec/multi-memory/align.wast:310: assert_invalid passed: + out/test/spec/multi-memory/align/align.70.wasm:0000021: error: alignment must not be larger than natural alignment (1) + 0000021: error: OnLoadExpr callback failed +out/test/spec/multi-memory/align.wast:314: assert_invalid passed: + out/test/spec/multi-memory/align/align.71.wasm:0000021: error: alignment must not be larger than natural alignment (2) + 0000021: error: OnLoadExpr callback failed +out/test/spec/multi-memory/align.wast:318: assert_invalid passed: + out/test/spec/multi-memory/align/align.72.wasm:0000021: error: alignment must not be larger than natural alignment (2) + 0000021: error: OnLoadExpr callback failed +out/test/spec/multi-memory/align.wast:322: assert_invalid passed: + out/test/spec/multi-memory/align/align.73.wasm:0000021: error: alignment must not be larger than natural alignment (4) + 0000021: error: OnLoadExpr callback failed +out/test/spec/multi-memory/align.wast:326: assert_invalid passed: + out/test/spec/multi-memory/align/align.74.wasm:0000021: error: alignment must not be larger than natural alignment (1) + 0000021: error: OnLoadExpr callback failed +out/test/spec/multi-memory/align.wast:330: assert_invalid passed: + out/test/spec/multi-memory/align/align.75.wasm:0000021: error: alignment must not be larger than natural alignment (1) + 0000021: error: OnLoadExpr callback failed +out/test/spec/multi-memory/align.wast:334: assert_invalid passed: + out/test/spec/multi-memory/align/align.76.wasm:0000021: error: alignment must not be larger than natural alignment (2) + 0000021: error: OnLoadExpr callback failed +out/test/spec/multi-memory/align.wast:338: assert_invalid passed: + out/test/spec/multi-memory/align/align.77.wasm:0000021: error: alignment must not be larger than natural alignment (2) + 0000021: error: OnLoadExpr callback failed +out/test/spec/multi-memory/align.wast:342: assert_invalid passed: + out/test/spec/multi-memory/align/align.78.wasm:0000021: error: alignment must not be larger than natural alignment (4) + 0000021: error: OnLoadExpr callback failed +out/test/spec/multi-memory/align.wast:346: assert_invalid passed: + out/test/spec/multi-memory/align/align.79.wasm:0000021: error: alignment must not be larger than natural alignment (4) + 0000021: error: OnLoadExpr callback failed +out/test/spec/multi-memory/align.wast:350: assert_invalid passed: + out/test/spec/multi-memory/align/align.80.wasm:0000021: error: alignment must not be larger than natural alignment (8) + 0000021: error: OnLoadExpr callback failed +out/test/spec/multi-memory/align.wast:354: assert_invalid passed: + out/test/spec/multi-memory/align/align.81.wasm:0000021: error: alignment must not be larger than natural alignment (4) + 0000021: error: OnLoadExpr callback failed +out/test/spec/multi-memory/align.wast:358: assert_invalid passed: + out/test/spec/multi-memory/align/align.82.wasm:0000021: error: alignment must not be larger than natural alignment (8) + 0000021: error: OnLoadExpr callback failed +out/test/spec/multi-memory/align.wast:363: assert_invalid passed: + out/test/spec/multi-memory/align/align.83.wasm:0000021: error: alignment must not be larger than natural alignment (1) + 0000021: error: OnLoadExpr callback failed +out/test/spec/multi-memory/align.wast:367: assert_invalid passed: + out/test/spec/multi-memory/align/align.84.wasm:0000021: error: alignment must not be larger than natural alignment (1) + 0000021: error: OnLoadExpr callback failed +out/test/spec/multi-memory/align.wast:371: assert_invalid passed: + out/test/spec/multi-memory/align/align.85.wasm:0000021: error: alignment must not be larger than natural alignment (2) + 0000021: error: OnLoadExpr callback failed +out/test/spec/multi-memory/align.wast:375: assert_invalid passed: + out/test/spec/multi-memory/align/align.86.wasm:0000021: error: alignment must not be larger than natural alignment (2) + 0000021: error: OnLoadExpr callback failed +out/test/spec/multi-memory/align.wast:379: assert_invalid passed: + out/test/spec/multi-memory/align/align.87.wasm:0000021: error: alignment must not be larger than natural alignment (4) + 0000021: error: OnLoadExpr callback failed +out/test/spec/multi-memory/align.wast:383: assert_invalid passed: + out/test/spec/multi-memory/align/align.88.wasm:0000021: error: alignment must not be larger than natural alignment (1) + 0000021: error: OnLoadExpr callback failed +out/test/spec/multi-memory/align.wast:387: assert_invalid passed: + out/test/spec/multi-memory/align/align.89.wasm:0000021: error: alignment must not be larger than natural alignment (1) + 0000021: error: OnLoadExpr callback failed +out/test/spec/multi-memory/align.wast:391: assert_invalid passed: + out/test/spec/multi-memory/align/align.90.wasm:0000021: error: alignment must not be larger than natural alignment (2) + 0000021: error: OnLoadExpr callback failed +out/test/spec/multi-memory/align.wast:395: assert_invalid passed: + out/test/spec/multi-memory/align/align.91.wasm:0000021: error: alignment must not be larger than natural alignment (2) + 0000021: error: OnLoadExpr callback failed +out/test/spec/multi-memory/align.wast:399: assert_invalid passed: + out/test/spec/multi-memory/align/align.92.wasm:0000021: error: alignment must not be larger than natural alignment (4) + 0000021: error: OnLoadExpr callback failed +out/test/spec/multi-memory/align.wast:403: assert_invalid passed: + out/test/spec/multi-memory/align/align.93.wasm:0000021: error: alignment must not be larger than natural alignment (4) + 0000021: error: OnLoadExpr callback failed +out/test/spec/multi-memory/align.wast:407: assert_invalid passed: + out/test/spec/multi-memory/align/align.94.wasm:0000021: error: alignment must not be larger than natural alignment (8) + 0000021: error: OnLoadExpr callback failed +out/test/spec/multi-memory/align.wast:411: assert_invalid passed: + out/test/spec/multi-memory/align/align.95.wasm:0000021: error: alignment must not be larger than natural alignment (4) + 0000021: error: OnLoadExpr callback failed +out/test/spec/multi-memory/align.wast:415: assert_invalid passed: + out/test/spec/multi-memory/align/align.96.wasm:0000021: error: alignment must not be larger than natural alignment (8) + 0000021: error: OnLoadExpr callback failed +out/test/spec/multi-memory/align.wast:420: assert_invalid passed: + out/test/spec/multi-memory/align/align.97.wasm:0000023: error: alignment must not be larger than natural alignment (1) + 0000023: error: OnStoreExpr callback failed +out/test/spec/multi-memory/align.wast:424: assert_invalid passed: + out/test/spec/multi-memory/align/align.98.wasm:0000023: error: alignment must not be larger than natural alignment (2) + 0000023: error: OnStoreExpr callback failed +out/test/spec/multi-memory/align.wast:428: assert_invalid passed: + out/test/spec/multi-memory/align/align.99.wasm:0000023: error: alignment must not be larger than natural alignment (4) + 0000023: error: OnStoreExpr callback failed +out/test/spec/multi-memory/align.wast:432: assert_invalid passed: + out/test/spec/multi-memory/align/align.100.wasm:0000023: error: alignment must not be larger than natural alignment (1) + 0000023: error: OnStoreExpr callback failed +out/test/spec/multi-memory/align.wast:436: assert_invalid passed: + out/test/spec/multi-memory/align/align.101.wasm:0000023: error: alignment must not be larger than natural alignment (2) + 0000023: error: OnStoreExpr callback failed +out/test/spec/multi-memory/align.wast:440: assert_invalid passed: + out/test/spec/multi-memory/align/align.102.wasm:0000023: error: alignment must not be larger than natural alignment (4) + 0000023: error: OnStoreExpr callback failed +out/test/spec/multi-memory/align.wast:444: assert_invalid passed: + out/test/spec/multi-memory/align/align.103.wasm:0000023: error: alignment must not be larger than natural alignment (8) + 0000023: error: OnStoreExpr callback failed +out/test/spec/multi-memory/align.wast:448: assert_invalid passed: + out/test/spec/multi-memory/align/align.104.wasm:0000026: error: alignment must not be larger than natural alignment (4) + 0000026: error: OnStoreExpr callback failed +out/test/spec/multi-memory/align.wast:452: assert_invalid passed: + out/test/spec/multi-memory/align/align.105.wasm:000002a: error: alignment must not be larger than natural alignment (8) + 000002a: error: OnStoreExpr callback failed +out/test/spec/multi-memory/align.wast:864: assert_trap passed: out of bounds memory access: access at 65532+8 >= max value 65536 +out/test/spec/multi-memory/align.wast:873: assert_invalid passed: + out/test/spec/multi-memory/align/align.108.wasm:0000021: error: alignment must not be larger than natural alignment (4) + 0000021: error: OnLoadExpr callback failed +out/test/spec/multi-memory/align.wast:892: assert_invalid passed: + 0000020: error: invalid load alignment: 32 +out/test/spec/multi-memory/align.wast:911: assert_invalid passed: + 0000020: error: invalid load alignment: 33 +out/test/spec/multi-memory/align.wast:930: assert_invalid passed: + 0000020: error: invalid load alignment: 63 +160/160 tests passed. +;;; STDOUT ;;) diff --git a/test/spec/multi-memory/binary.txt b/test/spec/multi-memory/binary.txt index 4aa49b81..d88e22f5 100644 --- a/test/spec/multi-memory/binary.txt +++ b/test/spec/multi-memory/binary.txt @@ -94,79 +94,125 @@ out/test/spec/multi-memory/binary.wast:240: assert_malformed passed: 0000015: error: function signature count != function body count out/test/spec/multi-memory/binary.wast:263: assert_malformed passed: 000000e: error: data segment count does not equal count in DataCount section -out/test/spec/multi-memory/binary.wast:273: assert_malformed passed: +out/test/spec/multi-memory/binary.wast:275: assert_malformed passed: 000000e: error: data segment count does not equal count in DataCount section -out/test/spec/multi-memory/binary.wast:283: assert_malformed passed: +out/test/spec/multi-memory/binary.wast:287: assert_malformed passed: + 0000010: error: Data section missing but DataCount non-zero +out/test/spec/multi-memory/binary.wast:303: assert_malformed passed: 0000024: error: memory.init requires data count section -out/test/spec/multi-memory/binary.wast:305: assert_malformed passed: +out/test/spec/multi-memory/binary.wast:326: assert_malformed passed: 000001e: error: data.drop requires data count section -out/test/spec/multi-memory/binary.wast:324: assert_malformed passed: +out/test/spec/multi-memory/binary.wast:346: assert_malformed passed: 0000024: error: unexpected opcode: 0xf3 -out/test/spec/multi-memory/binary.wast:350: assert_malformed passed: +out/test/spec/multi-memory/binary.wast:374: assert_malformed passed: 0000022: error: table elem type must be a reference type -out/test/spec/multi-memory/binary.wast:431: assert_malformed passed: +out/test/spec/multi-memory/binary.wast:459: assert_malformed passed: 000000a: error: invalid section size: extends past end -out/test/spec/multi-memory/binary.wast:442: assert_malformed passed: +out/test/spec/multi-memory/binary.wast:470: assert_malformed passed: 000000e: error: unfinished section (expected end: 0x11) -out/test/spec/multi-memory/binary.wast:461: assert_malformed passed: +out/test/spec/multi-memory/binary.wast:489: assert_malformed passed: 000000e: error: invalid import tag kind: exceptions not allowed -out/test/spec/multi-memory/binary.wast:471: assert_malformed passed: +out/test/spec/multi-memory/binary.wast:499: assert_malformed passed: 000000e: error: invalid import tag kind: exceptions not allowed -out/test/spec/multi-memory/binary.wast:482: assert_malformed passed: +out/test/spec/multi-memory/binary.wast:510: assert_malformed passed: 000000e: error: malformed import kind: 5 -out/test/spec/multi-memory/binary.wast:492: assert_malformed passed: +out/test/spec/multi-memory/binary.wast:520: assert_malformed passed: 000000e: error: malformed import kind: 5 -out/test/spec/multi-memory/binary.wast:503: assert_malformed passed: +out/test/spec/multi-memory/binary.wast:531: assert_malformed passed: 000000e: error: malformed import kind: 128 -out/test/spec/multi-memory/binary.wast:513: assert_malformed passed: +out/test/spec/multi-memory/binary.wast:541: assert_malformed passed: 000000e: error: malformed import kind: 128 -out/test/spec/multi-memory/binary.wast:526: assert_malformed passed: +out/test/spec/multi-memory/binary.wast:554: assert_malformed passed: 0000027: error: unable to read u32 leb128: string length -out/test/spec/multi-memory/binary.wast:545: assert_malformed passed: +out/test/spec/multi-memory/binary.wast:573: assert_malformed passed: 000002b: error: unfinished section (expected end: 0x40) -out/test/spec/multi-memory/binary.wast:576: assert_malformed passed: +out/test/spec/multi-memory/binary.wast:604: assert_malformed passed: 000000b: error: invalid table count 1, only 0 bytes left in section -out/test/spec/multi-memory/binary.wast:586: assert_malformed passed: +out/test/spec/multi-memory/binary.wast:614: assert_malformed passed: 000000d: error: tables may not be shared -out/test/spec/multi-memory/binary.wast:595: assert_malformed passed: +out/test/spec/multi-memory/binary.wast:623: assert_malformed passed: 000000d: error: tables may not be shared -out/test/spec/multi-memory/binary.wast:605: assert_malformed passed: +out/test/spec/multi-memory/binary.wast:633: assert_malformed passed: 000000d: error: malformed table limits flag: 129 -out/test/spec/multi-memory/binary.wast:623: assert_malformed passed: +out/test/spec/multi-memory/binary.wast:651: assert_malformed passed: 000000b: error: invalid memory count 1, only 0 bytes left in section -out/test/spec/multi-memory/binary.wast:633: assert_malformed passed: +out/test/spec/multi-memory/binary.wast:661: assert_malformed passed: 000000c: error: memory may not be shared: threads not allowed -out/test/spec/multi-memory/binary.wast:641: assert_malformed passed: +out/test/spec/multi-memory/binary.wast:669: assert_malformed passed: 000000c: error: memory may not be shared: threads not allowed -out/test/spec/multi-memory/binary.wast:650: assert_malformed passed: +out/test/spec/multi-memory/binary.wast:678: assert_malformed passed: 000000c: error: malformed memory limits flag: 129 -out/test/spec/multi-memory/binary.wast:659: assert_malformed passed: +out/test/spec/multi-memory/binary.wast:687: assert_malformed passed: 000000c: error: malformed memory limits flag: 129 -out/test/spec/multi-memory/binary.wast:676: assert_malformed passed: +out/test/spec/multi-memory/binary.wast:704: assert_malformed passed: 0000010: error: unable to read i32 leb128: global type -out/test/spec/multi-memory/binary.wast:687: assert_malformed passed: +out/test/spec/multi-memory/binary.wast:715: assert_malformed passed: 0000010: error: unfinished section (expected end: 0x15) -out/test/spec/multi-memory/binary.wast:710: assert_malformed passed: +out/test/spec/multi-memory/binary.wast:738: assert_malformed passed: 000001b: error: unable to read u32 leb128: string length -out/test/spec/multi-memory/binary.wast:731: assert_malformed passed: +out/test/spec/multi-memory/binary.wast:759: assert_malformed passed: 000001b: error: unfinished section (expected end: 0x20) -out/test/spec/multi-memory/binary.wast:765: assert_malformed passed: +out/test/spec/multi-memory/binary.wast:793: assert_malformed passed: 0000021: error: unable to read u32 leb128: elem segment flags -out/test/spec/multi-memory/binary.wast:781: assert_malformed passed: +out/test/spec/multi-memory/binary.wast:809: assert_malformed passed: 0000024: error: init expression must end with END opcode -out/test/spec/multi-memory/binary.wast:798: assert_malformed passed: +out/test/spec/multi-memory/binary.wast:826: assert_malformed passed: 0000021: error: unfinished section (expected end: 0x27) -out/test/spec/multi-memory/binary.wast:824: assert_malformed passed: +out/test/spec/multi-memory/binary.wast:852: assert_malformed passed: 0000016: error: unable to read u32 leb128: data segment flags -out/test/spec/multi-memory/binary.wast:837: assert_malformed passed: +out/test/spec/multi-memory/binary.wast:865: assert_malformed passed: 0000016: error: unfinished section (expected end: 0x1c) -out/test/spec/multi-memory/binary.wast:850: assert_malformed passed: +out/test/spec/multi-memory/binary.wast:878: assert_malformed passed: 0000015: error: unable to read data: data segment data -out/test/spec/multi-memory/binary.wast:864: assert_malformed passed: +out/test/spec/multi-memory/binary.wast:892: assert_malformed passed: 000001a: error: unfinished section (expected end: 0x1b) -out/test/spec/multi-memory/binary.wast:895: assert_malformed passed: +out/test/spec/multi-memory/binary.wast:923: assert_malformed passed: 0000048: error: function body must end with END opcode -out/test/spec/multi-memory/binary.wast:942: assert_malformed passed: +out/test/spec/multi-memory/binary.wast:970: assert_malformed passed: 0000017: error: multiple Start sections -102/102 tests passed. +out/test/spec/multi-memory/binary.wast:987: assert_malformed passed: + 0000014: error: multiple Function sections +out/test/spec/multi-memory/binary.wast:999: assert_malformed passed: + 0000016: error: function signature count != function body count +out/test/spec/multi-memory/binary.wast:1011: assert_malformed passed: + 000000d: error: multiple DataCount sections +out/test/spec/multi-memory/binary.wast:1021: assert_malformed passed: + 000000d: error: multiple Data sections +out/test/spec/multi-memory/binary.wast:1031: assert_malformed passed: + 000000d: error: multiple Global sections +out/test/spec/multi-memory/binary.wast:1041: assert_malformed passed: + 000000d: error: multiple Export sections +out/test/spec/multi-memory/binary.wast:1051: assert_malformed passed: + 000000d: error: multiple Table sections +out/test/spec/multi-memory/binary.wast:1061: assert_malformed passed: + 000000d: error: multiple Elem sections +out/test/spec/multi-memory/binary.wast:1071: assert_malformed passed: + 000000d: error: multiple Import sections +out/test/spec/multi-memory/binary.wast:1081: assert_malformed passed: + 000000d: error: multiple Type sections +out/test/spec/multi-memory/binary.wast:1091: assert_malformed passed: + 000000d: error: multiple Memory sections +out/test/spec/multi-memory/binary.wast:1101: assert_malformed passed: + 000000d: error: section Type out of order +out/test/spec/multi-memory/binary.wast:1111: assert_malformed passed: + 000000d: error: section Import out of order +out/test/spec/multi-memory/binary.wast:1121: assert_malformed passed: + 000000d: error: section Function out of order +out/test/spec/multi-memory/binary.wast:1131: assert_malformed passed: + 000000d: error: section Table out of order +out/test/spec/multi-memory/binary.wast:1141: assert_malformed passed: + 000000d: error: section Memory out of order +out/test/spec/multi-memory/binary.wast:1151: assert_malformed passed: + 000000d: error: section Global out of order +out/test/spec/multi-memory/binary.wast:1161: assert_malformed passed: + 0000011: error: section Export out of order +out/test/spec/multi-memory/binary.wast:1172: assert_malformed passed: + 0000011: error: section Start out of order +out/test/spec/multi-memory/binary.wast:1183: assert_malformed passed: + 000000d: error: section Elem out of order +out/test/spec/multi-memory/binary.wast:1193: assert_malformed passed: + 000000d: error: section DataCount out of order +out/test/spec/multi-memory/binary.wast:1203: assert_malformed passed: + 000000d: error: section Code out of order +126/126 tests passed. ;;; STDOUT ;;) diff --git a/test/spec/multi-memory/imports.txt b/test/spec/multi-memory/imports.txt index f06588ae..f5267d49 100644 --- a/test/spec/multi-memory/imports.txt +++ b/test/spec/multi-memory/imports.txt @@ -112,125 +112,125 @@ out/test/spec/multi-memory/imports.wast:360: assert_trap passed: undefined table out/test/spec/multi-memory/imports.wast:375: assert_trap passed: uninitialized table element out/test/spec/multi-memory/imports.wast:378: assert_trap passed: uninitialized table element out/test/spec/multi-memory/imports.wast:379: assert_trap passed: undefined table index -out/test/spec/multi-memory/imports.wast:411: assert_unlinkable passed: +out/test/spec/multi-memory/imports.wast:410: assert_unlinkable passed: error: invalid import "test.unknown" -out/test/spec/multi-memory/imports.wast:415: assert_unlinkable passed: +out/test/spec/multi-memory/imports.wast:414: assert_unlinkable passed: error: invalid import "spectest.unknown" -out/test/spec/multi-memory/imports.wast:420: assert_unlinkable passed: +out/test/spec/multi-memory/imports.wast:419: assert_unlinkable passed: error: actual size (10) smaller than declared (12) -out/test/spec/multi-memory/imports.wast:424: assert_unlinkable passed: +out/test/spec/multi-memory/imports.wast:423: assert_unlinkable passed: error: max size (unspecified) larger than declared (20) -out/test/spec/multi-memory/imports.wast:428: assert_unlinkable passed: +out/test/spec/multi-memory/imports.wast:427: assert_unlinkable passed: error: actual size (10) smaller than declared (12) -out/test/spec/multi-memory/imports.wast:432: assert_unlinkable passed: +out/test/spec/multi-memory/imports.wast:431: assert_unlinkable passed: error: max size (20) larger than declared (18) -out/test/spec/multi-memory/imports.wast:436: assert_unlinkable passed: +out/test/spec/multi-memory/imports.wast:435: assert_unlinkable passed: error: actual size (10) smaller than declared (12) -out/test/spec/multi-memory/imports.wast:440: assert_unlinkable passed: +out/test/spec/multi-memory/imports.wast:439: assert_unlinkable passed: error: max size (20) larger than declared (15) -out/test/spec/multi-memory/imports.wast:445: assert_unlinkable passed: +out/test/spec/multi-memory/imports.wast:444: assert_unlinkable passed: error: expected import "test.func" to have kind table, not func -out/test/spec/multi-memory/imports.wast:449: assert_unlinkable passed: +out/test/spec/multi-memory/imports.wast:448: assert_unlinkable passed: error: expected import "test.global-i32" to have kind table, not global -out/test/spec/multi-memory/imports.wast:453: assert_unlinkable passed: +out/test/spec/multi-memory/imports.wast:452: assert_unlinkable passed: error: expected import "test.memory-2-inf" to have kind table, not memory -out/test/spec/multi-memory/imports.wast:457: assert_unlinkable passed: +out/test/spec/multi-memory/imports.wast:456: assert_unlinkable passed: error: expected import "spectest.print_i32" to have kind table, not func -out/test/spec/multi-memory/imports.wast:475: assert_trap passed: out of bounds memory access: access at 1000000+4 >= max value 65536 -out/test/spec/multi-memory/imports.wast:486: assert_trap passed: out of bounds memory access: access at 1000000+4 >= max value 65536 -out/test/spec/multi-memory/imports.wast:499: assert_unlinkable passed: +out/test/spec/multi-memory/imports.wast:474: assert_trap passed: out of bounds memory access: access at 1000000+4 >= max value 65536 +out/test/spec/multi-memory/imports.wast:485: assert_trap passed: out of bounds memory access: access at 1000000+4 >= max value 65536 +out/test/spec/multi-memory/imports.wast:498: assert_unlinkable passed: error: invalid import "test.unknown" -out/test/spec/multi-memory/imports.wast:503: assert_unlinkable passed: +out/test/spec/multi-memory/imports.wast:502: assert_unlinkable passed: error: invalid import "spectest.unknown" -out/test/spec/multi-memory/imports.wast:508: assert_unlinkable passed: +out/test/spec/multi-memory/imports.wast:507: assert_unlinkable passed: error: actual size (2) smaller than declared (3) -out/test/spec/multi-memory/imports.wast:512: assert_unlinkable passed: +out/test/spec/multi-memory/imports.wast:511: assert_unlinkable passed: error: max size (unspecified) larger than declared (3) -out/test/spec/multi-memory/imports.wast:516: assert_unlinkable passed: +out/test/spec/multi-memory/imports.wast:515: assert_unlinkable passed: error: actual size (1) smaller than declared (2) -out/test/spec/multi-memory/imports.wast:520: assert_unlinkable passed: +out/test/spec/multi-memory/imports.wast:519: assert_unlinkable passed: error: max size (2) larger than declared (1) -out/test/spec/multi-memory/imports.wast:525: assert_unlinkable passed: +out/test/spec/multi-memory/imports.wast:524: assert_unlinkable passed: error: expected import "test.func-i32" to have kind memory, not func -out/test/spec/multi-memory/imports.wast:529: assert_unlinkable passed: +out/test/spec/multi-memory/imports.wast:528: assert_unlinkable passed: error: expected import "test.global-i32" to have kind memory, not global -out/test/spec/multi-memory/imports.wast:533: assert_unlinkable passed: +out/test/spec/multi-memory/imports.wast:532: assert_unlinkable passed: error: expected import "test.table-10-inf" to have kind memory, not table -out/test/spec/multi-memory/imports.wast:537: assert_unlinkable passed: +out/test/spec/multi-memory/imports.wast:536: assert_unlinkable passed: error: expected import "spectest.print_i32" to have kind memory, not func -out/test/spec/multi-memory/imports.wast:541: assert_unlinkable passed: +out/test/spec/multi-memory/imports.wast:540: assert_unlinkable passed: error: expected import "spectest.global_i32" to have kind memory, not global -out/test/spec/multi-memory/imports.wast:545: assert_unlinkable passed: +out/test/spec/multi-memory/imports.wast:544: assert_unlinkable passed: error: expected import "spectest.table" to have kind memory, not table -out/test/spec/multi-memory/imports.wast:550: assert_unlinkable passed: +out/test/spec/multi-memory/imports.wast:549: assert_unlinkable passed: error: actual size (1) smaller than declared (2) -out/test/spec/multi-memory/imports.wast:554: assert_unlinkable passed: +out/test/spec/multi-memory/imports.wast:553: assert_unlinkable passed: error: max size (2) larger than declared (1) -out/test/spec/multi-memory/imports.wast:592: assert_malformed passed: - out/test/spec/multi-memory/imports/imports.124.wat:1:9: error: imports must occur before all non-import definitions +out/test/spec/multi-memory/imports.wast:571: assert_malformed passed: + out/test/spec/multi-memory/imports/imports.121.wat:1:9: error: imports must occur before all non-import definitions (func) (import "" "" (func)) ^^^^^^ -out/test/spec/multi-memory/imports.wast:596: assert_malformed passed: - out/test/spec/multi-memory/imports/imports.125.wat:1:9: error: imports must occur before all non-import definitions +out/test/spec/multi-memory/imports.wast:575: assert_malformed passed: + out/test/spec/multi-memory/imports/imports.122.wat:1:9: error: imports must occur before all non-import definitions (func) (import "" "" (global i64)) ^^^^^^ -out/test/spec/multi-memory/imports.wast:600: assert_malformed passed: - out/test/spec/multi-memory/imports/imports.126.wat:1:9: error: imports must occur before all non-import definitions +out/test/spec/multi-memory/imports.wast:579: assert_malformed passed: + out/test/spec/multi-memory/imports/imports.123.wat:1:9: error: imports must occur before all non-import definitions (func) (import "" "" (table 0 funcref)) ^^^^^^ -out/test/spec/multi-memory/imports.wast:604: assert_malformed passed: - out/test/spec/multi-memory/imports/imports.127.wat:1:9: error: imports must occur before all non-import definitions +out/test/spec/multi-memory/imports.wast:583: assert_malformed passed: + out/test/spec/multi-memory/imports/imports.124.wat:1:9: error: imports must occur before all non-import definitions (func) (import "" "" (memory 0)) ^^^^^^ -out/test/spec/multi-memory/imports.wast:609: assert_malformed passed: - out/test/spec/multi-memory/imports/imports.128.wat:1:29: error: imports must occur before all non-import definitions +out/test/spec/multi-memory/imports.wast:588: assert_malformed passed: + out/test/spec/multi-memory/imports/imports.125.wat:1:29: error: imports must occur before all non-import definitions (global i64 (i64.const 0)) (import "" "" (func)) ^^^^^^ -out/test/spec/multi-memory/imports.wast:613: assert_malformed passed: - out/test/spec/multi-memory/imports/imports.129.wat:1:29: error: imports must occur before all non-import definitions +out/test/spec/multi-memory/imports.wast:592: assert_malformed passed: + out/test/spec/multi-memory/imports/imports.126.wat:1:29: error: imports must occur before all non-import definitions (global i64 (i64.const 0)) (import "" "" (global f32)) ^^^^^^ -out/test/spec/multi-memory/imports.wast:617: assert_malformed passed: - out/test/spec/multi-memory/imports/imports.130.wat:1:29: error: imports must occur before all non-import definitions +out/test/spec/multi-memory/imports.wast:596: assert_malformed passed: + out/test/spec/multi-memory/imports/imports.127.wat:1:29: error: imports must occur before all non-import definitions (global i64 (i64.const 0)) (import "" "" (table 0 funcref)) ^^^^^^ -out/test/spec/multi-memory/imports.wast:621: assert_malformed passed: - out/test/spec/multi-memory/imports/imports.131.wat:1:29: error: imports must occur before all non-import definitions +out/test/spec/multi-memory/imports.wast:600: assert_malformed passed: + out/test/spec/multi-memory/imports/imports.128.wat:1:29: error: imports must occur before all non-import definitions (global i64 (i64.const 0)) (import "" "" (memory 0)) ^^^^^^ -out/test/spec/multi-memory/imports.wast:626: assert_malformed passed: - out/test/spec/multi-memory/imports/imports.132.wat:1:20: error: imports must occur before all non-import definitions +out/test/spec/multi-memory/imports.wast:605: assert_malformed passed: + out/test/spec/multi-memory/imports/imports.129.wat:1:20: error: imports must occur before all non-import definitions (table 0 funcref) (import "" "" (func)) ^^^^^^ -out/test/spec/multi-memory/imports.wast:630: assert_malformed passed: - out/test/spec/multi-memory/imports/imports.133.wat:1:20: error: imports must occur before all non-import definitions +out/test/spec/multi-memory/imports.wast:609: assert_malformed passed: + out/test/spec/multi-memory/imports/imports.130.wat:1:20: error: imports must occur before all non-import definitions (table 0 funcref) (import "" "" (global i32)) ^^^^^^ -out/test/spec/multi-memory/imports.wast:634: assert_malformed passed: - out/test/spec/multi-memory/imports/imports.134.wat:1:20: error: imports must occur before all non-import definitions +out/test/spec/multi-memory/imports.wast:613: assert_malformed passed: + out/test/spec/multi-memory/imports/imports.131.wat:1:20: error: imports must occur before all non-import definitions (table 0 funcref) (import "" "" (table 0 funcref)) ^^^^^^ -out/test/spec/multi-memory/imports.wast:638: assert_malformed passed: - out/test/spec/multi-memory/imports/imports.135.wat:1:20: error: imports must occur before all non-import definitions +out/test/spec/multi-memory/imports.wast:617: assert_malformed passed: + out/test/spec/multi-memory/imports/imports.132.wat:1:20: error: imports must occur before all non-import definitions (table 0 funcref) (import "" "" (memory 0)) ^^^^^^ -out/test/spec/multi-memory/imports.wast:643: assert_malformed passed: - out/test/spec/multi-memory/imports/imports.136.wat:1:13: error: imports must occur before all non-import definitions +out/test/spec/multi-memory/imports.wast:622: assert_malformed passed: + out/test/spec/multi-memory/imports/imports.133.wat:1:13: error: imports must occur before all non-import definitions (memory 0) (import "" "" (func)) ^^^^^^ -out/test/spec/multi-memory/imports.wast:647: assert_malformed passed: - out/test/spec/multi-memory/imports/imports.137.wat:1:13: error: imports must occur before all non-import definitions +out/test/spec/multi-memory/imports.wast:626: assert_malformed passed: + out/test/spec/multi-memory/imports/imports.134.wat:1:13: error: imports must occur before all non-import definitions (memory 0) (import "" "" (global i32)) ^^^^^^ -out/test/spec/multi-memory/imports.wast:651: assert_malformed passed: - out/test/spec/multi-memory/imports/imports.138.wat:1:13: error: imports must occur before all non-import definitions +out/test/spec/multi-memory/imports.wast:630: assert_malformed passed: + out/test/spec/multi-memory/imports/imports.135.wat:1:13: error: imports must occur before all non-import definitions (memory 0) (import "" "" (table 1 3 funcref)) ^^^^^^ -out/test/spec/multi-memory/imports.wast:655: assert_malformed passed: - out/test/spec/multi-memory/imports/imports.139.wat:1:13: error: imports must occur before all non-import definitions +out/test/spec/multi-memory/imports.wast:634: assert_malformed passed: + out/test/spec/multi-memory/imports/imports.136.wat:1:13: error: imports must occur before all non-import definitions (memory 0) (import "" "" (memory 1 2)) ^^^^^^ -out/test/spec/multi-memory/imports.wast:665: assert_unlinkable passed: +out/test/spec/multi-memory/imports.wast:644: assert_unlinkable passed: error: invalid import "not wasm.overloaded" -179/179 tests passed. +173/173 tests passed. ;;; STDOUT ;;) diff --git a/test/spec/multi-memory/memory.txt b/test/spec/multi-memory/memory.txt index ece4f5eb..2b62787b 100644 --- a/test/spec/multi-memory/memory.txt +++ b/test/spec/multi-memory/memory.txt @@ -77,5 +77,5 @@ out/test/spec/multi-memory/memory.wast:236: assert_malformed passed: out/test/spec/multi-memory/memory/memory.31.wat:1:32: error: redefinition of memory "$foo" (import "" "" (memory $foo 1))(import "" "" (memory $foo 1)) ^^^^^^ -77/77 tests passed. +86/86 tests passed. ;;; STDOUT ;;) diff --git a/test/spec/multi-memory/memory_grow.txt b/test/spec/multi-memory/memory_grow.txt index 8cf6e02c..4e082ccc 100644 --- a/test/spec/multi-memory/memory_grow.txt +++ b/test/spec/multi-memory/memory_grow.txt @@ -9,32 +9,32 @@ out/test/spec/multi-memory/memory_grow.wast:89: assert_trap passed: out of bound out/test/spec/multi-memory/memory_grow.wast:95: assert_trap passed: out of bounds memory access: access at 65536+4 >= max value 65536 out/test/spec/multi-memory/memory_grow.wast:96: assert_trap passed: out of bounds memory access: access at 65536+4 >= max value 65536 out/test/spec/multi-memory/memory_grow.wast:376: assert_trap passed: undefined table index -out/test/spec/multi-memory/memory_grow.wast:431: assert_invalid passed: - out/test/spec/multi-memory/memory_grow/memory_grow.8.wasm:0000024: error: type mismatch in memory.grow, expected [i32] but got [f32] +out/test/spec/multi-memory/memory_grow.wast:451: assert_invalid passed: + out/test/spec/multi-memory/memory_grow/memory_grow.11.wasm:0000024: error: type mismatch in memory.grow, expected [i32] but got [f32] 0000024: error: OnMemoryGrowExpr callback failed -out/test/spec/multi-memory/memory_grow.wast:440: assert_invalid passed: - out/test/spec/multi-memory/memory_grow/memory_grow.9.wasm:000001f: error: type mismatch in memory.grow, expected [i32] but got [] +out/test/spec/multi-memory/memory_grow.wast:460: assert_invalid passed: + out/test/spec/multi-memory/memory_grow/memory_grow.12.wasm:000001f: error: type mismatch in memory.grow, expected [i32] but got [] 000001f: error: OnMemoryGrowExpr callback failed -out/test/spec/multi-memory/memory_grow.wast:449: assert_invalid passed: - out/test/spec/multi-memory/memory_grow/memory_grow.10.wasm:0000023: error: type mismatch in memory.grow, expected [i32] but got [] +out/test/spec/multi-memory/memory_grow.wast:469: assert_invalid passed: + out/test/spec/multi-memory/memory_grow/memory_grow.13.wasm:0000023: error: type mismatch in memory.grow, expected [i32] but got [] 0000023: error: OnMemoryGrowExpr callback failed -out/test/spec/multi-memory/memory_grow.wast:459: assert_invalid passed: - out/test/spec/multi-memory/memory_grow/memory_grow.11.wasm:0000023: error: type mismatch in memory.grow, expected [i32] but got [] +out/test/spec/multi-memory/memory_grow.wast:479: assert_invalid passed: + out/test/spec/multi-memory/memory_grow/memory_grow.14.wasm:0000023: error: type mismatch in memory.grow, expected [i32] but got [] 0000023: error: OnMemoryGrowExpr callback failed -out/test/spec/multi-memory/memory_grow.wast:469: assert_invalid passed: - out/test/spec/multi-memory/memory_grow/memory_grow.12.wasm:0000025: error: type mismatch in memory.grow, expected [i32] but got [] +out/test/spec/multi-memory/memory_grow.wast:489: assert_invalid passed: + out/test/spec/multi-memory/memory_grow/memory_grow.15.wasm:0000025: error: type mismatch in memory.grow, expected [i32] but got [] 0000025: error: OnMemoryGrowExpr callback failed -out/test/spec/multi-memory/memory_grow.wast:480: assert_invalid passed: - out/test/spec/multi-memory/memory_grow/memory_grow.13.wasm:0000021: error: type mismatch at end of function, expected [] but got [i32] +out/test/spec/multi-memory/memory_grow.wast:500: assert_invalid passed: + out/test/spec/multi-memory/memory_grow/memory_grow.16.wasm:0000021: error: type mismatch at end of function, expected [] but got [i32] 0000021: error: EndFunctionBody callback failed -out/test/spec/multi-memory/memory_grow.wast:489: assert_invalid passed: - out/test/spec/multi-memory/memory_grow/memory_grow.14.wasm:0000024: error: type mismatch in memory.grow, expected [i32] but got [f32] +out/test/spec/multi-memory/memory_grow.wast:509: assert_invalid passed: + out/test/spec/multi-memory/memory_grow/memory_grow.17.wasm:0000024: error: type mismatch in memory.grow, expected [i32] but got [f32] 0000024: error: OnMemoryGrowExpr callback failed -out/test/spec/multi-memory/memory_grow.wast:499: assert_invalid passed: - out/test/spec/multi-memory/memory_grow/memory_grow.15.wasm:0000021: error: type mismatch at end of function, expected [] but got [i32] +out/test/spec/multi-memory/memory_grow.wast:519: assert_invalid passed: + out/test/spec/multi-memory/memory_grow/memory_grow.18.wasm:0000021: error: type mismatch at end of function, expected [] but got [i32] 0000021: error: EndFunctionBody callback failed -out/test/spec/multi-memory/memory_grow.wast:508: assert_invalid passed: - out/test/spec/multi-memory/memory_grow/memory_grow.16.wasm:0000022: error: type mismatch in implicit return, expected [f32] but got [i32] +out/test/spec/multi-memory/memory_grow.wast:528: assert_invalid passed: + out/test/spec/multi-memory/memory_grow/memory_grow.19.wasm:0000022: error: type mismatch in implicit return, expected [f32] but got [i32] 0000022: error: EndFunctionBody callback failed -148/148 tests passed. +154/154 tests passed. ;;; STDOUT ;;) |