;;; TOOL: run-interp-spec
;;; STDIN_FILE: test/old-spec/proposals/memory64/binary.wast
;;; ARGS*: --enable-memory64
(;; STDOUT ;;;
out/test/spec/memory64/binary.wast:6: assert_malformed passed:
  0000000: error: unable to read uint32_t: magic
out/test/spec/memory64/binary.wast:7: assert_malformed passed:
  0000000: error: unable to read uint32_t: magic
out/test/spec/memory64/binary.wast:8: assert_malformed passed:
  0000000: error: unable to read uint32_t: magic
out/test/spec/memory64/binary.wast:9: assert_malformed passed:
  0000004: error: bad magic value
out/test/spec/memory64/binary.wast:10: assert_malformed passed:
  0000004: error: bad magic value
out/test/spec/memory64/binary.wast:11: assert_malformed passed:
  0000004: error: bad magic value
out/test/spec/memory64/binary.wast:12: assert_malformed passed:
  0000004: error: bad magic value
out/test/spec/memory64/binary.wast:13: assert_malformed passed:
  0000004: error: bad magic value
out/test/spec/memory64/binary.wast:14: assert_malformed passed:
  0000004: error: bad magic value
out/test/spec/memory64/binary.wast:15: assert_malformed passed:
  0000004: error: bad magic value
out/test/spec/memory64/binary.wast:16: assert_malformed passed:
  0000004: error: bad magic value
out/test/spec/memory64/binary.wast:17: assert_malformed passed:
  0000004: error: bad magic value
out/test/spec/memory64/binary.wast:18: assert_malformed passed:
  0000004: error: bad magic value
out/test/spec/memory64/binary.wast:21: assert_malformed passed:
  0000004: error: bad magic value
out/test/spec/memory64/binary.wast:24: assert_malformed passed:
  0000004: error: bad magic value
out/test/spec/memory64/binary.wast:25: assert_malformed passed:
  0000004: error: bad magic value
out/test/spec/memory64/binary.wast:28: assert_malformed passed:
  0000004: error: bad magic value
out/test/spec/memory64/binary.wast:31: assert_malformed passed:
  0000004: error: bad magic value
out/test/spec/memory64/binary.wast:34: assert_malformed passed:
  0000004: error: bad magic value
out/test/spec/memory64/binary.wast:37: assert_malformed passed:
  0000004: error: unable to read uint16_t: version
out/test/spec/memory64/binary.wast:38: assert_malformed passed:
  0000004: error: unable to read uint16_t: version
out/test/spec/memory64/binary.wast:39: assert_malformed passed:
  0000006: error: unable to read uint16_t: layer
out/test/spec/memory64/binary.wast:40: assert_malformed passed:
  0000008: error: bad wasm file version: 0 (expected 0x1)
out/test/spec/memory64/binary.wast:41: assert_malformed passed:
  0000008: error: bad wasm file version: 0xd (expected 0x1)
out/test/spec/memory64/binary.wast:42: assert_malformed passed:
  0000008: error: bad wasm file version: 0xe (expected 0x1)
out/test/spec/memory64/binary.wast:43: assert_malformed passed:
  0000008: error: bad wasm file version: 0x100 (expected 0x1)
out/test/spec/memory64/binary.wast:44: assert_malformed passed:
  0000008: error: wasm components are not yet supported in this tool
out/test/spec/memory64/binary.wast:45: assert_malformed passed:
  0000008: error: unsupported wasm layer: 0x100
out/test/spec/memory64/binary.wast:48: assert_malformed passed:
  000000a: error: invalid section code: 14
out/test/spec/memory64/binary.wast:49: assert_malformed passed:
  000000a: error: invalid section code: 127
out/test/spec/memory64/binary.wast:50: assert_malformed passed:
  000000a: error: invalid section code: 128
out/test/spec/memory64/binary.wast:51: assert_malformed passed:
  000000a: error: invalid section code: 129
out/test/spec/memory64/binary.wast:52: assert_malformed passed:
  000000a: error: invalid section code: 255
out/test/spec/memory64/binary.wast:56: assert_malformed passed:
  000001b: error: function body must end with END opcode
out/test/spec/memory64/binary.wast:77: assert_malformed passed:
  000001a: error: function body must end with END opcode
out/test/spec/memory64/binary.wast:93: assert_malformed passed:
  000001a: error: function body must end with END opcode
out/test/spec/memory64/binary.wast:113: assert_malformed passed:
  0000019: error: init expression must end with END opcode
out/test/spec/memory64/binary.wast:126: assert_malformed passed:
  0000017: error: unable to read u32 leb128: local type count
out/test/spec/memory64/binary.wast:143: assert_malformed passed:
  0000017: error: unable to read u32 leb128: local type count
out/test/spec/memory64/binary.wast:160: assert_malformed passed:
  000001e: error: local count must be <= 0xffffffff
out/test/spec/memory64/binary.wast:176: assert_malformed passed:
  0000030: error: local count must be <= 0xffffffff
out/test/spec/memory64/binary.wast:210: assert_malformed passed:
  0000013: error: function signature count != function body count
out/test/spec/memory64/binary.wast:220: assert_malformed passed:
  000000b: error: function signature count != function body count
out/test/spec/memory64/binary.wast:229: assert_malformed passed:
  0000016: error: function signature count != function body count
out/test/spec/memory64/binary.wast:240: assert_malformed passed:
  0000015: error: function signature count != function body count
out/test/spec/memory64/binary.wast:263: assert_malformed passed:
  000000e: error: data segment count does not equal count in DataCount section
out/test/spec/memory64/binary.wast:275: assert_malformed passed:
  000000e: error: data segment count does not equal count in DataCount section
out/test/spec/memory64/binary.wast:287: assert_malformed passed:
  0000010: error: Data section missing but DataCount non-zero
out/test/spec/memory64/binary.wast:303: assert_malformed passed:
  0000024: error: memory.init requires data count section
out/test/spec/memory64/binary.wast:326: assert_malformed passed:
  000001e: error: data.drop requires data count section
out/test/spec/memory64/binary.wast:346: assert_malformed passed:
  0000024: error: unexpected opcode: 0xf3
out/test/spec/memory64/binary.wast:374: assert_malformed passed:
  0000022: error: table elem type must be a reference type
out/test/spec/memory64/binary.wast:459: assert_malformed passed:
  000000a: error: invalid section size: extends past end
out/test/spec/memory64/binary.wast:470: assert_malformed passed:
  000000e: error: unfinished section (expected end: 0x11)
out/test/spec/memory64/binary.wast:489: assert_malformed passed:
  000000e: error: invalid import external kind: 5
out/test/spec/memory64/binary.wast:499: assert_malformed passed:
  000000e: error: invalid import external kind: 5
out/test/spec/memory64/binary.wast:510: assert_malformed passed:
  000000e: error: invalid import external kind: 5
out/test/spec/memory64/binary.wast:520: assert_malformed passed:
  000000e: error: invalid import external kind: 5
out/test/spec/memory64/binary.wast:531: assert_malformed passed:
  000000e: error: invalid import external kind: 128
out/test/spec/memory64/binary.wast:541: assert_malformed passed:
  000000e: error: invalid import external kind: 128
out/test/spec/memory64/binary.wast:554: assert_malformed passed:
  0000027: error: unable to read u32 leb128: string length
out/test/spec/memory64/binary.wast:573: assert_malformed passed:
  000002b: error: unfinished section (expected end: 0x40)
out/test/spec/memory64/binary.wast:604: assert_malformed passed:
  000000b: error: invalid table count 1, only 0 bytes left in section
out/test/spec/memory64/binary.wast:614: assert_malformed passed:
  000000d: error: malformed table limits flag: 8
out/test/spec/memory64/binary.wast:623: assert_malformed passed:
  000000d: error: malformed table limits flag: 8
out/test/spec/memory64/binary.wast:633: assert_malformed passed:
  000000d: error: malformed table limits flag: 129
out/test/spec/memory64/binary.wast:651: assert_malformed passed:
  000000b: error: invalid memory count 1, only 0 bytes left in section
out/test/spec/memory64/binary.wast:661: assert_malformed passed:
  000000c: error: custom page sizes not allowed
out/test/spec/memory64/binary.wast:669: assert_malformed passed:
  000000c: error: custom page sizes not allowed
out/test/spec/memory64/binary.wast:678: assert_malformed passed:
  000000c: error: malformed memory limits flag: 129
out/test/spec/memory64/binary.wast:687: assert_malformed passed:
  000000c: error: malformed memory limits flag: 129
out/test/spec/memory64/binary.wast:704: assert_malformed passed:
  0000010: error: unable to read i32 leb128: global type
out/test/spec/memory64/binary.wast:715: assert_malformed passed:
  0000010: error: unfinished section (expected end: 0x15)
out/test/spec/memory64/binary.wast:738: assert_malformed passed:
  000001b: error: unable to read u32 leb128: string length
out/test/spec/memory64/binary.wast:759: assert_malformed passed:
  000001b: error: unfinished section (expected end: 0x20)
out/test/spec/memory64/binary.wast:793: assert_malformed passed:
  0000021: error: unable to read u32 leb128: elem segment flags
out/test/spec/memory64/binary.wast:809: assert_malformed passed:
  0000024: error: init expression must end with END opcode
out/test/spec/memory64/binary.wast:826: assert_malformed passed:
  0000021: error: unfinished section (expected end: 0x27)
out/test/spec/memory64/binary.wast:852: assert_malformed passed:
  0000016: error: unable to read u32 leb128: data segment flags
out/test/spec/memory64/binary.wast:865: assert_malformed passed:
  0000016: error: unfinished section (expected end: 0x1c)
out/test/spec/memory64/binary.wast:878: assert_malformed passed:
  0000015: error: unable to read data: data segment data
out/test/spec/memory64/binary.wast:892: assert_malformed passed:
  000001a: error: unfinished section (expected end: 0x1b)
out/test/spec/memory64/binary.wast:923: assert_malformed passed:
  0000048: error: function body must end with END opcode
out/test/spec/memory64/binary.wast:970: assert_malformed passed:
  0000017: error: multiple Start sections
out/test/spec/memory64/binary.wast:987: assert_malformed passed:
  0000014: error: multiple Function sections
out/test/spec/memory64/binary.wast:999: assert_malformed passed:
  0000016: error: function signature count != function body count
out/test/spec/memory64/binary.wast:1011: assert_malformed passed:
  000000d: error: multiple DataCount sections
out/test/spec/memory64/binary.wast:1021: assert_malformed passed:
  000000d: error: multiple Data sections
out/test/spec/memory64/binary.wast:1031: assert_malformed passed:
  000000d: error: multiple Global sections
out/test/spec/memory64/binary.wast:1041: assert_malformed passed:
  000000d: error: multiple Export sections
out/test/spec/memory64/binary.wast:1051: assert_malformed passed:
  000000d: error: multiple Table sections
out/test/spec/memory64/binary.wast:1061: assert_malformed passed:
  000000d: error: multiple Elem sections
out/test/spec/memory64/binary.wast:1071: assert_malformed passed:
  000000d: error: multiple Import sections
out/test/spec/memory64/binary.wast:1081: assert_malformed passed:
  000000d: error: multiple Type sections
out/test/spec/memory64/binary.wast:1091: assert_malformed passed:
  000000d: error: multiple Memory sections
out/test/spec/memory64/binary.wast:1101: assert_malformed passed:
  000000d: error: section Type out of order
out/test/spec/memory64/binary.wast:1111: assert_malformed passed:
  000000d: error: section Import out of order
out/test/spec/memory64/binary.wast:1121: assert_malformed passed:
  000000d: error: section Function out of order
out/test/spec/memory64/binary.wast:1131: assert_malformed passed:
  000000d: error: section Table out of order
out/test/spec/memory64/binary.wast:1141: assert_malformed passed:
  000000d: error: section Memory out of order
out/test/spec/memory64/binary.wast:1151: assert_malformed passed:
  000000d: error: section Global out of order
out/test/spec/memory64/binary.wast:1161: assert_malformed passed:
  0000011: error: section Export out of order
out/test/spec/memory64/binary.wast:1172: assert_malformed passed:
  0000011: error: section Start out of order
out/test/spec/memory64/binary.wast:1183: assert_malformed passed:
  000000d: error: section Elem out of order
out/test/spec/memory64/binary.wast:1193: assert_malformed passed:
  000000d: error: section DataCount out of order
out/test/spec/memory64/binary.wast:1203: assert_malformed passed:
  000000d: error: section Code out of order
126/126 tests passed.
;;; STDOUT ;;)
