;;; TOOL: run-interp-spec
;;; STDIN_FILE: third_party/testsuite/proposals/reference-types/elem.wast
;;; ARGS*: --enable-reference-types
(;; STDOUT ;;;
out/test/spec/reference-types/elem.wast:320: assert_trap passed: out of bounds table access: table.init out of bounds
out/test/spec/reference-types/elem.wast:330: assert_trap passed: out of bounds table access: table.init out of bounds
out/test/spec/reference-types/elem.wast:335: assert_invalid passed:
  0000000: error: table variable out of range: 0 (max 0)
  0000016: error: BeginElemSegment callback failed
out/test/spec/reference-types/elem.wast:345: assert_invalid passed:
  0000014: error: expected i32 init_expr
out/test/spec/reference-types/elem.wast:353: assert_invalid passed:
  0000015: error: expected END opcode after initializer expression
out/test/spec/reference-types/elem.wast:361: assert_invalid passed:
  0000013: error: unexpected opcode in initializer expression: 0x1
out/test/spec/reference-types/elem.wast:369: assert_invalid passed:
  0000013: error: unexpected opcode in initializer expression: 0x1
out/test/spec/reference-types/elem.wast:377: assert_invalid passed:
  0000015: error: expected END opcode after initializer expression
out/test/spec/reference-types/elem.wast:440: assert_trap passed: uninitialized table element
33/33 tests passed.
;;; STDOUT ;;)