;;; TOOL: run-interp-spec
;;; STDIN_FILE: third_party/testsuite/linking.wast
(;; STDOUT ;;;
out/test/spec/linking.wast:28: assert_unlinkable passed:
  error: import signature mismatch
  0000025: error: OnImportFunc callback failed
out/test/spec/linking.wast:32: assert_unlinkable passed:
  error: import signature mismatch
  0000026: error: OnImportFunc callback failed
out/test/spec/linking.wast:174: assert_unlinkable passed:
  error: elem segment is out of bounds: [10, 11) >= max value 10
  0000028: error: OnElemSegmentFunctionIndexCount callback failed
out/test/spec/linking.wast:183: assert_unlinkable passed:
  error: unknown module field "mem"
  0000027: error: OnImportMemory callback failed
out/test/spec/linking.wast:195: assert_unlinkable passed:
  error: elem segment is out of bounds: [12, 13) >= max value 10
  000002f: error: OnElemSegmentFunctionIndexCount callback failed
out/test/spec/linking.wast:206: assert_unlinkable passed:
  error: data segment is out of bounds: [65536, 65537) >= max value 65536
  0000042: error: OnDataSegmentData callback failed
out/test/spec/linking.wast:266: assert_unlinkable passed:
  error: data segment is out of bounds: [65536, 65537) >= max value 65536
  0000020: error: OnDataSegmentData callback failed
out/test/spec/linking.wast:291: assert_unlinkable passed:
  error: unknown module field "tab"
  0000037: error: OnImportTable callback failed
out/test/spec/linking.wast:302: assert_unlinkable passed:
  error: data segment is out of bounds: [327680, 327681) >= max value 327680
  0000028: error: OnDataSegmentData callback failed
out/test/spec/linking.wast:312: assert_unlinkable passed:
  error: elem segment is out of bounds: [0, 1) >= max value 0
  000002d: error: OnElemSegmentFunctionIndexCount callback failed
80/80 tests passed.
;;; STDOUT ;;)
