;;; TOOL: run-interp-spec
;;; STDIN_FILE: third_party/testsuite/select.wast
(;; STDOUT ;;;
out/test/spec/select.wast:208: assert_trap passed: unreachable executed
out/test/spec/select.wast:209: assert_trap passed: unreachable executed
out/test/spec/select.wast:210: assert_trap passed: unreachable executed
out/test/spec/select.wast:211: assert_trap passed: unreachable executed
out/test/spec/select.wast:248: assert_trap passed: undefined table index
out/test/spec/select.wast:249: assert_trap passed: undefined table index
out/test/spec/select.wast:290: assert_invalid passed:
  error: type mismatch in select, expected [any, any, i32] but got [i32]
  000001c: error: OnSelectExpr callback failed
out/test/spec/select.wast:297: assert_invalid passed:
  error: type mismatch in select, expected [i64, i64, i32] but got [i32, i64, i32]
  000001e: error: OnSelectExpr callback failed
out/test/spec/select.wast:301: assert_invalid passed:
  error: type mismatch in select, expected [f32, f32, i32] but got [i32, f32, i32]
  0000021: error: OnSelectExpr callback failed
out/test/spec/select.wast:305: assert_invalid passed:
  error: type mismatch in select, expected [f64, f64, i32] but got [i32, f64, i32]
  0000025: error: OnSelectExpr callback failed
out/test/spec/select.wast:311: assert_invalid passed:
  error: type mismatch in select, expected [any, any, i32] but got []
  0000018: error: OnSelectExpr callback failed
out/test/spec/select.wast:319: assert_invalid passed:
  error: type mismatch in select, expected [any, any, i32] but got [i32]
  000001a: error: OnSelectExpr callback failed
out/test/spec/select.wast:327: assert_invalid passed:
  error: type mismatch in select, expected [i32, i32, i32] but got [i32, i32]
  000001c: error: OnSelectExpr callback failed
out/test/spec/select.wast:335: assert_invalid passed:
  error: type mismatch in select, expected [any, any, i32] but got []
  0000020: error: OnSelectExpr callback failed
out/test/spec/select.wast:344: assert_invalid passed:
  error: type mismatch in select, expected [any, any, i32] but got [i32]
  0000020: error: OnSelectExpr callback failed
out/test/spec/select.wast:353: assert_invalid passed:
  error: type mismatch in select, expected [i32, i32, i32] but got [i32, i32]
  0000020: error: OnSelectExpr callback failed
out/test/spec/select.wast:362: assert_invalid passed:
  error: type mismatch in select, expected [any, any, i32] but got []
  0000020: error: OnSelectExpr callback failed
out/test/spec/select.wast:371: assert_invalid passed:
  error: type mismatch in select, expected [any, any, i32] but got [i32]
  0000020: error: OnSelectExpr callback failed
out/test/spec/select.wast:380: assert_invalid passed:
  error: type mismatch in select, expected [i32, i32, i32] but got [i32, i32]
  0000020: error: OnSelectExpr callback failed
out/test/spec/select.wast:389: assert_invalid passed:
  error: type mismatch in select, expected [any, any, i32] but got []
  0000020: error: OnSelectExpr callback failed
out/test/spec/select.wast:398: assert_invalid passed:
  error: type mismatch in select, expected [any, any, i32] but got [i32]
  0000020: error: OnSelectExpr callback failed
out/test/spec/select.wast:407: assert_invalid passed:
  error: type mismatch in select, expected [i32, i32, i32] but got [i32, i32]
  0000020: error: OnSelectExpr callback failed
110/110 tests passed.
;;; STDOUT ;;)
