;;; TOOL: run-interp-spec
;;; STDIN_FILE: third_party/testsuite/custom_section.wast
(;; STDOUT ;;;
out/test/spec/custom_section.wast:61: assert_malformed passed:
  0000009: error: unable to read u32 leb128: section size
out/test/spec/custom_section.wast:69: assert_malformed passed:
  000000a: error: unable to read u32 leb128: string length
out/test/spec/custom_section.wast:77: assert_malformed passed:
  000000a: error: invalid section size: extends past end
out/test/spec/custom_section.wast:85: assert_malformed passed:
  0000031: error: invalid section code: 36; max is 11
out/test/spec/custom_section.wast:94: assert_malformed passed:
  000003e: error: function signature count != function body count
out/test/spec/custom_section.wast:107: assert_malformed passed:
  000000a: error: invalid section size: extends past end
6/6 tests passed.
;;; STDOUT ;;)
