;;; TOOL: run-interp-spec
;;; STDIN_FILE: third_party/testsuite/select.wast
(;; STDOUT ;;;
out/test/spec/select.wast:278: assert_trap passed: undefined table index
out/test/spec/select.wast:279: assert_trap passed: undefined table index
out/test/spec/select.wast:320: assert_invalid passed:
  out/test/spec/select/select.1.wasm:000001c: error: type mismatch in select, expected [any, any, i32] but got [i32]
  000001c: error: OnSelectExpr callback failed
out/test/spec/select.wast:324: assert_invalid passed:
  out/test/spec/select/select.2.wasm:000001c: error: type mismatch in select, expected [any, any, i32] but got [i32]
  000001c: error: OnSelectExpr callback failed
out/test/spec/select.wast:328: assert_invalid passed:
  out/test/spec/select/select.3.wasm:0000027: error: invalid arity in select instruction: 2.
  0000027: error: OnSelectExpr callback failed
out/test/spec/select.wast:340: assert_invalid passed:
  out/test/spec/select/select.4.wasm:000001f: error: type mismatch in select, expected [any, any, i32] but got [externref, externref, i32]
  000001f: error: OnSelectExpr callback failed
out/test/spec/select.wast:347: assert_invalid passed:
  out/test/spec/select/select.5.wasm:000001e: error: type mismatch in select, expected [i64, i64, i32] but got [i32, i64, i32]
  000001e: error: OnSelectExpr callback failed
out/test/spec/select.wast:353: assert_invalid passed:
  out/test/spec/select/select.6.wasm:0000021: error: type mismatch in select, expected [f32, f32, i32] but got [i32, f32, i32]
  0000021: error: OnSelectExpr callback failed
out/test/spec/select.wast:359: assert_invalid passed:
  out/test/spec/select/select.7.wasm:0000025: error: type mismatch in select, expected [f64, f64, i32] but got [i32, f64, i32]
  0000025: error: OnSelectExpr callback failed
out/test/spec/select.wast:366: assert_invalid passed:
  out/test/spec/select/select.8.wasm:000001e: error: type mismatch in select, expected [i64, i64, i32] but got [i32, i64, i32]
  000001e: error: OnSelectExpr callback failed
out/test/spec/select.wast:370: assert_invalid passed:
  out/test/spec/select/select.9.wasm:0000021: error: type mismatch in select, expected [f32, f32, i32] but got [i32, f32, i32]
  0000021: error: OnSelectExpr callback failed
out/test/spec/select.wast:374: assert_invalid passed:
  out/test/spec/select/select.10.wasm:000001e: error: type mismatch in select, expected [i64, i64, i32] but got [i32, i64, i32]
  000001e: error: OnSelectExpr callback failed
out/test/spec/select.wast:378: assert_invalid passed:
  out/test/spec/select/select.11.wasm:0000021: error: type mismatch in select, expected [f32, f32, i32] but got [i32, f32, i32]
  0000021: error: OnSelectExpr callback failed
out/test/spec/select.wast:382: assert_invalid passed:
  out/test/spec/select/select.12.wasm:0000025: error: type mismatch in select, expected [f64, f64, i32] but got [i32, f64, i32]
  0000025: error: OnSelectExpr callback failed
out/test/spec/select.wast:388: assert_invalid passed:
  out/test/spec/select/select.13.wasm:0000018: error: type mismatch in select, expected [any, any, i32] but got []
  0000018: error: OnSelectExpr callback failed
out/test/spec/select.wast:396: assert_invalid passed:
  out/test/spec/select/select.14.wasm:000001a: error: type mismatch in select, expected [any, any, i32] but got [i32]
  000001a: error: OnSelectExpr callback failed
out/test/spec/select.wast:404: assert_invalid passed:
  out/test/spec/select/select.15.wasm:000001c: error: type mismatch in select, expected [i32, i32, i32] but got [i32, i32]
  000001c: error: OnSelectExpr callback failed
out/test/spec/select.wast:412: assert_invalid passed:
  out/test/spec/select/select.16.wasm:0000020: error: type mismatch in select, expected [any, any, i32] but got []
  0000020: error: OnSelectExpr callback failed
out/test/spec/select.wast:421: assert_invalid passed:
  out/test/spec/select/select.17.wasm:0000020: error: type mismatch in select, expected [any, any, i32] but got [i32]
  0000020: error: OnSelectExpr callback failed
out/test/spec/select.wast:430: assert_invalid passed:
  out/test/spec/select/select.18.wasm:0000020: error: type mismatch in select, expected [i32, i32, i32] but got [i32, i32]
  0000020: error: OnSelectExpr callback failed
out/test/spec/select.wast:439: assert_invalid passed:
  out/test/spec/select/select.19.wasm:0000020: error: type mismatch in select, expected [any, any, i32] but got []
  0000020: error: OnSelectExpr callback failed
out/test/spec/select.wast:448: assert_invalid passed:
  out/test/spec/select/select.20.wasm:0000020: error: type mismatch in select, expected [any, any, i32] but got [i32]
  0000020: error: OnSelectExpr callback failed
out/test/spec/select.wast:457: assert_invalid passed:
  out/test/spec/select/select.21.wasm:0000020: error: type mismatch in select, expected [i32, i32, i32] but got [i32, i32]
  0000020: error: OnSelectExpr callback failed
out/test/spec/select.wast:466: assert_invalid passed:
  out/test/spec/select/select.22.wasm:0000020: error: type mismatch in select, expected [any, any, i32] but got []
  0000020: error: OnSelectExpr callback failed
out/test/spec/select.wast:475: assert_invalid passed:
  out/test/spec/select/select.23.wasm:0000020: error: type mismatch in select, expected [any, any, i32] but got [i32]
  0000020: error: OnSelectExpr callback failed
out/test/spec/select.wast:484: assert_invalid passed:
  out/test/spec/select/select.24.wasm:0000020: error: type mismatch in select, expected [i32, i32, i32] but got [i32, i32]
  0000020: error: OnSelectExpr callback failed
out/test/spec/select.wast:496: assert_invalid passed:
  out/test/spec/select/select.25.wasm:000001e: error: type mismatch in select, expected [i32, i32, i32] but got [i32, i32, i64]
  000001e: error: OnSelectExpr callback failed
out/test/spec/select.wast:500: assert_invalid passed:
  out/test/spec/select/select.26.wasm:0000021: error: type mismatch in select, expected [i32, i32, i32] but got [i32, i32, f32]
  0000021: error: OnSelectExpr callback failed
out/test/spec/select.wast:504: assert_invalid passed:
  out/test/spec/select/select.27.wasm:0000025: error: type mismatch in select, expected [i32, i32, i32] but got [i32, i32, f64]
  0000025: error: OnSelectExpr callback failed
out/test/spec/select.wast:511: assert_invalid passed:
  out/test/spec/select/select.28.wasm:0000020: error: type mismatch in implicit return, expected [i32] but got [i64]
  0000020: error: EndFunctionBody callback failed
148/148 tests passed.
;;; STDOUT ;;)
