;;; TOOL: run-interp-spec
;;; STDIN_FILE: third_party/testsuite/proposals/mutable-global/globals.wast
(;; STDOUT ;;;
out/test/spec/mutable-global/globals.wast:50: assert_invalid passed:
  error: can't global.set on immutable global at index 0.
  error: type mismatch in global.set, expected [f32] but got [i32]
  0000026: error: OnGlobalSetExpr callback failed
out/test/spec/mutable-global/globals.wast:59: assert_invalid passed:
  0000013: error: expected END opcode after initializer expression
out/test/spec/mutable-global/globals.wast:64: assert_invalid passed:
  000000e: error: unexpected opcode in initializer expression: 0x20
out/test/spec/mutable-global/globals.wast:69: assert_invalid passed:
  0000013: error: expected END opcode after initializer expression
out/test/spec/mutable-global/globals.wast:74: assert_invalid passed:
  0000010: error: expected END opcode after initializer expression
out/test/spec/mutable-global/globals.wast:79: assert_invalid passed:
  000000e: error: unexpected opcode in initializer expression: 0x1
out/test/spec/mutable-global/globals.wast:84: assert_invalid passed:
  error: type mismatch at global initializer expression. got f32, expected i32
  0000013: error: EndGlobalInitExpr callback failed
out/test/spec/mutable-global/globals.wast:89: assert_invalid passed:
  0000010: error: expected END opcode after initializer expression
out/test/spec/mutable-global/globals.wast:94: assert_invalid passed:
  error: invalid global initializer expression, must be a constant expression
  000000e: error: EndGlobalInitExpr callback failed
out/test/spec/mutable-global/globals.wast:99: assert_invalid passed:
  0000000: error: initializer expression can only reference an imported global
  0000010: error: EndGlobalInitExpr callback failed
out/test/spec/mutable-global/globals.wast:104: assert_invalid passed:
  0000000: error: global variable out of range: 1 (max 1)
  0000010: error: EndGlobalInitExpr callback failed
out/test/spec/mutable-global/globals.wast:112: assert_malformed passed:
  0000019: error: unable to read string: import field name
out/test/spec/mutable-global/globals.wast:125: assert_malformed passed:
  0000019: error: unable to read string: import field name
out/test/spec/mutable-global/globals.wast:142: assert_malformed passed:
  0000011: error: global mutability must be 0 or 1
out/test/spec/mutable-global/globals.wast:154: assert_malformed passed:
  0000011: error: global mutability must be 0 or 1
31/31 tests passed.
;;; STDOUT ;;)
