;;; TOOL: run-interp-spec
;;; STDIN_FILE: third_party/testsuite/i32.wast
(;; STDOUT ;;;
out/test/spec/i32.wast:425: assert_invalid passed:
  error: type mismatch in i32.eqz, expected [i32] but got []
  0000018: error: OnConvertExpr callback failed
out/test/spec/i32.wast:433: assert_invalid passed:
  error: type mismatch in i32.eqz, expected [i32] but got []
  000001c: error: OnConvertExpr callback failed
out/test/spec/i32.wast:442: assert_invalid passed:
  error: type mismatch in i32.eqz, expected [i32] but got []
  000001c: error: OnConvertExpr callback failed
out/test/spec/i32.wast:451: assert_invalid passed:
  error: type mismatch in i32.eqz, expected [i32] but got []
  000001e: error: OnConvertExpr callback failed
out/test/spec/i32.wast:460: assert_invalid passed:
  error: type mismatch in i32.eqz, expected [i32] but got []
  0000021: error: OnConvertExpr callback failed
out/test/spec/i32.wast:469: assert_invalid passed:
  error: type mismatch in i32.eqz, expected [i32] but got []
  000001c: error: OnConvertExpr callback failed
out/test/spec/i32.wast:478: assert_invalid passed:
  error: type mismatch in i32.eqz, expected [i32] but got []
  000001c: error: OnConvertExpr callback failed
out/test/spec/i32.wast:487: assert_invalid passed:
  error: type mismatch in i32.eqz, expected [i32] but got []
  000001c: error: OnConvertExpr callback failed
out/test/spec/i32.wast:496: assert_invalid passed:
  error: type mismatch in i32.eqz, expected [i32] but got []
  0000018: error: OnConvertExpr callback failed
out/test/spec/i32.wast:504: assert_invalid passed:
  error: type mismatch in i32.eqz, expected [i32] but got []
  0000018: error: OnConvertExpr callback failed
out/test/spec/i32.wast:512: assert_invalid passed:
  error: type mismatch in i32.eqz, expected [i32] but got []
  000001e: error: OnConvertExpr callback failed
out/test/spec/i32.wast:521: assert_invalid passed:
  error: type mismatch in i32.eqz, expected [i32] but got []
  0000035: error: OnConvertExpr callback failed
out/test/spec/i32.wast:537: assert_invalid passed:
  error: type mismatch in i32.eqz, expected [i32] but got []
  000001a: error: OnConvertExpr callback failed
out/test/spec/i32.wast:546: assert_invalid passed:
  error: type mismatch in i32.eqz, expected [i32] but got []
  000001a: error: OnConvertExpr callback failed
out/test/spec/i32.wast:555: assert_invalid passed:
  error: type mismatch in i32.eqz, expected [i32] but got []
  0000020: error: OnConvertExpr callback failed
out/test/spec/i32.wast:564: assert_invalid passed:
  error: type mismatch in i32.eqz, expected [i32] but got []
  000001d: error: OnConvertExpr callback failed
out/test/spec/i32.wast:573: assert_invalid passed:
  error: type mismatch in i32.eqz, expected [i32] but got []
  000001d: error: OnConvertExpr callback failed
out/test/spec/i32.wast:582: assert_invalid passed:
  error: type mismatch in i32.eqz, expected [i32] but got []
  000001d: error: OnConvertExpr callback failed
out/test/spec/i32.wast:592: assert_invalid passed:
  error: type mismatch in i32.add, expected [i32, i32] but got []
  0000018: error: OnBinaryExpr callback failed
out/test/spec/i32.wast:600: assert_invalid passed:
  error: type mismatch in i32.add, expected [i32, i32] but got [i32]
  000001a: error: OnBinaryExpr callback failed
out/test/spec/i32.wast:608: assert_invalid passed:
  error: type mismatch in i32.add, expected [i32, i32] but got []
  000001e: error: OnBinaryExpr callback failed
out/test/spec/i32.wast:617: assert_invalid passed:
  error: type mismatch in i32.add, expected [i32, i32] but got [i32]
  000001e: error: OnBinaryExpr callback failed
out/test/spec/i32.wast:626: assert_invalid passed:
  error: type mismatch in i32.add, expected [i32, i32] but got []
  000001e: error: OnBinaryExpr callback failed
out/test/spec/i32.wast:635: assert_invalid passed:
  error: type mismatch in i32.add, expected [i32, i32] but got [i32]
  000001e: error: OnBinaryExpr callback failed
out/test/spec/i32.wast:644: assert_invalid passed:
  error: type mismatch in drop, expected [any] but got []
  0000021: error: OnDropExpr callback failed
out/test/spec/i32.wast:653: assert_invalid passed:
  error: type mismatch in i32.add, expected [i32, i32] but got []
  0000020: error: OnBinaryExpr callback failed
out/test/spec/i32.wast:662: assert_invalid passed:
  error: type mismatch in i32.add, expected [i32, i32] but got []
  0000023: error: OnBinaryExpr callback failed
out/test/spec/i32.wast:672: assert_invalid passed:
  error: type mismatch in i32.add, expected [i32, i32] but got []
  0000021: error: OnBinaryExpr callback failed
out/test/spec/i32.wast:682: assert_invalid passed:
  error: type mismatch in i32.add, expected [i32, i32] but got []
  000001e: error: OnBinaryExpr callback failed
out/test/spec/i32.wast:691: assert_invalid passed:
  error: type mismatch in i32.add, expected [i32, i32] but got [i32]
  000001e: error: OnBinaryExpr callback failed
out/test/spec/i32.wast:700: assert_invalid passed:
  error: type mismatch in i32.add, expected [i32, i32] but got []
  000001e: error: OnBinaryExpr callback failed
out/test/spec/i32.wast:709: assert_invalid passed:
  error: type mismatch in i32.add, expected [i32, i32] but got [i32]
  000001e: error: OnBinaryExpr callback failed
out/test/spec/i32.wast:718: assert_invalid passed:
  error: type mismatch in i32.add, expected [i32, i32] but got []
  000001e: error: OnBinaryExpr callback failed
out/test/spec/i32.wast:727: assert_invalid passed:
  error: type mismatch in i32.add, expected [i32, i32] but got [i32]
  000001e: error: OnBinaryExpr callback failed
out/test/spec/i32.wast:736: assert_invalid passed:
  error: type mismatch in i32.add, expected [i32, i32] but got []
  0000018: error: OnBinaryExpr callback failed
out/test/spec/i32.wast:744: assert_invalid passed:
  error: type mismatch in i32.add, expected [i32, i32] but got [i32]
  000001a: error: OnBinaryExpr callback failed
out/test/spec/i32.wast:752: assert_invalid passed:
  error: type mismatch in i32.add, expected [i32, i32] but got []
  0000018: error: OnBinaryExpr callback failed
out/test/spec/i32.wast:760: assert_invalid passed:
  error: type mismatch in i32.add, expected [i32, i32] but got [i32]
  000001a: error: OnBinaryExpr callback failed
out/test/spec/i32.wast:768: assert_invalid passed:
  error: type mismatch in i32.add, expected [i32, i32] but got []
  000001f: error: OnBinaryExpr callback failed
out/test/spec/i32.wast:777: assert_invalid passed:
  error: type mismatch in i32.add, expected [i32, i32] but got [i32]
  0000021: error: OnBinaryExpr callback failed
out/test/spec/i32.wast:786: assert_invalid passed:
  error: type mismatch in i32.add, expected [i32, i32] but got []
  0000035: error: OnBinaryExpr callback failed
out/test/spec/i32.wast:802: assert_invalid passed:
  error: type mismatch in i32.add, expected [i32, i32] but got [i32]
  0000037: error: OnBinaryExpr callback failed
out/test/spec/i32.wast:818: assert_invalid passed:
  error: type mismatch in i32.add, expected [i32, i32] but got []
  000001a: error: OnBinaryExpr callback failed
out/test/spec/i32.wast:827: assert_invalid passed:
  error: type mismatch in i32.add, expected [i32, i32] but got [i32]
  000001c: error: OnBinaryExpr callback failed
out/test/spec/i32.wast:836: assert_invalid passed:
  error: type mismatch in i32.add, expected [i32, i32] but got []
  000001a: error: OnBinaryExpr callback failed
out/test/spec/i32.wast:845: assert_invalid passed:
  error: type mismatch in i32.add, expected [i32, i32] but got [i32]
  000001c: error: OnBinaryExpr callback failed
out/test/spec/i32.wast:854: assert_invalid passed:
  error: type mismatch in i32.add, expected [i32, i32] but got []
  0000020: error: OnBinaryExpr callback failed
out/test/spec/i32.wast:863: assert_invalid passed:
  error: type mismatch in i32.add, expected [i32, i32] but got [i32]
  0000022: error: OnBinaryExpr callback failed
out/test/spec/i32.wast:872: assert_invalid passed:
  error: type mismatch in i32.add, expected [i32, i32] but got []
  000001d: error: OnBinaryExpr callback failed
out/test/spec/i32.wast:881: assert_invalid passed:
  error: type mismatch in i32.add, expected [i32, i32] but got [i32]
  000001f: error: OnBinaryExpr callback failed
out/test/spec/i32.wast:890: assert_invalid passed:
  error: type mismatch in i32.add, expected [i32, i32] but got []
  000001d: error: OnBinaryExpr callback failed
out/test/spec/i32.wast:899: assert_invalid passed:
  error: type mismatch in i32.add, expected [i32, i32] but got [i32]
  000001f: error: OnBinaryExpr callback failed
out/test/spec/i32.wast:908: assert_invalid passed:
  error: type mismatch in i32.add, expected [i32, i32] but got []
  000001d: error: OnBinaryExpr callback failed
out/test/spec/i32.wast:917: assert_invalid passed:
  error: type mismatch in i32.add, expected [i32, i32] but got [i32]
  000001f: error: OnBinaryExpr callback failed
out/test/spec/i32.wast:929: assert_invalid passed:
  error: type mismatch in i32.add, expected [i32, i32] but got [i64, f32]
  0000020: error: OnBinaryExpr callback failed
out/test/spec/i32.wast:930: assert_invalid passed:
  error: type mismatch in i32.and, expected [i32, i32] but got [i64, f32]
  0000020: error: OnBinaryExpr callback failed
out/test/spec/i32.wast:931: assert_invalid passed:
  error: type mismatch in i32.div_s, expected [i32, i32] but got [i64, f32]
  0000020: error: OnBinaryExpr callback failed
out/test/spec/i32.wast:932: assert_invalid passed:
  error: type mismatch in i32.div_u, expected [i32, i32] but got [i64, f32]
  0000020: error: OnBinaryExpr callback failed
out/test/spec/i32.wast:933: assert_invalid passed:
  error: type mismatch in i32.mul, expected [i32, i32] but got [i64, f32]
  0000020: error: OnBinaryExpr callback failed
out/test/spec/i32.wast:934: assert_invalid passed:
  error: type mismatch in i32.or, expected [i32, i32] but got [i64, f32]
  0000020: error: OnBinaryExpr callback failed
out/test/spec/i32.wast:935: assert_invalid passed:
  error: type mismatch in i32.rem_s, expected [i32, i32] but got [i64, f32]
  0000020: error: OnBinaryExpr callback failed
out/test/spec/i32.wast:936: assert_invalid passed:
  error: type mismatch in i32.rem_u, expected [i32, i32] but got [i64, f32]
  0000020: error: OnBinaryExpr callback failed
out/test/spec/i32.wast:937: assert_invalid passed:
  error: type mismatch in i32.rotl, expected [i32, i32] but got [i64, f32]
  0000020: error: OnBinaryExpr callback failed
out/test/spec/i32.wast:938: assert_invalid passed:
  error: type mismatch in i32.rotr, expected [i32, i32] but got [i64, f32]
  0000020: error: OnBinaryExpr callback failed
out/test/spec/i32.wast:939: assert_invalid passed:
  error: type mismatch in i32.shl, expected [i32, i32] but got [i64, f32]
  0000020: error: OnBinaryExpr callback failed
out/test/spec/i32.wast:940: assert_invalid passed:
  error: type mismatch in i32.shr_s, expected [i32, i32] but got [i64, f32]
  0000020: error: OnBinaryExpr callback failed
out/test/spec/i32.wast:941: assert_invalid passed:
  error: type mismatch in i32.shr_u, expected [i32, i32] but got [i64, f32]
  0000020: error: OnBinaryExpr callback failed
out/test/spec/i32.wast:942: assert_invalid passed:
  error: type mismatch in i32.sub, expected [i32, i32] but got [i64, f32]
  0000020: error: OnBinaryExpr callback failed
out/test/spec/i32.wast:943: assert_invalid passed:
  error: type mismatch in i32.xor, expected [i32, i32] but got [i64, f32]
  0000020: error: OnBinaryExpr callback failed
out/test/spec/i32.wast:944: assert_invalid passed:
  error: type mismatch in i32.eqz, expected [i32] but got [i64]
  000001b: error: OnConvertExpr callback failed
out/test/spec/i32.wast:945: assert_invalid passed:
  error: type mismatch in i32.clz, expected [i32] but got [i64]
  000001b: error: OnUnaryExpr callback failed
out/test/spec/i32.wast:946: assert_invalid passed:
  error: type mismatch in i32.ctz, expected [i32] but got [i64]
  000001b: error: OnUnaryExpr callback failed
out/test/spec/i32.wast:947: assert_invalid passed:
  error: type mismatch in i32.popcnt, expected [i32] but got [i64]
  000001b: error: OnUnaryExpr callback failed
out/test/spec/i32.wast:948: assert_invalid passed:
  error: type mismatch in i32.eq, expected [i32, i32] but got [i64, f32]
  0000020: error: OnCompareExpr callback failed
out/test/spec/i32.wast:949: assert_invalid passed:
  error: type mismatch in i32.ge_s, expected [i32, i32] but got [i64, f32]
  0000020: error: OnCompareExpr callback failed
out/test/spec/i32.wast:950: assert_invalid passed:
  error: type mismatch in i32.ge_u, expected [i32, i32] but got [i64, f32]
  0000020: error: OnCompareExpr callback failed
out/test/spec/i32.wast:951: assert_invalid passed:
  error: type mismatch in i32.gt_s, expected [i32, i32] but got [i64, f32]
  0000020: error: OnCompareExpr callback failed
out/test/spec/i32.wast:952: assert_invalid passed:
  error: type mismatch in i32.gt_u, expected [i32, i32] but got [i64, f32]
  0000020: error: OnCompareExpr callback failed
out/test/spec/i32.wast:953: assert_invalid passed:
  error: type mismatch in i32.le_s, expected [i32, i32] but got [i64, f32]
  0000020: error: OnCompareExpr callback failed
out/test/spec/i32.wast:954: assert_invalid passed:
  error: type mismatch in i32.le_u, expected [i32, i32] but got [i64, f32]
  0000020: error: OnCompareExpr callback failed
out/test/spec/i32.wast:955: assert_invalid passed:
  error: type mismatch in i32.lt_s, expected [i32, i32] but got [i64, f32]
  0000020: error: OnCompareExpr callback failed
out/test/spec/i32.wast:956: assert_invalid passed:
  error: type mismatch in i32.lt_u, expected [i32, i32] but got [i64, f32]
  0000020: error: OnCompareExpr callback failed
out/test/spec/i32.wast:957: assert_invalid passed:
  error: type mismatch in i32.ne, expected [i32, i32] but got [i64, f32]
  0000020: error: OnCompareExpr callback failed
442/442 tests passed.
;;; STDOUT ;;)