;;; TOOL: run-interp-spec
;;; STDIN_FILE: test/old-spec/proposals/memory64/binary-leb128.wast
;;; ARGS*: --enable-memory64
(;; STDOUT ;;;
out/test/spec/memory64/binary-leb128.wast:218: assert_malformed passed:
  000000c: error: unable to read u64 leb128: memory initial page count
out/test/spec/memory64/binary-leb128.wast:226: assert_malformed passed:
  000000e: error: unable to read u64 leb128: memory max page count
out/test/spec/memory64/binary-leb128.wast:235: assert_malformed passed:
  0000010: error: unable to read u32 leb128: data segment flags
out/test/spec/memory64/binary-leb128.wast:246: assert_malformed passed:
  0000011: error: unable to read u32 leb128: elem segment flags
out/test/spec/memory64/binary-leb128.wast:257: assert_malformed passed:
  0000009: error: unable to read u32 leb128: section size
out/test/spec/memory64/binary-leb128.wast:268: assert_malformed passed:
  000000a: error: unable to read u32 leb128: string length
out/test/spec/memory64/binary-leb128.wast:279: assert_malformed passed:
  000000c: error: unable to read u32 leb128: function param count
out/test/spec/memory64/binary-leb128.wast:291: assert_malformed passed:
  000000f: error: unable to read u32 leb128: function result count
out/test/spec/memory64/binary-leb128.wast:303: assert_malformed passed:
  0000012: error: unable to read u32 leb128: string length
out/test/spec/memory64/binary-leb128.wast:318: assert_malformed passed:
  000001b: error: unable to read u32 leb128: string length
out/test/spec/memory64/binary-leb128.wast:333: assert_malformed passed:
  0000026: error: unable to read u32 leb128: import signature index
out/test/spec/memory64/binary-leb128.wast:348: assert_malformed passed:
  0000011: error: unable to read u32 leb128: function signature index
out/test/spec/memory64/binary-leb128.wast:360: assert_malformed passed:
  0000015: error: unable to read u32 leb128: string length
out/test/spec/memory64/binary-leb128.wast:376: assert_malformed passed:
  0000019: error: unable to read u32 leb128: export item index
out/test/spec/memory64/binary-leb128.wast:392: assert_malformed passed:
  0000014: error: unable to read u32 leb128: function body count
out/test/spec/memory64/binary-leb128.wast:405: assert_malformed passed:
  0000022: error: unable to read u64 leb128: load offset
out/test/spec/memory64/binary-leb128.wast:424: assert_malformed passed:
  0000021: error: unable to read u32 leb128: load alignment
out/test/spec/memory64/binary-leb128.wast:443: assert_malformed passed:
  0000023: error: unable to read u32 leb128: store alignment
out/test/spec/memory64/binary-leb128.wast:462: assert_malformed passed:
  0000024: error: unable to read u64 leb128: store offset
out/test/spec/memory64/binary-leb128.wast:483: assert_malformed passed:
  000000e: error: unable to read i32 leb128: i32.const value
out/test/spec/memory64/binary-leb128.wast:493: assert_malformed passed:
  000000e: error: unable to read i32 leb128: i32.const value
out/test/spec/memory64/binary-leb128.wast:504: assert_malformed passed:
  000000e: error: unable to read i64 leb128: i64.const value
out/test/spec/memory64/binary-leb128.wast:514: assert_malformed passed:
  000000e: error: unable to read i64 leb128: i64.const value
out/test/spec/memory64/binary-leb128.wast:526: assert_malformed passed:
  000000c: error: unable to read u64 leb128: memory initial page count
out/test/spec/memory64/binary-leb128.wast:534: assert_malformed passed:
  000000c: error: unable to read u64 leb128: memory initial page count
out/test/spec/memory64/binary-leb128.wast:542: assert_malformed passed:
  000000e: error: unable to read u64 leb128: memory max page count
out/test/spec/memory64/binary-leb128.wast:551: assert_malformed passed:
  000000e: error: unable to read u64 leb128: memory max page count
out/test/spec/memory64/binary-leb128.wast:560: assert_malformed passed:
  0000010: error: unable to read u32 leb128: data segment flags
out/test/spec/memory64/binary-leb128.wast:571: assert_malformed passed:
  0000011: error: unable to read u32 leb128: elem segment flags
out/test/spec/memory64/binary-leb128.wast:582: assert_malformed passed:
  0000009: error: unable to read u32 leb128: section size
out/test/spec/memory64/binary-leb128.wast:593: assert_malformed passed:
  000000a: error: unable to read u32 leb128: string length
out/test/spec/memory64/binary-leb128.wast:604: assert_malformed passed:
  000000c: error: unable to read u32 leb128: function param count
out/test/spec/memory64/binary-leb128.wast:616: assert_malformed passed:
  000000f: error: unable to read u32 leb128: function result count
out/test/spec/memory64/binary-leb128.wast:628: assert_malformed passed:
  0000012: error: unable to read u32 leb128: string length
out/test/spec/memory64/binary-leb128.wast:643: assert_malformed passed:
  000001b: error: unable to read u32 leb128: string length
out/test/spec/memory64/binary-leb128.wast:658: assert_malformed passed:
  0000026: error: unable to read u32 leb128: import signature index
out/test/spec/memory64/binary-leb128.wast:673: assert_malformed passed:
  0000011: error: unable to read u32 leb128: function signature index
out/test/spec/memory64/binary-leb128.wast:686: assert_malformed passed:
  0000015: error: unable to read u32 leb128: string length
out/test/spec/memory64/binary-leb128.wast:702: assert_malformed passed:
  0000019: error: unable to read u32 leb128: export item index
out/test/spec/memory64/binary-leb128.wast:718: assert_malformed passed:
  0000014: error: unable to read u32 leb128: function body count
out/test/spec/memory64/binary-leb128.wast:731: assert_malformed passed:
  0000022: error: unable to read u64 leb128: load offset
out/test/spec/memory64/binary-leb128.wast:750: assert_malformed passed:
  0000022: error: unable to read u64 leb128: load offset
out/test/spec/memory64/binary-leb128.wast:769: assert_malformed passed:
  0000021: error: unable to read u32 leb128: load alignment
out/test/spec/memory64/binary-leb128.wast:787: assert_malformed passed:
  0000021: error: unable to read u32 leb128: load alignment
out/test/spec/memory64/binary-leb128.wast:806: assert_malformed passed:
  0000023: error: unable to read u32 leb128: store alignment
out/test/spec/memory64/binary-leb128.wast:825: assert_malformed passed:
  0000023: error: unable to read u32 leb128: store alignment
out/test/spec/memory64/binary-leb128.wast:844: assert_malformed passed:
  0000024: error: unable to read u64 leb128: store offset
out/test/spec/memory64/binary-leb128.wast:863: assert_malformed passed:
  0000024: error: unable to read u64 leb128: store offset
out/test/spec/memory64/binary-leb128.wast:897: assert_malformed passed:
  0000020: error: unable to read u64 leb128: load offset
out/test/spec/memory64/binary-leb128.wast:917: assert_malformed passed:
  000000e: error: unable to read i32 leb128: i32.const value
out/test/spec/memory64/binary-leb128.wast:927: assert_malformed passed:
  000000e: error: unable to read i32 leb128: i32.const value
out/test/spec/memory64/binary-leb128.wast:937: assert_malformed passed:
  000000e: error: unable to read i32 leb128: i32.const value
out/test/spec/memory64/binary-leb128.wast:947: assert_malformed passed:
  000000e: error: unable to read i32 leb128: i32.const value
out/test/spec/memory64/binary-leb128.wast:958: assert_malformed passed:
  000000e: error: unable to read i64 leb128: i64.const value
out/test/spec/memory64/binary-leb128.wast:968: assert_malformed passed:
  000000e: error: unable to read i64 leb128: i64.const value
out/test/spec/memory64/binary-leb128.wast:978: assert_malformed passed:
  000000e: error: unable to read i64 leb128: i64.const value
out/test/spec/memory64/binary-leb128.wast:988: assert_malformed passed:
  000000e: error: unable to read i64 leb128: i64.const value
out/test/spec/memory64/binary-leb128.wast:1019: assert_malformed passed:
  0000019: error: unable to read u32 leb128: opcode
out/test/spec/memory64/binary-leb128.wast:1102: assert_malformed passed:
  000000c: error: unexpected type form (got 0xe0)
93/93 tests passed.
;;; STDOUT ;;)
