summaryrefslogtreecommitdiff
path: root/test/spec/f64.txt
diff options
context:
space:
mode:
Diffstat (limited to 'test/spec/f64.txt')
-rw-r--r--test/spec/f64.txt35
1 files changed, 34 insertions, 1 deletions
diff --git a/test/spec/f64.txt b/test/spec/f64.txt
index badb6f7b..0316317a 100644
--- a/test/spec/f64.txt
+++ b/test/spec/f64.txt
@@ -2,5 +2,38 @@
;;; TOOL: run-interp-spec
;;; STDIN_FILE: third_party/testsuite/f64.wast
(;; STDOUT ;;;
-2500/2500 tests passed.
+out/test/spec/f64.wast:2523: assert_invalid passed:
+ error: type mismatch in f64.add, expected [f64, f64] but got [i64, f32]
+ 0000020: error: OnBinaryExpr callback failed
+out/test/spec/f64.wast:2524: assert_invalid passed:
+ error: type mismatch in f64.div, expected [f64, f64] but got [i64, f32]
+ 0000020: error: OnBinaryExpr callback failed
+out/test/spec/f64.wast:2525: assert_invalid passed:
+ error: type mismatch in f64.max, expected [f64, f64] but got [i64, f32]
+ 0000020: error: OnBinaryExpr callback failed
+out/test/spec/f64.wast:2526: assert_invalid passed:
+ error: type mismatch in f64.min, expected [f64, f64] but got [i64, f32]
+ 0000020: error: OnBinaryExpr callback failed
+out/test/spec/f64.wast:2527: assert_invalid passed:
+ error: type mismatch in f64.mul, expected [f64, f64] but got [i64, f32]
+ 0000020: error: OnBinaryExpr callback failed
+out/test/spec/f64.wast:2528: assert_invalid passed:
+ error: type mismatch in f64.sub, expected [f64, f64] but got [i64, f32]
+ 0000020: error: OnBinaryExpr callback failed
+out/test/spec/f64.wast:2529: assert_invalid passed:
+ error: type mismatch in f64.ceil, expected [f64] but got [i64]
+ 000001b: error: OnUnaryExpr callback failed
+out/test/spec/f64.wast:2530: assert_invalid passed:
+ error: type mismatch in f64.floor, expected [f64] but got [i64]
+ 000001b: error: OnUnaryExpr callback failed
+out/test/spec/f64.wast:2531: assert_invalid passed:
+ error: type mismatch in f64.nearest, expected [f64] but got [i64]
+ 000001b: error: OnUnaryExpr callback failed
+out/test/spec/f64.wast:2532: assert_invalid passed:
+ error: type mismatch in f64.sqrt, expected [f64] but got [i64]
+ 000001b: error: OnUnaryExpr callback failed
+out/test/spec/f64.wast:2533: assert_invalid passed:
+ error: type mismatch in f64.trunc, expected [f64] but got [i64]
+ 000001b: error: OnUnaryExpr callback failed
+2511/2511 tests passed.
;;; STDOUT ;;)