;;; TOOL: run-interp-spec
;;; STDIN_FILE: third_party/testsuite/memory.wast
(;; STDOUT ;;;
out/third_party/testsuite/memory.wast:19: assert_invalid passed:
  error: @0x0000000b: memory count must be 0 or 1
out/third_party/testsuite/memory.wast:20: assert_invalid passed:
  error: only one memory allowed
  error: @0x00000023: OnMemory callback failed
out/third_party/testsuite/memory.wast:29: assert_invalid passed:
  error: @0x0000000b: data section without memory section
out/third_party/testsuite/memory.wast:30: assert_invalid passed:
  error: @0x0000000b: data section without memory section
out/third_party/testsuite/memory.wast:31: assert_invalid passed:
  error: @0x0000000b: data section without memory section
out/third_party/testsuite/memory.wast:34: assert_invalid passed:
  error: f32.load requires an imported or defined memory.
  error: @0x0000001c: OnLoadExpr callback failed
out/third_party/testsuite/memory.wast:38: assert_invalid passed:
  error: f32.store requires an imported or defined memory.
  error: @0x00000021: OnStoreExpr callback failed
out/third_party/testsuite/memory.wast:42: assert_invalid passed:
  error: i32.load8_s requires an imported or defined memory.
  error: @0x0000001c: OnLoadExpr callback failed
out/third_party/testsuite/memory.wast:46: assert_invalid passed:
  error: i32.store8 requires an imported or defined memory.
  error: @0x0000001e: OnStoreExpr callback failed
out/third_party/testsuite/memory.wast:50: assert_invalid passed:
  error: current_memory requires an imported or defined memory.
  error: @0x00000019: OnCurrentMemoryExpr callback failed
out/third_party/testsuite/memory.wast:54: assert_invalid passed:
  error: grow_memory requires an imported or defined memory.
  error: @0x0000001b: OnGrowMemoryExpr callback failed
out/third_party/testsuite/memory.wast:59: assert_invalid passed:
  error: type mismatch in data segment, expected i32 but got i64
  error: @0x00000015: OnDataSegmentData callback failed
out/third_party/testsuite/memory.wast:63: assert_invalid passed:
  error: @0x00000014: expected END opcode after initializer expression
out/third_party/testsuite/memory.wast:67: assert_invalid passed:
  error: @0x00000012: unexpected opcode in initializer expression: 1 (0x1)
out/third_party/testsuite/memory.wast:77: assert_unlinkable passed:
  error: data segment is out of bounds: [0, 1) >= max value 0
  error: @0x00000017: OnDataSegmentData callback failed
out/third_party/testsuite/memory.wast:81: assert_unlinkable passed:
  error: data segment is out of bounds: [0, 1) >= max value 0
  error: @0x00000017: OnDataSegmentData callback failed
out/third_party/testsuite/memory.wast:85: assert_unlinkable passed:
  error: data segment is out of bounds: [4294967295, 4294967296) >= max value 65536
  error: @0x00000017: OnDataSegmentData callback failed
out/third_party/testsuite/memory.wast:89: assert_unlinkable passed:
  error: data segment is out of bounds: [4294966296, 4294966297) >= max value 65536
  error: @0x00000018: OnDataSegmentData callback failed
out/third_party/testsuite/memory.wast:93: assert_unlinkable passed:
  error: data segment is out of bounds: [98304, 98305) >= max value 65536
  error: @0x0000001f: OnDataSegmentData callback failed
out/third_party/testsuite/memory.wast:97: assert_unlinkable passed:
  error: data segment is out of bounds: [1, 1) >= max value 0
  error: @0x00000016: OnDataSegmentData callback failed
out/third_party/testsuite/memory.wast:101: assert_unlinkable passed:
  error: data segment is out of bounds: [73728, 73728) >= max value 65536
  error: @0x00000017: OnDataSegmentData callback failed
out/third_party/testsuite/memory.wast:105: assert_unlinkable passed:
  error: data segment is out of bounds: [4294967295, 4294967295) >= max value 65536
  error: @0x00000016: OnDataSegmentData callback failed
out/third_party/testsuite/memory.wast:114: assert_unlinkable passed:
  error: duplicate export "global"
  error: data segment is out of bounds: [666, 667) >= max value 0
  error: @0x0000002c: OnDataSegmentData callback failed
out/third_party/testsuite/memory.wast:131: assert_invalid passed:
  error: @0x0000000e: memory initial size must be <= max size
out/third_party/testsuite/memory.wast:135: assert_invalid passed:
  error: @0x0000000f: invalid memory initial size
out/third_party/testsuite/memory.wast:139: assert_invalid passed:
  error: @0x00000011: invalid memory initial size
out/third_party/testsuite/memory.wast:143: assert_invalid passed:
  error: @0x00000011: invalid memory initial size
out/third_party/testsuite/memory.wast:147: assert_invalid passed:
  error: @0x00000010: invalid memory max size
out/third_party/testsuite/memory.wast:151: assert_invalid passed:
  error: @0x00000012: invalid memory max size
out/third_party/testsuite/memory.wast:155: assert_invalid passed:
  error: @0x00000012: invalid memory max size
out/third_party/testsuite/memory.wast:166: assert_invalid passed:
  error: alignment must not be larger than natural alignment (8)
  error: @0x00000021: OnLoadExpr callback failed
out/third_party/testsuite/memory.wast:170: assert_invalid passed:
  error: alignment must not be larger than natural alignment (8)
  error: @0x00000021: OnLoadExpr callback failed
out/third_party/testsuite/memory.wast:174: assert_invalid passed:
  error: alignment must not be larger than natural alignment (4)
  error: @0x00000021: OnLoadExpr callback failed
out/third_party/testsuite/memory.wast:178: assert_invalid passed:
  error: alignment must not be larger than natural alignment (2)
  error: @0x00000021: OnLoadExpr callback failed
out/third_party/testsuite/memory.wast:182: assert_invalid passed:
  error: alignment must not be larger than natural alignment (1)
  error: @0x00000021: OnLoadExpr callback failed
out/third_party/testsuite/memory.wast:186: assert_invalid passed:
  error: alignment must not be larger than natural alignment (1)
  error: @0x00000023: OnStoreExpr callback failed
out/third_party/testsuite/memory.wast:190: assert_invalid passed:
  error: alignment must not be larger than natural alignment (2)
  error: @0x00000021: OnLoadExpr callback failed
out/third_party/testsuite/memory.wast:194: assert_invalid passed:
  error: alignment must not be larger than natural alignment (1)
  error: @0x00000021: OnLoadExpr callback failed
out/third_party/testsuite/memory.wast:198: assert_invalid passed:
  error: alignment must not be larger than natural alignment (1)
  error: @0x00000023: OnStoreExpr callback failed
86/86 tests passed.
;;; STDOUT ;;)