;;; TOOL: run-interp-spec
;;; STDIN_FILE: third_party/testsuite/proposals/reference-types/table_grow.wast
;;; ARGS*: --enable-reference-types
(;; STDOUT ;;;
out/test/spec/reference-types/table_grow.wast:14: assert_trap passed: out of bounds table access: table.set at 0 >= max value 0
out/test/spec/reference-types/table_grow.wast:15: assert_trap passed: out of bounds table access: table.get at 0 >= max value 0
out/test/spec/reference-types/table_grow.wast:22: assert_trap passed: out of bounds table access: table.set at 1 >= max value 1
out/test/spec/reference-types/table_grow.wast:23: assert_trap passed: out of bounds table access: table.get at 1 >= max value 1
out/test/spec/reference-types/table_grow.wast:34: assert_trap passed: out of bounds table access: table.set at 5 >= max value 5
out/test/spec/reference-types/table_grow.wast:35: assert_trap passed: out of bounds table access: table.get at 5 >= max value 5
out/test/spec/reference-types/table_grow.wast:109: assert_invalid passed:
  error: type mismatch in table.grow, expected [anyref, i32] but got []
  0000024: error: OnTableGrowExpr callback failed
out/test/spec/reference-types/table_grow.wast:118: assert_invalid passed:
  error: type mismatch in table.grow, expected [anyref, i32] but got [nullref]
  0000025: error: OnTableGrowExpr callback failed
out/test/spec/reference-types/table_grow.wast:127: assert_invalid passed:
  error: type mismatch in table.grow, expected [anyref, i32] but got [i32]
  0000026: error: OnTableGrowExpr callback failed
out/test/spec/reference-types/table_grow.wast:136: assert_invalid passed:
  error: type mismatch in table.grow, expected [anyref, i32] but got [nullref, f32]
  000002a: error: OnTableGrowExpr callback failed
out/test/spec/reference-types/table_grow.wast:145: assert_invalid passed:
  error: type mismatch in table.grow, expected [funcref, i32] but got [anyref, i32]
  0000029: error: OnTableGrowExpr callback failed
out/test/spec/reference-types/table_grow.wast:155: assert_invalid passed:
  error: type mismatch in function, expected [] but got [i32]
  0000027: error: EndFunctionBody callback failed
out/test/spec/reference-types/table_grow.wast:164: assert_invalid passed:
  error: type mismatch in implicit return, expected [f32] but got [i32]
  0000028: error: EndFunctionBody callback failed
45/45 tests passed.
;;; STDOUT ;;)
