summaryrefslogtreecommitdiff
path: root/test/spec
diff options
context:
space:
mode:
authorZoltan Herczeg <zherczeg.u-szeged@partner.samsung.com>2022-03-30 17:12:40 +0200
committerGitHub <noreply@github.com>2022-03-30 08:12:40 -0700
commitd137fd8c9a912ef7842ccab696a86bed347c3b1b (patch)
tree2fa69f17f6531d0f0c38a46ae86d3e3e2aeb456c /test/spec
parent27c5d11d52192de8980dd179aa2721d2f6add9ea (diff)
downloadwabt-d137fd8c9a912ef7842ccab696a86bed347c3b1b.tar.gz
wabt-d137fd8c9a912ef7842ccab696a86bed347c3b1b.tar.bz2
wabt-d137fd8c9a912ef7842ccab696a86bed347c3b1b.zip
Update testsuite. (#1872)
Diffstat (limited to 'test/spec')
-rw-r--r--test/spec/binary.txt2
-rw-r--r--test/spec/exception-handling/binary.txt2
-rw-r--r--test/spec/exception-handling/try_delegate.txt21
-rw-r--r--test/spec/multi-memory/binary.txt2
4 files changed, 14 insertions, 13 deletions
diff --git a/test/spec/binary.txt b/test/spec/binary.txt
index 2ff6e2e1..f11d7e18 100644
--- a/test/spec/binary.txt
+++ b/test/spec/binary.txt
@@ -265,7 +265,7 @@ out/test/spec/binary.wast:1608: assert_malformed passed:
out/test/spec/binary.wast:1642: assert_malformed passed:
0000021: error: unable to read u32 leb128: elem segment flags
out/test/spec/binary.wast:1658: assert_malformed passed:
- 0000021: error: unable to read u32 leb128: elem segment flags
+ 0000024: error: unable to read u32 leb128: elem count
out/test/spec/binary.wast:1675: assert_malformed passed:
0000021: error: unfinished section (expected end: 0x27)
out/test/spec/binary.wast:1701: assert_malformed passed:
diff --git a/test/spec/exception-handling/binary.txt b/test/spec/exception-handling/binary.txt
index 444e206a..9e18bfb6 100644
--- a/test/spec/exception-handling/binary.txt
+++ b/test/spec/exception-handling/binary.txt
@@ -266,7 +266,7 @@ out/test/spec/exception-handling/binary.wast:1608: assert_malformed passed:
out/test/spec/exception-handling/binary.wast:1642: assert_malformed passed:
0000021: error: unable to read u32 leb128: elem segment flags
out/test/spec/exception-handling/binary.wast:1658: assert_malformed passed:
- 0000021: error: unable to read u32 leb128: elem segment flags
+ 0000024: error: unable to read u32 leb128: elem count
out/test/spec/exception-handling/binary.wast:1675: assert_malformed passed:
0000021: error: unfinished section (expected end: 0x27)
out/test/spec/exception-handling/binary.wast:1701: assert_malformed passed:
diff --git a/test/spec/exception-handling/try_delegate.txt b/test/spec/exception-handling/try_delegate.txt
index 2010f27c..10b93449 100644
--- a/test/spec/exception-handling/try_delegate.txt
+++ b/test/spec/exception-handling/try_delegate.txt
@@ -2,28 +2,29 @@
;;; STDIN_FILE: third_party/testsuite/proposals/exception-handling/try_delegate.wast
;;; ARGS*: --enable-exceptions
(;; STDOUT ;;;
-out/test/spec/exception-handling/try_delegate.wast:102: assert_exception passed
-out/test/spec/exception-handling/try_delegate.wast:105: assert_exception passed
-out/test/spec/exception-handling/try_delegate.wast:107: assert_exception passed
-out/test/spec/exception-handling/try_delegate.wast:115: assert_exception passed
-out/test/spec/exception-handling/try_delegate.wast:118: assert_malformed passed:
+out/test/spec/exception-handling/try_delegate.wast:125: assert_exception passed
+out/test/spec/exception-handling/try_delegate.wast:128: assert_exception passed
+out/test/spec/exception-handling/try_delegate.wast:130: assert_exception passed
+out/test/spec/exception-handling/try_delegate.wast:138: assert_exception passed
+out/test/spec/exception-handling/try_delegate.wast:139: assert_exception passed
+out/test/spec/exception-handling/try_delegate.wast:144: assert_malformed passed:
out/test/spec/exception-handling/try_delegate/try_delegate.1.wat:1:16: error: unexpected token "delegate", expected an instr.
(module (func (delegate 0)))
^^^^^^^^
-out/test/spec/exception-handling/try_delegate.wast:123: assert_malformed passed:
+out/test/spec/exception-handling/try_delegate.wast:149: assert_malformed passed:
out/test/spec/exception-handling/try_delegate/try_delegate.2.wat:1:46: error: unexpected token delegate, expected ).
(module (tag $e) (func (try (do) (catch $e) (delegate 0))))
^^^^^^^^
-out/test/spec/exception-handling/try_delegate.wast:128: assert_malformed passed:
+out/test/spec/exception-handling/try_delegate.wast:154: assert_malformed passed:
out/test/spec/exception-handling/try_delegate/try_delegate.3.wat:1:38: error: unexpected token delegate, expected ).
(module (func (try (do) (catch_all) (delegate 0))))
^^^^^^^^
-out/test/spec/exception-handling/try_delegate.wast:133: assert_malformed passed:
+out/test/spec/exception-handling/try_delegate.wast:159: assert_malformed passed:
out/test/spec/exception-handling/try_delegate/try_delegate.4.wat:1:34: error: unexpected token ")", expected a numeric index or a name (e.g. 12 or $foo).
(module (func (try (do) (delegate) (delegate 0))))
^
-out/test/spec/exception-handling/try_delegate.wast:138: assert_invalid passed:
+out/test/spec/exception-handling/try_delegate.wast:164: assert_invalid passed:
out/test/spec/exception-handling/try_delegate/try_delegate.5.wasm:000001b: error: invalid depth: 2 (max 1)
000001b: error: OnDelegateExpr callback failed
-18/18 tests passed.
+20/20 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/multi-memory/binary.txt b/test/spec/multi-memory/binary.txt
index a6b85d78..fc4b7db2 100644
--- a/test/spec/multi-memory/binary.txt
+++ b/test/spec/multi-memory/binary.txt
@@ -246,7 +246,7 @@ out/test/spec/multi-memory/binary.wast:1417: assert_malformed passed:
out/test/spec/multi-memory/binary.wast:1451: assert_malformed passed:
0000021: error: unable to read u32 leb128: elem segment flags
out/test/spec/multi-memory/binary.wast:1467: assert_malformed passed:
- 0000021: error: unable to read u32 leb128: elem segment flags
+ 0000024: error: unable to read u32 leb128: elem count
out/test/spec/multi-memory/binary.wast:1484: assert_malformed passed:
0000021: error: unfinished section (expected end: 0x27)
out/test/spec/multi-memory/binary.wast:1510: assert_malformed passed: