;;; TOOL: run-interp-spec
;;; STDIN_FILE: third_party/testsuite/token.wast
(;; STDOUT ;;;
out/test/spec/token.wast:4: assert_malformed passed:
  out/test/spec/token/token.0.wat:1:14: error: unexpected token "i32.const0", expected an expr.
  (func (drop (i32.const0)))
               ^^^^^^^^^^
out/test/spec/token.wast:8: assert_malformed passed:
  out/test/spec/token/token.1.wat:1:10: error: unexpected token "0drop", expected a numeric index or a name (e.g. 12 or $foo).
  (func br 0drop)
           ^^^^^
2/2 tests passed.
;;; STDOUT ;;)