;;; TOOL: run-interp-spec
;;; STDIN_FILE: third_party/testsuite/proposals/multi-memory/binary.wast
;;; ARGS*: --enable-multi-memory
(;; STDOUT ;;;
out/test/spec/multi-memory/binary.wast:6: assert_malformed passed:
  0000000: error: unable to read uint32_t: magic
out/test/spec/multi-memory/binary.wast:7: assert_malformed passed:
  0000000: error: unable to read uint32_t: magic
out/test/spec/multi-memory/binary.wast:8: assert_malformed passed:
  0000000: error: unable to read uint32_t: magic
out/test/spec/multi-memory/binary.wast:9: assert_malformed passed:
  0000004: error: bad magic value
out/test/spec/multi-memory/binary.wast:10: assert_malformed passed:
  0000004: error: bad magic value
out/test/spec/multi-memory/binary.wast:11: assert_malformed passed:
  0000004: error: bad magic value
out/test/spec/multi-memory/binary.wast:12: assert_malformed passed:
  0000004: error: bad magic value
out/test/spec/multi-memory/binary.wast:13: assert_malformed passed:
  0000004: error: bad magic value
out/test/spec/multi-memory/binary.wast:14: assert_malformed passed:
  0000004: error: bad magic value
out/test/spec/multi-memory/binary.wast:15: assert_malformed passed:
  0000004: error: bad magic value
out/test/spec/multi-memory/binary.wast:16: assert_malformed passed:
  0000004: error: bad magic value
out/test/spec/multi-memory/binary.wast:17: assert_malformed passed:
  0000004: error: bad magic value
out/test/spec/multi-memory/binary.wast:18: assert_malformed passed:
  0000004: error: bad magic value
out/test/spec/multi-memory/binary.wast:21: assert_malformed passed:
  0000004: error: bad magic value
out/test/spec/multi-memory/binary.wast:24: assert_malformed passed:
  0000004: error: bad magic value
out/test/spec/multi-memory/binary.wast:25: assert_malformed passed:
  0000004: error: bad magic value
out/test/spec/multi-memory/binary.wast:28: assert_malformed passed:
  0000004: error: bad magic value
out/test/spec/multi-memory/binary.wast:31: assert_malformed passed:
  0000004: error: bad magic value
out/test/spec/multi-memory/binary.wast:34: assert_malformed passed:
  0000004: error: bad magic value
out/test/spec/multi-memory/binary.wast:37: assert_malformed passed:
  0000004: error: unable to read uint32_t: version
out/test/spec/multi-memory/binary.wast:38: assert_malformed passed:
  0000004: error: unable to read uint32_t: version
out/test/spec/multi-memory/binary.wast:39: assert_malformed passed:
  0000004: error: unable to read uint32_t: version
out/test/spec/multi-memory/binary.wast:40: assert_malformed passed:
  0000008: error: bad wasm file version: 0 (expected 0x1)
out/test/spec/multi-memory/binary.wast:41: assert_malformed passed:
  0000008: error: bad wasm file version: 0xd (expected 0x1)
out/test/spec/multi-memory/binary.wast:42: assert_malformed passed:
  0000008: error: bad wasm file version: 0xe (expected 0x1)
out/test/spec/multi-memory/binary.wast:43: assert_malformed passed:
  0000008: error: bad wasm file version: 0x100 (expected 0x1)
out/test/spec/multi-memory/binary.wast:44: assert_malformed passed:
  0000008: error: bad wasm file version: 0x10000 (expected 0x1)
out/test/spec/multi-memory/binary.wast:45: assert_malformed passed:
  0000008: error: bad wasm file version: 0x1000000 (expected 0x1)
out/test/spec/multi-memory/binary.wast:48: assert_malformed passed:
  000000a: error: invalid section code: 13
out/test/spec/multi-memory/binary.wast:49: assert_malformed passed:
  000000a: error: invalid section code: 127
out/test/spec/multi-memory/binary.wast:50: assert_malformed passed:
  000000a: error: invalid section code: 128
out/test/spec/multi-memory/binary.wast:51: assert_malformed passed:
  000000a: error: invalid section code: 129
out/test/spec/multi-memory/binary.wast:52: assert_malformed passed:
  000000a: error: invalid section code: 255
out/test/spec/multi-memory/binary.wast:165: assert_malformed passed:
  000000c: error: unexpected type form (got 0xe0)
out/test/spec/multi-memory/binary.wast:178: assert_malformed passed:
  000000c: error: unable to read u32 leb128: memory initial page count
out/test/spec/multi-memory/binary.wast:188: assert_malformed passed:
  000000e: error: unable to read i32 leb128: i32.const value
out/test/spec/multi-memory/binary.wast:198: assert_malformed passed:
  000000e: error: unable to read i32 leb128: i32.const value
out/test/spec/multi-memory/binary.wast:209: assert_malformed passed:
  000000e: error: unable to read i64 leb128: i64.const value
out/test/spec/multi-memory/binary.wast:219: assert_malformed passed:
  000000e: error: unable to read i64 leb128: i64.const value
out/test/spec/multi-memory/binary.wast:231: assert_malformed passed:
  000000c: error: unable to read u32 leb128: memory initial page count
out/test/spec/multi-memory/binary.wast:239: assert_malformed passed:
  000000c: error: unable to read u32 leb128: memory initial page count
out/test/spec/multi-memory/binary.wast:249: assert_malformed passed:
  000000e: error: unable to read i32 leb128: i32.const value
out/test/spec/multi-memory/binary.wast:259: assert_malformed passed:
  000000e: error: unable to read i32 leb128: i32.const value
out/test/spec/multi-memory/binary.wast:269: assert_malformed passed:
  000000e: error: unable to read i32 leb128: i32.const value
out/test/spec/multi-memory/binary.wast:279: assert_malformed passed:
  000000e: error: unable to read i32 leb128: i32.const value
out/test/spec/multi-memory/binary.wast:290: assert_malformed passed:
  000000e: error: unable to read i64 leb128: i64.const value
out/test/spec/multi-memory/binary.wast:300: assert_malformed passed:
  000000e: error: unable to read i64 leb128: i64.const value
out/test/spec/multi-memory/binary.wast:310: assert_malformed passed:
  000000e: error: unable to read i64 leb128: i64.const value
out/test/spec/multi-memory/binary.wast:320: assert_malformed passed:
  000000e: error: unable to read i64 leb128: i64.const value
out/test/spec/multi-memory/binary.wast:331: assert_malformed passed:
  000000e: error: unable to read i64 leb128: i64.const value
out/test/spec/multi-memory/binary.wast:341: assert_malformed passed:
  000000e: error: unable to read i64 leb128: i64.const value
out/test/spec/multi-memory/binary.wast:351: assert_malformed passed:
  000000e: error: unable to read i64 leb128: i64.const value
out/test/spec/multi-memory/binary.wast:361: assert_malformed passed:
  000000e: error: unable to read i64 leb128: i64.const value
out/test/spec/multi-memory/binary.wast:373: assert_malformed passed:
  000001b: error: function body must end with END opcode
out/test/spec/multi-memory/binary.wast:394: assert_malformed passed:
  000001a: error: function body must end with END opcode
out/test/spec/multi-memory/binary.wast:410: assert_malformed passed:
  000001a: error: function body must end with END opcode
out/test/spec/multi-memory/binary.wast:430: assert_malformed passed:
  000000c: error: unable to read u32 leb128: memory initial page count
out/test/spec/multi-memory/binary.wast:438: assert_malformed passed:
  0000022: error: unable to read u32 leb128: load offset
out/test/spec/multi-memory/binary.wast:457: assert_malformed passed:
  0000021: error: unable to read u32 leb128: load alignment
out/test/spec/multi-memory/binary.wast:476: assert_malformed passed:
  0000023: error: unable to read u32 leb128: store alignment
out/test/spec/multi-memory/binary.wast:495: assert_malformed passed:
  0000024: error: unable to read u32 leb128: store offset
out/test/spec/multi-memory/binary.wast:516: assert_malformed passed:
  000000e: error: unable to read i32 leb128: i32.const value
out/test/spec/multi-memory/binary.wast:526: assert_malformed passed:
  000000e: error: unable to read i32 leb128: i32.const value
out/test/spec/multi-memory/binary.wast:537: assert_malformed passed:
  000000e: error: unable to read i64 leb128: i64.const value
out/test/spec/multi-memory/binary.wast:547: assert_malformed passed:
  000000e: error: unable to read i64 leb128: i64.const value
out/test/spec/multi-memory/binary.wast:559: assert_malformed passed:
  000000c: error: unable to read u32 leb128: memory initial page count
out/test/spec/multi-memory/binary.wast:567: assert_malformed passed:
  000000c: error: unable to read u32 leb128: memory initial page count
out/test/spec/multi-memory/binary.wast:575: assert_malformed passed:
  0000022: error: unable to read u32 leb128: load offset
out/test/spec/multi-memory/binary.wast:594: assert_malformed passed:
  0000022: error: unable to read u32 leb128: load offset
out/test/spec/multi-memory/binary.wast:613: assert_malformed passed:
  0000021: error: unable to read u32 leb128: load alignment
out/test/spec/multi-memory/binary.wast:631: assert_malformed passed:
  0000021: error: unable to read u32 leb128: load alignment
out/test/spec/multi-memory/binary.wast:650: assert_malformed passed:
  0000023: error: unable to read u32 leb128: store alignment
out/test/spec/multi-memory/binary.wast:669: assert_malformed passed:
  0000023: error: unable to read u32 leb128: store alignment
out/test/spec/multi-memory/binary.wast:688: assert_malformed passed:
  0000024: error: unable to read u32 leb128: store offset
out/test/spec/multi-memory/binary.wast:707: assert_malformed passed:
  0000024: error: unable to read u32 leb128: store offset
out/test/spec/multi-memory/binary.wast:729: assert_malformed passed:
  000000e: error: unable to read i32 leb128: i32.const value
out/test/spec/multi-memory/binary.wast:739: assert_malformed passed:
  000000e: error: unable to read i32 leb128: i32.const value
out/test/spec/multi-memory/binary.wast:749: assert_malformed passed:
  000000e: error: unable to read i32 leb128: i32.const value
out/test/spec/multi-memory/binary.wast:759: assert_malformed passed:
  000000e: error: unable to read i32 leb128: i32.const value
out/test/spec/multi-memory/binary.wast:770: assert_malformed passed:
  000000e: error: unable to read i64 leb128: i64.const value
out/test/spec/multi-memory/binary.wast:780: assert_malformed passed:
  000000e: error: unable to read i64 leb128: i64.const value
out/test/spec/multi-memory/binary.wast:790: assert_malformed passed:
  000000e: error: unable to read i64 leb128: i64.const value
out/test/spec/multi-memory/binary.wast:800: assert_malformed passed:
  000000e: error: unable to read i64 leb128: i64.const value
out/test/spec/multi-memory/binary.wast:812: assert_malformed passed:
  0000017: error: unable to read u32 leb128: local type count
out/test/spec/multi-memory/binary.wast:829: assert_malformed passed:
  0000017: error: unable to read u32 leb128: local type count
out/test/spec/multi-memory/binary.wast:846: assert_malformed passed:
  000001c: error: local count must be < 0x10000000
out/test/spec/multi-memory/binary.wast:862: assert_malformed passed:
  0000030: error: local count must be < 0x10000000
out/test/spec/multi-memory/binary.wast:896: assert_malformed passed:
  0000013: error: function signature count != function body count
out/test/spec/multi-memory/binary.wast:906: assert_malformed passed:
  000000b: error: function signature count != function body count
out/test/spec/multi-memory/binary.wast:915: assert_malformed passed:
  0000016: error: function signature count != function body count
out/test/spec/multi-memory/binary.wast:926: assert_malformed passed:
  0000015: error: function signature count != function body count
out/test/spec/multi-memory/binary.wast:949: assert_malformed passed:
  000000e: error: data segment count does not equal count in DataCount section
out/test/spec/multi-memory/binary.wast:959: assert_malformed passed:
  000000e: error: data segment count does not equal count in DataCount section
out/test/spec/multi-memory/binary.wast:969: assert_malformed passed:
  0000024: error: memory.init requires data count section
out/test/spec/multi-memory/binary.wast:991: assert_malformed passed:
  000001e: error: data.drop requires data count section
out/test/spec/multi-memory/binary.wast:1010: assert_malformed passed:
  0000024: error: expected ref.null or ref.func in passive element segment
  0000025: error: expected END opcode after element expression
out/test/spec/multi-memory/binary.wast:1036: assert_malformed passed:
  0000022: error: table elem type must be a reference type
out/test/spec/multi-memory/binary.wast:1117: assert_malformed passed:
  000000a: error: invalid section size: extends past end
out/test/spec/multi-memory/binary.wast:1128: assert_malformed passed:
  000000e: error: unfinished section (expected end: 0x11)
out/test/spec/multi-memory/binary.wast:1147: assert_malformed passed:
  000000e: error: invalid import tag kind: exceptions not allowed
out/test/spec/multi-memory/binary.wast:1157: assert_malformed passed:
  000000e: error: invalid import tag kind: exceptions not allowed
out/test/spec/multi-memory/binary.wast:1168: assert_malformed passed:
  000000e: error: malformed import kind: 5
out/test/spec/multi-memory/binary.wast:1178: assert_malformed passed:
  000000e: error: malformed import kind: 5
out/test/spec/multi-memory/binary.wast:1189: assert_malformed passed:
  000000e: error: malformed import kind: 128
out/test/spec/multi-memory/binary.wast:1199: assert_malformed passed:
  000000e: error: malformed import kind: 128
out/test/spec/multi-memory/binary.wast:1212: assert_malformed passed:
  0000027: error: unable to read u32 leb128: string length
out/test/spec/multi-memory/binary.wast:1231: assert_malformed passed:
  000002b: error: unfinished section (expected end: 0x40)
out/test/spec/multi-memory/binary.wast:1262: assert_malformed passed:
  000000b: error: invalid table count 1, only 0 bytes left in section
out/test/spec/multi-memory/binary.wast:1272: assert_malformed passed:
  000000d: error: tables may not be shared
out/test/spec/multi-memory/binary.wast:1281: assert_malformed passed:
  000000d: error: tables may not be shared
out/test/spec/multi-memory/binary.wast:1291: assert_malformed passed:
  000000d: error: malformed table limits flag: 129
out/test/spec/multi-memory/binary.wast:1309: assert_malformed passed:
  000000b: error: invalid memory count 1, only 0 bytes left in section
out/test/spec/multi-memory/binary.wast:1319: assert_malformed passed:
  000000c: error: memory may not be shared: threads not allowed
out/test/spec/multi-memory/binary.wast:1327: assert_malformed passed:
  000000c: error: memory may not be shared: threads not allowed
out/test/spec/multi-memory/binary.wast:1336: assert_malformed passed:
  000000c: error: malformed memory limits flag: 129
out/test/spec/multi-memory/binary.wast:1345: assert_malformed passed:
  000000c: error: malformed memory limits flag: 129
out/test/spec/multi-memory/binary.wast:1362: assert_malformed passed:
  0000010: error: unable to read i32 leb128: global type
out/test/spec/multi-memory/binary.wast:1373: assert_malformed passed:
  0000010: error: unfinished section (expected end: 0x15)
out/test/spec/multi-memory/binary.wast:1396: assert_malformed passed:
  000001b: error: unable to read u32 leb128: string length
out/test/spec/multi-memory/binary.wast:1417: assert_malformed passed:
  000001b: error: unfinished section (expected end: 0x20)
out/test/spec/multi-memory/binary.wast:1451: assert_malformed passed:
  0000021: error: unable to read u32 leb128: elem segment flags
out/test/spec/multi-memory/binary.wast:1467: assert_malformed passed:
  0000024: error: unable to read u32 leb128: elem count
out/test/spec/multi-memory/binary.wast:1484: assert_malformed passed:
  0000021: error: unfinished section (expected end: 0x27)
out/test/spec/multi-memory/binary.wast:1510: assert_malformed passed:
  0000016: error: unable to read u32 leb128: data segment flags
out/test/spec/multi-memory/binary.wast:1523: assert_malformed passed:
  0000016: error: unfinished section (expected end: 0x1c)
out/test/spec/multi-memory/binary.wast:1536: assert_malformed passed:
  0000015: error: unable to read data: data segment data
out/test/spec/multi-memory/binary.wast:1550: assert_malformed passed:
  000001a: error: unfinished section (expected end: 0x1b)
out/test/spec/multi-memory/binary.wast:1581: assert_malformed passed:
  out/test/spec/multi-memory/binary/binary.159.wasm:0000025: error: function type variable out of range: 11 (max 1)
  0000025: error: OnBlockExpr callback failed
out/test/spec/multi-memory/binary.wast:1616: assert_malformed passed:
  0000017: error: multiple Start sections
162/162 tests passed.
;;; STDOUT ;;)
