;;; TOOL: run-interp-spec
;;; STDIN_FILE: third_party/testsuite/start.wast
(;; STDOUT ;;;
out/test/spec/start.wast:2: assert_invalid passed:
  0000015: error: invalid start function index: 1
out/test/spec/start.wast:7: assert_invalid passed:
  error: start function must not return anything
  0000016: error: OnStartFunction callback failed
out/test/spec/start.wast:14: assert_invalid passed:
  error: start function must be nullary
  0000016: error: OnStartFunction callback failed
inc() =>
inc() =>
inc() =>
inc() =>
called host spectest.print_i32(i32:1) =>
called host spectest.print_i32(i32:2) =>
called host spectest.print() =>
14/14 tests passed.
;;; STDOUT ;;)