;;; TOOL: run-interp-spec
;;; STDIN_FILE: third_party/testsuite/proposals/reference-types/select.wast
;;; ARGS*: --enable-reference-types
(;; STDOUT ;;;
out/test/spec/reference-types/select.wast:260: assert_trap passed: unreachable executed
out/test/spec/reference-types/select.wast:261: assert_trap passed: unreachable executed
out/test/spec/reference-types/select.wast:262: assert_trap passed: unreachable executed
out/test/spec/reference-types/select.wast:263: assert_trap passed: unreachable executed
out/test/spec/reference-types/select.wast:300: assert_trap passed: undefined table index
out/test/spec/reference-types/select.wast:301: assert_trap passed: undefined table index
out/test/spec/reference-types/select.wast:342: assert_invalid passed:
  error: type mismatch in select, expected [any, any, i32] but got [i32]
  000001c: error: OnSelectExpr callback failed
out/test/spec/reference-types/select.wast:346: assert_invalid passed:
  error: type mismatch in select, expected [any, any, i32] but got [i32]
  000001c: error: OnSelectExpr callback failed
out/test/spec/reference-types/select.wast:350: assert_invalid passed:
  error: invalid arity in select instruction: 2.
  0000027: error: OnSelectExpr callback failed
out/test/spec/reference-types/select.wast:362: assert_invalid passed:
  error: type mismatch in select, expected [any, any, i32] but got [externref, externref, i32]
  000001f: error: OnSelectExpr callback failed
out/test/spec/reference-types/select.wast:369: 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/reference-types/select.wast:375: 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/reference-types/select.wast:381: 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/reference-types/select.wast:389: assert_invalid passed:
  error: type mismatch in select, expected [any, any, i32] but got []
  0000018: error: OnSelectExpr callback failed
out/test/spec/reference-types/select.wast:397: assert_invalid passed:
  error: type mismatch in select, expected [any, any, i32] but got [i32]
  000001a: error: OnSelectExpr callback failed
out/test/spec/reference-types/select.wast:405: assert_invalid passed:
  error: type mismatch in select, expected [i32, i32, i32] but got [i32, i32]
  000001c: error: OnSelectExpr callback failed
out/test/spec/reference-types/select.wast:413: assert_invalid passed:
  error: type mismatch in select, expected [any, any, i32] but got []
  0000020: error: OnSelectExpr callback failed
out/test/spec/reference-types/select.wast:422: assert_invalid passed:
  error: type mismatch in select, expected [any, any, i32] but got [i32]
  0000020: error: OnSelectExpr callback failed
out/test/spec/reference-types/select.wast:431: assert_invalid passed:
  error: type mismatch in select, expected [i32, i32, i32] but got [i32, i32]
  0000020: error: OnSelectExpr callback failed
out/test/spec/reference-types/select.wast:440: assert_invalid passed:
  error: type mismatch in select, expected [any, any, i32] but got []
  0000020: error: OnSelectExpr callback failed
out/test/spec/reference-types/select.wast:449: assert_invalid passed:
  error: type mismatch in select, expected [any, any, i32] but got [i32]
  0000020: error: OnSelectExpr callback failed
out/test/spec/reference-types/select.wast:458: assert_invalid passed:
  error: type mismatch in select, expected [i32, i32, i32] but got [i32, i32]
  0000020: error: OnSelectExpr callback failed
out/test/spec/reference-types/select.wast:467: assert_invalid passed:
  error: type mismatch in select, expected [any, any, i32] but got []
  0000020: error: OnSelectExpr callback failed
out/test/spec/reference-types/select.wast:476: assert_invalid passed:
  error: type mismatch in select, expected [any, any, i32] but got [i32]
  0000020: error: OnSelectExpr callback failed
out/test/spec/reference-types/select.wast:485: assert_invalid passed:
  error: type mismatch in select, expected [i32, i32, i32] but got [i32, i32]
  0000020: error: OnSelectExpr callback failed
140/140 tests passed.
;;; STDOUT ;;)
