;;; TOOL: run-interp-spec
;;; STDIN_FILE: third_party/testsuite/memory.wast
(;; STDOUT ;;;
out/test/spec/memory.wast:8: assert_invalid passed:
  000000b: error: memory count must be 0 or 1
out/test/spec/memory.wast:9: assert_invalid passed:
  error: only one memory allowed
  0000023: error: OnMemory callback failed
out/test/spec/memory.wast:18: assert_invalid passed:
  000000b: error: data section without memory section
out/test/spec/memory.wast:19: assert_invalid passed:
  000000b: error: data section without memory section
out/test/spec/memory.wast:20: assert_invalid passed:
  000000b: error: data section without memory section
out/test/spec/memory.wast:23: assert_invalid passed:
  error: f32.load requires an imported or defined memory.
  000001c: error: OnLoadExpr callback failed
out/test/spec/memory.wast:27: assert_invalid passed:
  error: f32.store requires an imported or defined memory.
  0000021: error: OnStoreExpr callback failed
out/test/spec/memory.wast:31: assert_invalid passed:
  error: i32.load8_s requires an imported or defined memory.
  000001c: error: OnLoadExpr callback failed
out/test/spec/memory.wast:35: assert_invalid passed:
  error: i32.store8 requires an imported or defined memory.
  000001e: error: OnStoreExpr callback failed
out/test/spec/memory.wast:39: assert_invalid passed:
  error: memory.size requires an imported or defined memory.
  0000019: error: OnMemorySizeExpr callback failed
out/test/spec/memory.wast:43: assert_invalid passed:
  error: memory.grow requires an imported or defined memory.
  000001b: error: OnMemoryGrowExpr callback failed
out/test/spec/memory.wast:49: assert_invalid passed:
  000000e: error: memory initial size must be <= max size
out/test/spec/memory.wast:53: assert_invalid passed:
  000000f: error: invalid memory initial size
out/test/spec/memory.wast:57: assert_invalid passed:
  0000011: error: invalid memory initial size
out/test/spec/memory.wast:61: assert_invalid passed:
  0000011: error: invalid memory initial size
out/test/spec/memory.wast:65: assert_invalid passed:
  0000010: error: invalid memory max size
out/test/spec/memory.wast:69: assert_invalid passed:
  0000012: error: invalid memory max size
out/test/spec/memory.wast:73: assert_invalid passed:
  0000012: error: invalid memory max size
63/63 tests passed.
;;; STDOUT ;;)
