summaryrefslogtreecommitdiff
path: root/test/spec
diff options
context:
space:
mode:
Diffstat (limited to 'test/spec')
-rw-r--r--test/spec/binary.txt3
-rw-r--r--test/spec/bulk-memory-operations/binary.txt3
-rw-r--r--test/spec/func.txt1
-rw-r--r--test/spec/multi-value/binary.txt1
-rw-r--r--test/spec/multi-value/block.txt1
-rw-r--r--test/spec/multi-value/br.txt1
-rw-r--r--test/spec/multi-value/call.txt1
-rw-r--r--test/spec/multi-value/call_indirect.txt1
-rw-r--r--test/spec/multi-value/fac.txt1
-rw-r--r--test/spec/multi-value/func.txt1
-rw-r--r--test/spec/multi-value/if.txt1
-rw-r--r--test/spec/multi-value/loop.txt1
-rw-r--r--test/spec/multi-value/type.txt1
-rw-r--r--test/spec/nontrapping-float-to-int-conversions/conversions.txt1
-rw-r--r--test/spec/reference-types/binary.txt3
-rw-r--r--test/spec/reference-types/select.txt3
-rw-r--r--test/spec/sign-extension-ops/i32.txt1
-rw-r--r--test/spec/sign-extension-ops/i64.txt1
-rw-r--r--test/spec/type.txt1
19 files changed, 9 insertions, 18 deletions
diff --git a/test/spec/binary.txt b/test/spec/binary.txt
index 2bedbfb0..92eb40ce 100644
--- a/test/spec/binary.txt
+++ b/test/spec/binary.txt
@@ -133,7 +133,8 @@ out/test/spec/binary.wast:741: assert_malformed passed:
error: invalid depth: 11 (max 2)
0000024: error: OnBrTableExpr callback failed
out/test/spec/binary.wast:763: assert_malformed passed:
- 0000025: error: expected valid block signature type
+ error: function type variable out of range: 11 (max 1)
+ 0000025: error: OnBlockExpr callback failed
out/test/spec/binary.wast:798: assert_malformed passed:
0000017: error: multiple Start sections
67/67 tests passed.
diff --git a/test/spec/bulk-memory-operations/binary.txt b/test/spec/bulk-memory-operations/binary.txt
index 7a70ead3..69430f69 100644
--- a/test/spec/bulk-memory-operations/binary.txt
+++ b/test/spec/bulk-memory-operations/binary.txt
@@ -177,7 +177,8 @@ out/test/spec/bulk-memory-operations/binary.wast:1148: assert_malformed passed:
error: invalid depth: 11 (max 2)
0000024: error: OnBrTableExpr callback failed
out/test/spec/bulk-memory-operations/binary.wast:1170: assert_malformed passed:
- 0000025: error: expected valid block signature type
+ error: function type variable out of range: 11 (max 1)
+ 0000025: error: OnBlockExpr callback failed
out/test/spec/bulk-memory-operations/binary.wast:1205: assert_malformed passed:
0000017: error: multiple Start sections
88/88 tests passed.
diff --git a/test/spec/func.txt b/test/spec/func.txt
index d4470bd6..f5d9ce68 100644
--- a/test/spec/func.txt
+++ b/test/spec/func.txt
@@ -1,4 +1,5 @@
;;; TOOL: run-interp-spec
+;;; ARGS: --disable-multi-value
;;; STDIN_FILE: third_party/testsuite/func.wast
(;; STDOUT ;;;
out/test/spec/func.wast:303: assert_invalid passed:
diff --git a/test/spec/multi-value/binary.txt b/test/spec/multi-value/binary.txt
index 414c17d2..d3d8175a 100644
--- a/test/spec/multi-value/binary.txt
+++ b/test/spec/multi-value/binary.txt
@@ -1,6 +1,5 @@
;;; TOOL: run-interp-spec
;;; STDIN_FILE: third_party/testsuite/proposals/multi-value/binary.wast
-;;; ARGS*: --enable-multi-value
(;; STDOUT ;;;
out/test/spec/multi-value/binary.wast:6: assert_malformed passed:
0000000: error: unable to read uint32_t: magic
diff --git a/test/spec/multi-value/block.txt b/test/spec/multi-value/block.txt
index 4e83f113..2404eea6 100644
--- a/test/spec/multi-value/block.txt
+++ b/test/spec/multi-value/block.txt
@@ -1,6 +1,5 @@
;;; TOOL: run-interp-spec
;;; STDIN_FILE: third_party/testsuite/proposals/multi-value/block.wast
-;;; ARGS*: --enable-multi-value
(;; STDOUT ;;;
out/test/spec/multi-value/block.wast:422: assert_malformed passed:
out/test/spec/multi-value/block/block.1.wat:1:96: error: unexpected token (, expected ).
diff --git a/test/spec/multi-value/br.txt b/test/spec/multi-value/br.txt
index 5a08db5c..98e77862 100644
--- a/test/spec/multi-value/br.txt
+++ b/test/spec/multi-value/br.txt
@@ -1,6 +1,5 @@
;;; TOOL: run-interp-spec
;;; STDIN_FILE: third_party/testsuite/proposals/multi-value/br.wast
-;;; ARGS*: --enable-multi-value
(;; STDOUT ;;;
out/test/spec/multi-value/br.wast:471: assert_invalid passed:
error: type mismatch in br, expected [i32] but got []
diff --git a/test/spec/multi-value/call.txt b/test/spec/multi-value/call.txt
index 3a174823..3b093d82 100644
--- a/test/spec/multi-value/call.txt
+++ b/test/spec/multi-value/call.txt
@@ -1,6 +1,5 @@
;;; TOOL: run-interp-spec
;;; STDIN_FILE: third_party/testsuite/proposals/multi-value/call.wast
-;;; ARGS*: --enable-multi-value
(;; STDOUT ;;;
out/test/spec/multi-value/call.wast:354: assert_trap passed: undefined table index
out/test/spec/multi-value/call.wast:381: assert_invalid passed:
diff --git a/test/spec/multi-value/call_indirect.txt b/test/spec/multi-value/call_indirect.txt
index c06216e8..5322eef2 100644
--- a/test/spec/multi-value/call_indirect.txt
+++ b/test/spec/multi-value/call_indirect.txt
@@ -1,6 +1,5 @@
;;; TOOL: run-interp-spec
;;; STDIN_FILE: third_party/testsuite/proposals/multi-value/call_indirect.wast
-;;; ARGS*: --enable-multi-value
(;; STDOUT ;;;
out/test/spec/multi-value/call_indirect.wast:498: assert_trap passed: indirect call signature mismatch
out/test/spec/multi-value/call_indirect.wast:499: assert_trap passed: indirect call signature mismatch
diff --git a/test/spec/multi-value/fac.txt b/test/spec/multi-value/fac.txt
index 1c484772..7565fc09 100644
--- a/test/spec/multi-value/fac.txt
+++ b/test/spec/multi-value/fac.txt
@@ -1,6 +1,5 @@
;;; TOOL: run-interp-spec
;;; STDIN_FILE: third_party/testsuite/proposals/multi-value/fac.wast
-;;; ARGS*: --enable-multi-value
(;; STDOUT ;;;
7/7 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/multi-value/func.txt b/test/spec/multi-value/func.txt
index 7eae22a9..b24bca50 100644
--- a/test/spec/multi-value/func.txt
+++ b/test/spec/multi-value/func.txt
@@ -1,6 +1,5 @@
;;; TOOL: run-interp-spec
;;; STDIN_FILE: third_party/testsuite/proposals/multi-value/func.wast
-;;; ARGS*: --enable-multi-value
(;; STDOUT ;;;
out/test/spec/multi-value/func.wast:436: assert_invalid passed:
0000000: error: function type variable out of range: 2 (max 2)
diff --git a/test/spec/multi-value/if.txt b/test/spec/multi-value/if.txt
index b3b3acf1..1d6dc924 100644
--- a/test/spec/multi-value/if.txt
+++ b/test/spec/multi-value/if.txt
@@ -1,6 +1,5 @@
;;; TOOL: run-interp-spec
;;; STDIN_FILE: third_party/testsuite/proposals/multi-value/if.wast
-;;; ARGS*: --enable-multi-value
(;; STDOUT ;;;
out/test/spec/multi-value/if.wast:585: assert_trap passed: undefined table index
out/test/spec/multi-value/if.wast:726: assert_malformed passed:
diff --git a/test/spec/multi-value/loop.txt b/test/spec/multi-value/loop.txt
index c33c6561..43cde4dd 100644
--- a/test/spec/multi-value/loop.txt
+++ b/test/spec/multi-value/loop.txt
@@ -1,6 +1,5 @@
;;; TOOL: run-interp-spec
;;; STDIN_FILE: third_party/testsuite/proposals/multi-value/loop.wast
-;;; ARGS*: --enable-multi-value
(;; STDOUT ;;;
out/test/spec/multi-value/loop.wast:526: assert_malformed passed:
out/test/spec/multi-value/loop/loop.1.wat:1:95: error: unexpected token (, expected ).
diff --git a/test/spec/multi-value/type.txt b/test/spec/multi-value/type.txt
index 1a701d1c..125f3004 100644
--- a/test/spec/multi-value/type.txt
+++ b/test/spec/multi-value/type.txt
@@ -1,6 +1,5 @@
;;; TOOL: run-interp-spec
;;; STDIN_FILE: third_party/testsuite/proposals/multi-value/type.wast
-;;; ARGS*: --enable-multi-value
(;; STDOUT ;;;
out/test/spec/multi-value/type.wast:44: assert_malformed passed:
out/test/spec/multi-value/type/type.1.wat:1:27: error: unexpected token "param", expected param or result.
diff --git a/test/spec/nontrapping-float-to-int-conversions/conversions.txt b/test/spec/nontrapping-float-to-int-conversions/conversions.txt
index 302318f8..23d28ed4 100644
--- a/test/spec/nontrapping-float-to-int-conversions/conversions.txt
+++ b/test/spec/nontrapping-float-to-int-conversions/conversions.txt
@@ -1,6 +1,5 @@
;;; TOOL: run-interp-spec
;;; STDIN_FILE: third_party/testsuite/proposals/nontrapping-float-to-int-conversions/conversions.wast
-;;; ARGS*: --enable-saturating-float-to-int
(;; STDOUT ;;;
out/test/spec/nontrapping-float-to-int-conversions/conversions.wast:78: assert_trap passed: integer overflow
out/test/spec/nontrapping-float-to-int-conversions/conversions.wast:79: assert_trap passed: integer overflow
diff --git a/test/spec/reference-types/binary.txt b/test/spec/reference-types/binary.txt
index ecbf665d..abbf2ba5 100644
--- a/test/spec/reference-types/binary.txt
+++ b/test/spec/reference-types/binary.txt
@@ -221,7 +221,8 @@ out/test/spec/reference-types/binary.wast:1455: assert_malformed passed:
error: invalid depth: 11 (max 2)
0000024: error: OnBrTableExpr callback failed
out/test/spec/reference-types/binary.wast:1477: assert_malformed passed:
- 0000025: error: expected valid block signature type
+ error: function type variable out of range: 11 (max 1)
+ 0000025: error: OnBlockExpr callback failed
out/test/spec/reference-types/binary.wast:1512: assert_malformed passed:
0000017: error: multiple Start sections
110/110 tests passed.
diff --git a/test/spec/reference-types/select.txt b/test/spec/reference-types/select.txt
index a7073f48..68349b55 100644
--- a/test/spec/reference-types/select.txt
+++ b/test/spec/reference-types/select.txt
@@ -14,8 +14,7 @@ out/test/spec/reference-types/select.wast:373: assert_invalid passed:
out/test/spec/reference-types/select.wast:377: assert_invalid passed:
000001d: error: invalid arity in select instrcution: 0
out/test/spec/reference-types/select.wast:381: assert_invalid passed:
- error: multiple result values not currently supported.
- 0000010: error: OnFuncType callback failed
+ 0000025: error: invalid arity in select instrcution: 2
out/test/spec/reference-types/select.wast:393: assert_invalid passed:
error: type mismatch in select, expected [any, any, i32] but got [nullref, nullref, i32]
000001c: error: OnSelectExpr callback failed
diff --git a/test/spec/sign-extension-ops/i32.txt b/test/spec/sign-extension-ops/i32.txt
index 3f921e00..aa643ec4 100644
--- a/test/spec/sign-extension-ops/i32.txt
+++ b/test/spec/sign-extension-ops/i32.txt
@@ -1,6 +1,5 @@
;;; TOOL: run-interp-spec
;;; STDIN_FILE: third_party/testsuite/proposals/sign-extension-ops/i32.wast
-;;; ARGS*: --enable-sign-extension
(;; STDOUT ;;;
out/test/spec/sign-extension-ops/i32.wast:64: assert_trap passed: integer divide by zero
out/test/spec/sign-extension-ops/i32.wast:65: assert_trap passed: integer divide by zero
diff --git a/test/spec/sign-extension-ops/i64.txt b/test/spec/sign-extension-ops/i64.txt
index 62b44c4f..43cbffd5 100644
--- a/test/spec/sign-extension-ops/i64.txt
+++ b/test/spec/sign-extension-ops/i64.txt
@@ -1,6 +1,5 @@
;;; TOOL: run-interp-spec
;;; STDIN_FILE: third_party/testsuite/proposals/sign-extension-ops/i64.wast
-;;; ARGS*: --enable-sign-extension
(;; STDOUT ;;;
out/test/spec/sign-extension-ops/i64.wast:65: assert_trap passed: integer divide by zero
out/test/spec/sign-extension-ops/i64.wast:66: assert_trap passed: integer divide by zero
diff --git a/test/spec/type.txt b/test/spec/type.txt
index 0dd53e13..850bd2a7 100644
--- a/test/spec/type.txt
+++ b/test/spec/type.txt
@@ -1,4 +1,5 @@
;;; TOOL: run-interp-spec
+;;; ARGS: --disable-multi-value
;;; STDIN_FILE: third_party/testsuite/type.wast
;;; NOTE: Two tests don't pass because they use quoted modules with assert_invalid, which isn't currently supported by wabt.
(;; STDOUT ;;;
generated by cgit v1.2.3 (git 2.39.1) at 2025-08-29 11:19:44 +0000