;;; TOOL: run-interp-spec
;;; STDIN_FILE: third_party/testsuite/proposals/reference-types/globals.wast
;;; ARGS*: --enable-reference-types
(;; STDOUT ;;;
out/test/spec/reference-types/globals.wast:226: assert_trap passed: undefined table index
out/test/spec/reference-types/globals.wast:248: assert_invalid passed:
  error: can't global.set on immutable global at index 0.
  000002c: error: OnGlobalSetExpr callback failed
out/test/spec/reference-types/globals.wast:257: assert_invalid passed:
  0000013: error: expected END opcode after initializer expression
out/test/spec/reference-types/globals.wast:262: assert_invalid passed:
  000000e: error: unexpected opcode in initializer expression: 0x20
out/test/spec/reference-types/globals.wast:267: assert_invalid passed:
  0000013: error: expected END opcode after initializer expression
out/test/spec/reference-types/globals.wast:272: assert_invalid passed:
  0000010: error: expected END opcode after initializer expression
out/test/spec/reference-types/globals.wast:277: assert_invalid passed:
  000000e: error: unexpected opcode in initializer expression: 0x1
out/test/spec/reference-types/globals.wast:282: assert_invalid passed:
  error: type mismatch in global, expected i32 but got f32.
  0000013: error: EndGlobalInitExpr callback failed
out/test/spec/reference-types/globals.wast:287: assert_invalid passed:
  0000010: error: expected END opcode after initializer expression
out/test/spec/reference-types/globals.wast:292: assert_invalid passed:
  error: type mismatch in global, expected i32 but got void.
  000000e: error: EndGlobalInitExpr callback failed
out/test/spec/reference-types/globals.wast:297: assert_invalid passed:
  error: unknown import module ""
  0000010: error: OnImportGlobal callback failed
out/test/spec/reference-types/globals.wast:302: assert_invalid passed:
  error: initializer expression can only reference an imported global
  000000f: error: OnInitExprGlobalGetExpr callback failed
out/test/spec/reference-types/globals.wast:307: assert_invalid passed:
  error: initializer expression can only reference an imported global
  000000f: error: OnInitExprGlobalGetExpr callback failed
out/test/spec/reference-types/globals.wast:315: assert_malformed passed:
  0000026: error: global mutability must be 0 or 1
out/test/spec/reference-types/globals.wast:328: assert_malformed passed:
  0000026: error: global mutability must be 0 or 1
out/test/spec/reference-types/globals.wast:345: assert_malformed passed:
  0000011: error: global mutability must be 0 or 1
out/test/spec/reference-types/globals.wast:357: assert_malformed passed:
  0000011: error: global mutability must be 0 or 1
out/test/spec/reference-types/globals.wast:371: assert_invalid passed:
  error: type mismatch in global.set, expected [i32] but got []
  0000024: error: OnGlobalSetExpr callback failed
out/test/spec/reference-types/globals.wast:380: assert_invalid passed:
  error: type mismatch in global.set, expected [i32] but got []
  0000028: error: OnGlobalSetExpr callback failed
out/test/spec/reference-types/globals.wast:390: assert_invalid passed:
  error: type mismatch in global.set, expected [i32] but got []
  0000028: error: OnGlobalSetExpr callback failed
out/test/spec/reference-types/globals.wast:400: assert_invalid passed:
  error: type mismatch in global.set, expected [i32] but got []
  000002a: error: OnGlobalSetExpr callback failed
out/test/spec/reference-types/globals.wast:410: assert_invalid passed:
  error: type mismatch in global.set, expected [i32] but got []
  000002d: error: OnGlobalSetExpr callback failed
out/test/spec/reference-types/globals.wast:420: assert_invalid passed:
  error: type mismatch in global.set, expected [i32] but got []
  0000028: error: OnGlobalSetExpr callback failed
out/test/spec/reference-types/globals.wast:430: assert_invalid passed:
  error: type mismatch in global.set, expected [i32] but got []
  0000028: error: OnGlobalSetExpr callback failed
out/test/spec/reference-types/globals.wast:440: assert_invalid passed:
  error: type mismatch in global.set, expected [i32] but got []
  0000028: error: OnGlobalSetExpr callback failed
out/test/spec/reference-types/globals.wast:450: assert_invalid passed:
  error: type mismatch in global.set, expected [i32] but got []
  0000024: error: OnGlobalSetExpr callback failed
out/test/spec/reference-types/globals.wast:459: assert_invalid passed:
  error: type mismatch in global.set, expected [i32] but got []
  0000024: error: OnGlobalSetExpr callback failed
out/test/spec/reference-types/globals.wast:468: assert_invalid passed:
  error: type mismatch in global.set, expected [i32] but got []
  000002a: error: OnGlobalSetExpr callback failed
out/test/spec/reference-types/globals.wast:478: assert_invalid passed:
  error: type mismatch in global.set, expected [i32] but got []
  0000041: error: OnGlobalSetExpr callback failed
75/75 tests passed.
;;; STDOUT ;;)
