;;; TOOL: run-interp-spec
;;; STDIN_FILE: test/old-spec/proposals/memory64/table_grow.wast
;;; ARGS*: --enable-memory64
(;; STDOUT ;;;
out/test/spec/memory64/table_grow.wast:26: assert_trap passed: out of bounds table access: table.set at 0 >= max value 0
out/test/spec/memory64/table_grow.wast:27: assert_trap passed: out of bounds table access: table.get at 0 >= max value 0
out/test/spec/memory64/table_grow.wast:34: assert_trap passed: out of bounds table access: table.set at 1 >= max value 1
out/test/spec/memory64/table_grow.wast:35: assert_trap passed: out of bounds table access: table.get at 1 >= max value 1
out/test/spec/memory64/table_grow.wast:46: assert_trap passed: out of bounds table access: table.set at 5 >= max value 5
out/test/spec/memory64/table_grow.wast:47: assert_trap passed: out of bounds table access: table.get at 5 >= max value 5
out/test/spec/memory64/table_grow.wast:51: assert_trap passed: out of bounds table access: table.set at 0 >= max value 0
out/test/spec/memory64/table_grow.wast:52: assert_trap passed: out of bounds table access: table.get at 0 >= max value 0
out/test/spec/memory64/table_grow.wast:59: assert_trap passed: out of bounds table access: table.set at 1 >= max value 1
out/test/spec/memory64/table_grow.wast:60: assert_trap passed: out of bounds table access: table.get at 1 >= max value 1
out/test/spec/memory64/table_grow.wast:71: assert_trap passed: out of bounds table access: table.set at 5 >= max value 5
out/test/spec/memory64/table_grow.wast:72: assert_trap passed: out of bounds table access: table.get at 5 >= max value 5
out/test/spec/memory64/table_grow.wast:168: assert_invalid passed:
  out/test/spec/memory64/table_grow/table_grow.8.wasm:0000021: error: type mismatch in table.grow, expected [externref, i32] but got []
  0000021: error: OnTableGrowExpr callback failed
out/test/spec/memory64/table_grow.wast:177: assert_invalid passed:
  out/test/spec/memory64/table_grow/table_grow.9.wasm:0000023: error: type mismatch in table.grow, expected [externref, i32] but got [externref]
  0000023: error: OnTableGrowExpr callback failed
out/test/spec/memory64/table_grow.wast:186: assert_invalid passed:
  out/test/spec/memory64/table_grow/table_grow.10.wasm:0000023: error: type mismatch in table.grow, expected [externref, i32] but got [i32]
  0000023: error: OnTableGrowExpr callback failed
out/test/spec/memory64/table_grow.wast:195: assert_invalid passed:
  out/test/spec/memory64/table_grow/table_grow.11.wasm:0000028: error: type mismatch in table.grow, expected [externref, i32] but got [externref, f32]
  0000028: error: OnTableGrowExpr callback failed
out/test/spec/memory64/table_grow.wast:204: assert_invalid passed:
  out/test/spec/memory64/table_grow/table_grow.12.wasm:0000026: error: type mismatch in table.grow, expected [funcref, i32] but got [externref, i32]
  0000026: error: OnTableGrowExpr callback failed
out/test/spec/memory64/table_grow.wast:214: assert_invalid passed:
  out/test/spec/memory64/table_grow/table_grow.13.wasm:0000025: error: type mismatch at end of function, expected [] but got [i32]
  0000025: error: EndFunctionBody callback failed
out/test/spec/memory64/table_grow.wast:223: assert_invalid passed:
  out/test/spec/memory64/table_grow/table_grow.14.wasm:0000026: error: type mismatch in implicit return, expected [f32] but got [i32]
  0000026: error: EndFunctionBody callback failed
77/77 tests passed.
;;; STDOUT ;;)
